面向?qū)ο笈c傳統(tǒng)軟件工程（原書(shū)第5版 計(jì)算機(jī)科學(xué)叢書(shū)）

出版者的話
專(zhuān)家指導(dǎo)委員會(huì)
譯者序
前言
第一部分 軟件工程介紹
第1章 軟件工程的范疇
1.1 歷史方面
1.2 經(jīng)濟(jì)方面
1.3 維護(hù)性方面
1.4 規(guī)格說(shuō)明和設(shè)計(jì)階段
1.5 小組編程方面
1.6 面向?qū)ο蠓缎?br />1.7 術(shù)語(yǔ)
本章回顧
進(jìn)一步閱讀指導(dǎo)
思考題
參考文獻(xiàn)
第2章 軟件過(guò)程
2.1 客戶(hù)、開(kāi)發(fā)人員和用戶(hù)
2.2 需求階段
2.2.1 需求階段測(cè)試
2.2.2 需求階段文檔
2.3 規(guī)格說(shuō)明階段
2.3.1 規(guī)格說(shuō)明階段測(cè)試
2.3.2 規(guī)格說(shuō)明階段文檔
2.4 設(shè)計(jì)階段
2.4.1 設(shè)計(jì)階段測(cè)試
2.4.2 設(shè)計(jì)階段文檔
2.5 實(shí)現(xiàn)階段
2.5.1 實(shí)現(xiàn)階段測(cè)試
2.5.2 實(shí)現(xiàn)階段文檔
2.6 集成階段
2.6.1 集成階段測(cè)試
2.6.2 集成階段文檔
2.7 維護(hù)階段
2.7.1 維護(hù)階段測(cè)試
2.7.2 維護(hù)階段文檔
2.8 退役
2.9 軟件生產(chǎn)中存在的問(wèn)題：本質(zhì)的和偶發(fā)的
2.9.1 復(fù)雜性
2.9.2 一致性
2.9.3 可變性
2.9.4 不可見(jiàn)性
2.9.5 沒(méi)有銀彈嗎
2.10 改進(jìn)軟件過(guò)程
2.11 能力成熟度模型
2.12 軟件過(guò)程改進(jìn)方面的其他努力
2.13 軟件過(guò)程改進(jìn)的成本和效益
本章回顧
進(jìn)一步閱讀指導(dǎo)
思考題
參考文獻(xiàn)
第3章 軟件生命周期模型
3.1 建造-修補(bǔ)模型
3.2 瀑布模型
3.3 快速原型開(kāi)發(fā)模型
3.4 增量模型
3.5 極限編程
3.6 同步-穩(wěn)定模型
3.7 螺旋模型
3.8 面向?qū)ο蟮纳芷谀Ｐ?br />3.9 生命周期模型的比較
本章回顧
進(jìn)一步閱讀指導(dǎo)
思考題
參考文獻(xiàn)
第4章 軟件小組
4.1 小組組織
4.2 民主小組方法
4.3 傳統(tǒng)的主程序員小組方法
4.3.1 紐約時(shí)報(bào)項(xiàng)目
4.3.2 傳統(tǒng)的主程序員小組方法的不實(shí)用性
4.4 超越主程序員小組和民主小組
4.5 同步-穩(wěn)定小組
4.6 極限編程小組
本章回顧
進(jìn)一步閱讀指導(dǎo)
思考題
參考文獻(xiàn)
第5章 軟件工程工具
5.1 逐步求精法逐步求精法示例
5.2 成本-效益分析法
5.3 軟件度量
5.4 CASE
5.5 CASE的分類(lèi)
5.6 CASE的范圍
5.7 軟件版本
5.7.1 修訂版
5.7.2 變種版
5.8 配置控制
5.8.1 產(chǎn)品維護(hù)期間的配置控制
5.8.2 基線
5.8.3 產(chǎn)品開(kāi)發(fā)過(guò)程中的配置控制
5.9 建造工具
5.10 使用CASE技術(shù)提高生產(chǎn)率
本章回顧
進(jìn)一步閱讀指導(dǎo)
思考題
參考文獻(xiàn)
第6章 測(cè)試
6.1 質(zhì)量問(wèn)題
6.1.1 軟件質(zhì)量保證
6.1.2 管理獨(dú)立
6.2 非執(zhí)行測(cè)試
6.2.1 走查
6.2.2 管理走查
6.2.3 審查
6.2.4 審查與走查的對(duì)比
6.2.5 評(píng)審的長(zhǎng)處和短處
6.2.6 評(píng)審的度量
6.3 執(zhí)行測(cè)試
6.4 應(yīng)該測(cè)試什么
6.4.1 實(shí)用性
6.4.2 可靠性
6.4.3 健壯性
6.4.4 性能
6.4.5 正確性
6.5 測(cè)試與正確性證明
6.5.1 正確性證明的例子
6.5.2 正確性證明案例研究
6.5.3 正確性證明和軟件工程
6.6 誰(shuí)來(lái)完成執(zhí)行測(cè)試
6.7 何時(shí)停止測(cè)試
本章回顧
進(jìn)一步閱讀指導(dǎo)
思考題
參考文獻(xiàn)
第7章 從模塊到對(duì)象
7.1 什么是模塊
7.2 內(nèi)聚
7.2.1 偶然性?xún)?nèi)聚
7.2.2 邏輯性?xún)?nèi)聚
7.2.3 時(shí)間性?xún)?nèi)聚
7.2.4 過(guò)程性?xún)?nèi)聚
7.2.5 通信性?xún)?nèi)聚
7.2.6 功能性?xún)?nèi)聚
7.2.7 信息性?xún)?nèi)聚
7.2.8 內(nèi)聚示例
7.3 耦合
7.3.1 內(nèi)容耦合
7.3.2 共用耦合
7.3.3 控制耦合
7.3.4 印記耦合
7.3.5 數(shù)據(jù)耦合
7.3.6 耦合示例
7.3.7 耦合的重要性
7.4 數(shù)據(jù)封裝
7.4.1 數(shù)據(jù)封裝和產(chǎn)品開(kāi)發(fā)
7.4.2 數(shù)據(jù)封裝和產(chǎn)品維護(hù)
7.5 抽象數(shù)據(jù)類(lèi)型
7.6 信息隱藏
7.7 對(duì)象
7.8 繼承、多態(tài)和動(dòng)態(tài)綁定
7.9 對(duì)象的內(nèi)聚和耦合
7.10 面向?qū)ο蠓缎?br />本章回顧
進(jìn)一步閱讀指導(dǎo)
思考題
參考文獻(xiàn)
第8章 可復(fù)用性、可移植性和互操作性
8.1 復(fù)用的概念
8.2 復(fù)用的障礙
8.3 復(fù)用案例研究
8.3.1 Raytheon導(dǎo)彈系統(tǒng)部
8.3.2 東芝軟件工廠
8.3.3 NASA軟件
8.3.4 GTE數(shù)據(jù)服務(wù)
8.3.5 惠普公司
8.3.6 歐洲航天局
8.4 對(duì)象和復(fù)用
8.5 設(shè)計(jì)和實(shí)現(xiàn)階段的復(fù)用
8.5.1 設(shè)計(jì)復(fù)用
8.5.2 應(yīng)用框架
8.5.3 設(shè)計(jì)模式
8.5.4 軟件體系結(jié)構(gòu)
8.6 復(fù)用和維護(hù)
8.7 可移植性
8.7.1 硬件的不兼容性
8.7.2 操作系統(tǒng)的不兼容性
8.7.3 數(shù)值計(jì)算軟件的不兼容性
8.7.4 編譯器的不兼容性
8.8 為什么需要可移植性
8.9 實(shí)現(xiàn)可移植性的技術(shù)
8.9.1 可移植的系統(tǒng)軟件
8.9.2 可移植的應(yīng)用軟件
8.9.3 可移植的數(shù)據(jù)
8.10 互操作性
8.10.1 COM
8.10.2 CORBA
8.10.3 COM和ODRBA的比較
8.11 互操作性的未來(lái)趨勢(shì)
本章回顧
進(jìn)一步閱讀指導(dǎo)
思考題
參考文獻(xiàn)
第9章 計(jì)劃和估算
9.1 計(jì)劃和軟件過(guò)程
9.2 周期和成本估算
9.2.1 產(chǎn)品規(guī)模的度量
9.2.2 成本估算的技術(shù)
9.2.3 中間COCOMO
9.2.4 COCOMO II
9.2.5 跟蹤周期和成本估算
9.3 軟件項(xiàng)目管理計(jì)劃的組成
9.4 軟件項(xiàng)目管理計(jì)劃框架
9.5 1EEE軟件項(xiàng)目管理計(jì)劃
9.6 測(cè)試計(jì)劃
9.7 計(jì)劃面向?qū)ο蟮捻?xiàng)目
9.8 培訓(xùn)需求
9.9 文檔標(biāo)準(zhǔn)
9.10 用于計(jì)劃和估算的CASE工具
9.11 測(cè)試軟件項(xiàng)目管理計(jì)劃
本章回顧
進(jìn)一步閱讀指導(dǎo)
思考題
參考文獻(xiàn)
第二部分 軟件生命周期的各個(gè)階段
第10章 需求階段
10.1 需求獲取
10.1.1 訪談
10.1.2 情景
10.1.3 其他需求獲取技術(shù)
10.2 需求分析
10.3 快速原型開(kāi)發(fā)
10.4 人的因素
10.5 作為一種規(guī)格說(shuō)明技術(shù)的快速原型開(kāi)發(fā)
10.6 復(fù)用快速原型
10.7 快速原型開(kāi)發(fā)模型的管理含意
10.8 快速原型開(kāi)發(fā)的試驗(yàn)
10.9 需求獲取和需求分析技術(shù)
10.10 在需求分析階段測(cè)試
10.11 需求階段的CASE工具
10.12 需求階段的度量
10.13 面向?qū)ο蟮男枨?br />10.14 “空中美食”案例研究：需求階段
10.15 “空中美食”案例研究：快速原型
10.16 需求階段面臨的挑戰(zhàn)
本章回顧
進(jìn)一步閱讀指導(dǎo)
思考題
參考文獻(xiàn)
第11章 規(guī)格說(shuō)明階段
11.1 規(guī)格說(shuō)明文檔
11.2 非形式化規(guī)格說(shuō)明案例研究：文本處理
11.3 結(jié)構(gòu)化系統(tǒng)分析Sally的軟件商店
11.4 其他半形式化的技術(shù)
11.5 建造實(shí)體-關(guān)系模型
11.6 有限狀態(tài)機(jī)電梯問(wèn)題：有限狀態(tài)機(jī)
11.7 Petri網(wǎng)
11.8 Z規(guī)格說(shuō)明語(yǔ)言
11.8.1 電梯問(wèn)題：Z規(guī)格說(shuō)明
11.8.2 Z的分析
11.9 其他形式化技術(shù)
11.10 規(guī)格說(shuō)明技術(shù)的比較
11.11 在規(guī)格說(shuō)明階段測(cè)試
11.12 規(guī)格說(shuō)明階段的CASE工具
11.13 規(guī)格說(shuō)明階段的度量
11.14 “空中美食”案例研究：結(jié)構(gòu)化系統(tǒng)分析
11.15 “空中美食”案例研究：軟件項(xiàng)目管理計(jì)劃
11.16 規(guī)格說(shuō)明階段面臨的挑戰(zhàn)
本章回顧
進(jìn)一步閱讀指導(dǎo)
思考題
參考文獻(xiàn)
第12章 面向?qū)ο蠓治鲭A段
12.1 面向?qū)ο蠓治?br />12.2 電梯問(wèn)題：面向?qū)ο蠓治?br />12.3 用例建模
12.4 類(lèi)建模
12.4.1 名詞提取
12.4.2 CRC卡片
12.5 動(dòng)態(tài)建模
12.6 在面向?qū)ο蠓治鲭A段測(cè)試
12.7 面向?qū)ο蠓治鲭A段的CASE工具
12.8 “空中美食”案例研究：面向?qū)ο蠓治?br />12.9 面向?qū)ο蠓治鲭A段面臨的挑戰(zhàn)
本章回顧
進(jìn)一步閱讀指導(dǎo)
思考題
參考文獻(xiàn)
第13章 設(shè)計(jì)階段
13.1 設(shè)計(jì)和抽取
13.2 面向行為設(shè)計(jì)
13.3 數(shù)據(jù)流分析
13.3.1 數(shù)據(jù)流分析示例
13.3.2 擴(kuò)展
13.4 事務(wù)分析
13.5 面向數(shù)據(jù)設(shè)計(jì)
13.6 面向?qū)ο笤O(shè)計(jì)
13.7 電梯問(wèn)題：面向?qū)ο笤O(shè)計(jì)
13.8 詳細(xì)設(shè)計(jì)的形式化技術(shù)
13.9 實(shí)時(shí)設(shè)計(jì)技術(shù)
13.10 設(shè)計(jì)期間的測(cè)試
13.11 設(shè)計(jì)階段的CASE工具
13.12 設(shè)計(jì)階段的度量
13.13 “空中美食”案例研究：面向?qū)ο笤O(shè)計(jì)
13.14 設(shè)計(jì)階段面臨的挑戰(zhàn)
本章回顧
進(jìn)一步閱讀指導(dǎo)
思考題
參考文獻(xiàn)
第14章 實(shí)現(xiàn)階段
14.1 編程語(yǔ)言的選擇
14.2 第四代語(yǔ)言
14.3 良好的編程習(xí)慣
14.4 編碼標(biāo)準(zhǔn)
14.5 模塊復(fù)用
14.6 模塊測(cè)試用例選擇
14.6.1 規(guī)格說(shuō)明測(cè)試與代碼測(cè)試
14.6.2 規(guī)格說(shuō)明測(cè)試的可行性
14.6.3 代碼測(cè)試的可行性
14.7 黑盒模塊測(cè)試技術(shù)
14.7.1 等價(jià)測(cè)試和邊界值測(cè)試
14.7.2 功能測(cè)試
14.8 玻璃盒模塊測(cè)試技術(shù)
14.8.1 結(jié)構(gòu)測(cè)試：語(yǔ)句覆蓋、分支覆蓋以及路徑覆蓋
14.8.2 復(fù)雜性度量
14.9 代碼走查和審查
14.10 模塊測(cè)試技術(shù)的比較
14.11 凈室
14.12 測(cè)試對(duì)象時(shí)潛在的問(wèn)題
14.13 模塊測(cè)試的管理方面
14.14 何時(shí)該重寫(xiě)而不是調(diào)試一個(gè)模塊
14.15 實(shí)現(xiàn)階段的CASE工具
14.16 “空中美食”案例研究：黑盒測(cè)試用例
14.17 實(shí)現(xiàn)階段面臨的挑戰(zhàn)
本章回顧
進(jìn)一步閱讀指導(dǎo)
思考題
參考文獻(xiàn)
第15章 實(shí)現(xiàn)與集成階段
15.1 實(shí)現(xiàn)與集成介紹
15.1.1 自頂向下的實(shí)現(xiàn)與集成
15.1.2 自底向上的實(shí)現(xiàn)與集成
15.1.3 三明治式實(shí)現(xiàn)與集成
15.1.4 面向?qū)ο螽a(chǎn)品的實(shí)現(xiàn)與集成
15.1.5 實(shí)現(xiàn)與集成階段的管理問(wèn)題
15.2 實(shí)現(xiàn)與集成期間的測(cè)試
15.3 圖形用戶(hù)界面的集成測(cè)試
15.4 產(chǎn)品測(cè)試
15.5 驗(yàn)收測(cè)試
15.6 實(shí)現(xiàn)與集成階段的CASE工具
15.7 軟件開(kāi)發(fā)全過(guò)程的CASE工具
15.8 集成化開(kāi)發(fā)環(huán)境
15.9 商業(yè)應(yīng)用軟件開(kāi)發(fā)環(huán)境
15.10 公共工具基礎(chǔ)結(jié)構(gòu)
15.11 開(kāi)發(fā)環(huán)境的潛在問(wèn)題
15.12 實(shí)現(xiàn)與集成階段的度量
15.13 “空中美食”案例研究：實(shí)現(xiàn)與集成階段
15.14 實(shí)現(xiàn)與集成階段面臨的挑戰(zhàn)
本章回顧
進(jìn)一步閱讀指導(dǎo)
思考題
參考文獻(xiàn)
第16章 維護(hù)階段
16.1 維護(hù)的必要性
16.2 對(duì)維護(hù)程序員的要求
16.3 維護(hù)工作案例研究
16.4 維護(hù)管理
16.4.1 錯(cuò)誤報(bào)告
16.4.2 批準(zhǔn)對(duì)產(chǎn)品的修改
16.4.3 確保軟件的可維護(hù)性
16.4.4 反復(fù)維護(hù)造成的問(wèn)題
16.5 面向?qū)ο筌浖木S護(hù)
16.6 維護(hù)技能與開(kāi)發(fā)技能
16.7 逆向工程
16.8 維護(hù)階段的測(cè)試
16.9維護(hù)階段的CASE工具
16.10 維護(hù)階段的度量
16.11 “空中美食”案例研究：維護(hù)階段
16.12 維護(hù)階段面臨的挑戰(zhàn)
本章小結(jié)
進(jìn)一步閱讀指導(dǎo)
思考題
參考文獻(xiàn)
附錄
附錄A Broadlands地區(qū)兒童醫(yī)院
附錄B 軟件工程資料
附錄C “空中美食”案例研究：C快速原型
附錄D “空中美食”案例研究：Java快速原型
附錄E “空中美食”案例研究：結(jié)構(gòu)化系統(tǒng)分析
附錄F “空中美食”案例研究：軟件項(xiàng)目管理計(jì)劃
附錄G “空中美食”案例研究：面向?qū)ο蟮姆治?br />附錄H “空中美食”案例研究：C++實(shí)現(xiàn)的設(shè)計(jì)
附錄I “空中美食”案例研究：Java實(shí)現(xiàn)的設(shè)計(jì)
附錄J “空中美食”案例研究：黑盒測(cè)試用例
附錄K “空中美食”案例研究：C++源代碼
附錄L “空中美食”案例研究：Java源代碼
參考文獻(xiàn)
索引