軟件工程：Java語言實現(xiàn)

譯者序
前言
第3版Classical and Object-Oriented Software Engineering序言
第一部分  軟件過程
第1章  軟件工程的范圍
1.1  歷史方面
1.2  經(jīng)濟方面
1.3  維護方面
1.4  規(guī)格說明和設(shè)計方面
1.5  群體編程方面
1.6  面向?qū)ο蟮姆缎?br />1.7  常用術(shù)語
本章回顧
問題
第2章  軟件過程及問題
2.1  客戶、開發(fā)人員和用戶
2.2  需求階段
2.3  規(guī)格說明階段
2.4  計劃階段
2.5  設(shè)計階段
2.6  實現(xiàn)階段
2.7  集成階段
2.8  維護階段
2.9  退役
2.10  軟件產(chǎn)品中的問題：本質(zhì)問題和非本質(zhì)問題
2.10.1  復(fù)雜性
2.10.2  一致性
2.10.3  可變性
2.10.4  不可見性
2.10.5  沒有銀彈嗎
本章回顧
進一步閱讀
第3章  軟件生命周期模型
3.1  邊做邊改模型
3.2  瀑布模型
3.3  快速原型模型
3.4  增量模型
3.5  螺旋模型
3.6  各種生命周期模型的比較
3.7  能力成熟度模型
3.8  ISO 9000
本章回顧
進一步閱讀
問題
第4章  逐步求精、CASE和其他商用工具
4.1  逐步求精
4.2  成本效益分析
4.3  計算機輔助軟件工程CASE
4.4  CASE的范圍
4.5  軟件版本
4.5.1  修訂版本
4.5.2  變體版本
4.6  配置控制
4.6.1  產(chǎn)品維護期間的配置控制
4.6.2  基線版本
4.6.3  產(chǎn)品開發(fā)期間的配置控制
4.7  構(gòu)造工具
4.8  CASE技術(shù)提高了生產(chǎn)力
4.9  軟件度量
本章回顧
進一步閱讀
問題
第5章  測試原理
5.1  質(zhì)量問題
5.1.1  軟件質(zhì)量保證
5.1.2  管理的獨立性
5.2  基于非執(zhí)行的測試
5.2.1  走查
5.2.2  走查的管理
5.2.3  審查
5.2.4  審查和走查的比較
5.2.5  審查的尺度
5.3  基于執(zhí)行的測試
5.4  需要測試些什么
5.4.1  實用性
5.4.2  可靠性
5.4.3  健壯性
5.4.4  性能
5.4.5  正確性
5.5  測試與正確性證明的比較
5.5.1  正確性證明的舉例
5.5.2  正確性證明的事例研究
5.5.3  正確性證明和軟件工程
5.6  由誰來執(zhí)行基于執(zhí)行的測試
5.7  何時結(jié)束測試
本章回顧
進一步閱讀
問題
第6章  對象
6.1  什么是模塊
6.2  內(nèi)聚性
6.2.1  偶然內(nèi)聚性
6.2.2  邏輯內(nèi)聚性
6.2.3  暫時內(nèi)聚性
6.2.4  過程內(nèi)聚性
6.2.5  通信內(nèi)聚性
6.2.6  信息內(nèi)聚性
6.2.7  功能內(nèi)聚性
6.2.8  內(nèi)聚性舉例
6.3  耦合
6.3.1  內(nèi)容耦合
6.3.2  共用耦合
6.3.3  控制耦合
6.3.4  特征耦合
6.3.5  數(shù)據(jù)耦合
6.3.6  耦合舉例
6.4  數(shù)據(jù)封裝
6.4.1  數(shù)據(jù)封裝和產(chǎn)品開發(fā)
6.4.2  數(shù)據(jù)封裝和產(chǎn)品維護
6.5  抽象數(shù)據(jù)類型
6.6  信息隱藏
6.7  對象的概念
6.8  多態(tài)性和動態(tài)性聯(lián)編
6.9  對象的內(nèi)聚性和耦合
6.10  重用
6.11  重用實例研究
6.11.1  Raytheon的導(dǎo)彈系統(tǒng)部
6.11.2  東芝軟件工廠
6.11.3  NASA軟件
6.11.4  GTE DATA SERVICES
6.11.5  HP公司
6.12  重用和維護
6.13  對象和生產(chǎn)率
本章回顧
進一步閱讀
問題
第二部分  軟件過程的各個階段
第7章  需求階段
7.1  需求分析技術(shù)
7.2  快速原型
7.3  人的因素
7.4  作為一種規(guī)格說明技術(shù)的快速原型
7.5  快速原型的重用
7.6  快速原型的其他用途
7.7  快速原型的管理意義
7.8  有關(guān)快速原型的經(jīng)驗
7.9  聯(lián)合式應(yīng)用設(shè)計
7.10  需求分析技術(shù)的比較
7.11  需求階段的測試
7.12  需求階段的CASE工具
7.13  需求階段的度量
7.14  MSG實例研究：需求階段
7.15  MSG實例研究：快速原型
本章回顧
進一步閱讀
問題
第8章 規(guī)格說明階段
8.1  規(guī)格說明文檔
8.2  非形式化規(guī)格說明
8.3  結(jié)構(gòu)化系統(tǒng)分析
8.4  其他的半形式化技術(shù)
8.5  實體關(guān)系模型
8.6  有窮狀態(tài)機
8.7  PERTI網(wǎng)
8.8  Z
8.8.1  電梯問題：Z
8.8.2  對Z的分析
8.9  其他的形式化技術(shù)
8.10  規(guī)格說明技術(shù)的比較
8.11  規(guī)格說明階段的測試
8.12  規(guī)格說明階段的CASE工具
8.13  規(guī)格說明階段的度量
8.14  MSG實例研究：結(jié)構(gòu)化系統(tǒng)分析
本章回顧
進一步閱讀
問題
第9章  面向?qū)ο蟮姆治鲭A段
9.1  面向?qū)ο蠓缎团c結(jié)構(gòu)化范型的比較
9.2  面向?qū)ο蟮姆治?br />9.3  電梯問題：面向?qū)ο蟮姆治?br />9.3.1  類模型
9.3.2  動態(tài)建模
9.3.3 功能建模
9.4  面向?qū)ο蟮纳芷谀Ｐ?br />9.5  面向?qū)ο蠓治鲭A段中的CASE工具
9.6  MSG實例研究：面向?qū)ο蟮姆治?br />本章回顧
進一步閱讀
問題
第10章  計劃階段
10.1  項目開發(fā)周期和開發(fā)成本估計
10.1.1  產(chǎn)品規(guī)模的度量
10.1.2  成本估計技術(shù)
10.1.3  中級COCOMO
10.1.4  跟蹤開發(fā)周期和成本估計
10.2  軟件項目管理計劃的組成部分
10.3  軟件項目管理計劃的結(jié)構(gòu)
10.4  IEEE軟件項目管理計劃
10.5  測試計劃
10.6  面向?qū)ο箜椖康囊?guī)劃
10.7  培訓需求
10.8  文檔標準
10.9  計劃階段的CASE工具
10.10  計劃階段的測試
10.11  MSG實例研究：計劃階段
本章回顧
進一步閱讀
問題
第11章  設(shè)計階段
11.1  設(shè)計和抽象
11.2  面向行為的設(shè)計
11.3  數(shù)據(jù)流分析
11.3.1  數(shù)據(jù)流分析的例子
11.3.2  擴展
11.4  事務(wù)分析
11.5  面向數(shù)據(jù)的設(shè)計
11.6  Jackson系統(tǒng)開發(fā)
11.6.1  JSD概述
11.6.2  為什么要在本章介紹JACKSON系統(tǒng)開發(fā)
11.6.3  電梯問題：jackson系統(tǒng)開發(fā)
11.6.4  JSD分析
11.7  jackson、Warnier和Orr的技術(shù)
11.8  面向?qū)ο蟮脑O(shè)計
11.9  詳細設(shè)計
11.10  面向行為的設(shè)計、面向數(shù)據(jù)的設(shè)計和面向?qū)ο蟮脑O(shè)計之比較
11.11  與實時系統(tǒng)有關(guān)的困難
11.12  實時系統(tǒng)設(shè)計技術(shù)
11.13  設(shè)計階段的測試
11.14  設(shè)計階段的CASE工具
11.15  設(shè)計階段的度量
11.16  MSG實例研究：面向?qū)ο蟮脑O(shè)計
本章回顧
進一步閱讀
問題
第12章  實現(xiàn)階段
12.1  編程語言的選擇
12.2  第四代語言
12.3  結(jié)構(gòu)化程序設(shè)計
12.3.1  結(jié)構(gòu)化程序設(shè)計的歷史
12.3.2  為什么goto語句是有害的
12.4  良好的編程習慣
12.5  編碼標準
12.6  程序員組的組織
12.7  民主制程序員組方法
12.8  典型的主席制程序員組方法
12.8.1  New York Times項目
12.8.2  典型的主席制程序員組方法的不切實際性
12.9  超越主席制程序員組和民主制程序員組的方法
12.10  可移植性
12.10.1  硬件的不兼容性
12.10.2  操作系統(tǒng)的不兼容性
12.10.3  數(shù)值軟件的不兼容性
12.10.4  編譯器的不兼容性
12.11  為什么要支持可移植性
12.12  獲得可移植性的技術(shù)
12.12.1  可移植的系統(tǒng)軟件
12.12.2  可移植的應(yīng)用軟件
12.12.3  可移植的數(shù)據(jù)
12.13  模塊重用
12.14  模塊測試事例的選擇
12.14.1  規(guī)格說明測試與代碼測試的比較
12.14.2  規(guī)格說明測試的可行性
12.14.3  代碼測試的可行性
12.15  黑盒模塊測試技術(shù)
12.15.1  等價測試和邊界值分析
12.15.2  功能測試
12.16  玻璃盒模塊測試技術(shù)
12.16.1  結(jié)構(gòu)化測試：語句、分支、中徑覆蓋
12.16.2  復(fù)雜性度量
12.17  代碼走查和審查
12.18  模塊測試技術(shù)的比較
12.19  Cleanroom
12.20  測試對象
12.21  模塊測試的管理方面
12.22  測試分布式軟件
12.23  實時軟件的測試
12.24  實現(xiàn)階段的CASE工具
12.25  MSG實例研究：黑盒測試事件
本章回顧
進一步閱讀
問題
第13章  實現(xiàn)和集成階段
13.1  實現(xiàn)和集成
13.1.1  自頂向下的實現(xiàn)和集成方法
13.1.2  自底而上的實現(xiàn)和集成方法
13.1.3  三明治式實現(xiàn)和集成方法
13.1.4  面向?qū)ο螽a(chǎn)品的實現(xiàn)和集成方法
13.1.5  實現(xiàn)和集成階段的管理問題
13.2  實現(xiàn)和集成階段的測試
13.3  用戶圖形界面的集成階段測試
13.4  產(chǎn)品測試
13.5  驗收測試
13.6  實現(xiàn)和集成階段的CASE工具
13.7  整個軟件過程的XASE工具
13.8  基于編程語言的環(huán)境
13.9  面向結(jié)構(gòu)的環(huán)境
13.10  工具箱環(huán)境
13.11  集成環(huán)境
13.11.1  過程集成
13.11.2  工具集成
13.11.3  其他形式的集成
13.12  商業(yè)應(yīng)用的開發(fā)環(huán)境
13.13  公用工具的基礎(chǔ)結(jié)構(gòu)
13.14  各類環(huán)境的比較
13.15  實現(xiàn)和集成階段的度量
13.16  MSG實例研究：實現(xiàn)和集成階段
本章回顧
進一步閱讀
問題
第14章  維護階段
14.1  為什么維護是必須的
14.2  維護人員需要什么
14.3  維護實例研究
14.4  維護管理
14.4.1  錯誤報告
14.4.2  授權(quán)產(chǎn)品更改
14.4.3  確保可維護性
14.4.4  反復(fù)維護的問題
14.5  面向?qū)ο蟮能浖S護
14.6  開發(fā)技能與維護技能之比較
14.7  逆向工程
14.8  維護階段的測試
14.9  維護階段的CASE工具
14.10  維護階段的度量
本章回顧
進一步閱讀
問題
結(jié)束語——JAVA：軟件工程的實例研究
第三部分  附錄
附錄 A 藝術(shù)商人Osbert Oglesby
附錄 B 軟件工程資源
附錄 C MSG實例研究：快速原型模型
附錄 D MSG實例研究：結(jié)構(gòu)化系統(tǒng)分析
附錄 E MSG實例研究：軟件項目管理計劃
附錄 F MSG實例研究：設(shè)計
附錄 G MSG實例研究：黑箱測試用例
附錄 H MSG實例研究：源代碼
參考文獻索引