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

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