軟件工程（原書第6版）

第1篇概覽

第1章概述

1.l軟件工程中的常見問題
1.1.l什么是軟件
1.1.2什么是軟件工程
1.l.3軟件工程和計(jì)算機(jī)科學(xué)有何區(qū)別
1.l.4軟件工程和系統(tǒng)工程有何區(qū)別
1.1.5什么是軟件過程
1.1.6什么是軟件過程模型
1.1.7什么是軟件工程的成本
1.1.8什么是軟件工程方法
1.1.9什么是CASE
1.1.10什么是優(yōu)良軟件的屬性
1.1.11軟件工程所面臨的主要問題是什么
1.2職業(yè)和道德上的責(zé)任
要點(diǎn)
進(jìn)一步的閱讀資料
練習(xí)

第2章基于計(jì)算機(jī)的系統(tǒng)工程

2.l系統(tǒng)總體特性
2.2系統(tǒng)及其環(huán)境
2.3系統(tǒng)建模
2.4系統(tǒng)工程過程
2.4.l系統(tǒng)需求定義
2.4.2系統(tǒng)設(shè)計(jì)
2.4.3子系統(tǒng)開發(fā)
2.4.4系統(tǒng)整合
2.4.5系統(tǒng)安裝
2.4.6系統(tǒng)操作
2.4.7系統(tǒng)進(jìn)化
2.4.8系統(tǒng)退役
2.5系統(tǒng)獲得
要點(diǎn)
進(jìn)一步閱讀資料
練習(xí)

第3章軟件過程

3.l軟件過程模型
3.1.l"瀑布"模型
3.l.2進(jìn)化式開發(fā)
3.1.3形式化系統(tǒng)開發(fā)
3.1.4面向復(fù)用的開發(fā)
3.2過程反復(fù)
3.2.l增量式開發(fā)
3.2.2螺旋式開發(fā)
3.3軟件描述
3.4軟件設(shè)計(jì)和實(shí)現(xiàn)
3.4.l設(shè)計(jì)方法
3.4.2程序設(shè)計(jì)和調(diào)試
3.5軟件有效性驗(yàn)證
3.6軟件進(jìn)化
3.7自動(dòng)化的過程支持
要點(diǎn)
進(jìn)一步的閱讀資料
練習(xí)

第4章項(xiàng)目管理

4.l管理活動(dòng)
4.2項(xiàng)目規(guī)劃
4.2.l項(xiàng)目計(jì)劃
4.2.2項(xiàng)目里程碑和可交付的文檔
4.3項(xiàng)目進(jìn)度
4.4風(fēng)險(xiǎn)管理
4.4.l風(fēng)險(xiǎn)識(shí)別
4.4.2風(fēng)險(xiǎn)分析
4.4.3風(fēng)險(xiǎn)規(guī)劃
4.4.4風(fēng)險(xiǎn)監(jiān)控
要點(diǎn)
進(jìn)一步的閱讀資料
練習(xí)

第2篇需求

第5章軟件需求

5.l功能需求和非功能需求
5.1.l功能需求
5.l.2非功能需求
5.1.3領(lǐng)域需求
5.2用戶需求
5.3系統(tǒng)需求
5.3.l結(jié)構(gòu)化語言描述
5.3.2使用PDL的需求描述
5.3.3接口描述
5.4軟件需求文檔
要點(diǎn)
進(jìn)一步的閱讀資料
練習(xí)

第6章需求工程過程

6.l可行性研究
6.2需求導(dǎo)出和分析
6.2.l面向視點(diǎn)的導(dǎo)出
6.2.2場(chǎng)景
6.2.3深入實(shí)際
6.3需求有效性驗(yàn)證
6.4需求管理
6.4.l持久的和易變的需求
6.4.2需求管理規(guī)劃
6.4.3需求變更管理
要點(diǎn)
進(jìn)一步的閱讀資料
練習(xí)

第7章系統(tǒng)模型

7.l上下文模型
7.2行為模型
7.2.l數(shù)據(jù)流模型
7.2.2狀態(tài)機(jī)模型
7.3數(shù)據(jù)模型
7.4對(duì)象模型
7.4.l繼承模型
7.4.2對(duì)象聚合
7.4.3對(duì)象行為建模
7.5CASE工作平臺(tái)
要點(diǎn)
進(jìn)一步的閱讀資料
練習(xí)

第8章軟件原型系統(tǒng)開發(fā)

8.l軟件過程中的原型開發(fā)
8.1.l進(jìn)化式原型開發(fā)
8.1.2拋棄式原型開發(fā)
8.2快速原型技術(shù)
8.2.l使用動(dòng)態(tài)高級(jí)語言的開發(fā)
8.2.2數(shù)據(jù)庫程序設(shè)計(jì)
8.2.3組件和應(yīng)用集成
8.3用戶界面原型開發(fā)
要點(diǎn)
進(jìn)一步的閱讀資料
練習(xí)

第9章形式化描述

9.l軟件過程中的形式化描述
9.2接口描述
9.3行為描述
要點(diǎn)
進(jìn)一步的閱讀資料
練習(xí)

第3篇設(shè)計(jì)

第10章體系結(jié)構(gòu)的設(shè)計(jì)

10.1系統(tǒng)構(gòu)成
10.1.l容器模型
10.1.2客戶機(jī)／服務(wù)器模型
10.l.3抽象機(jī)模型
10.2控制模型
10.2.l集中式控制
10.2.2事件驅(qū)動(dòng)系統(tǒng)
10.3模塊化分解
10.3.l對(duì)象模型
10.3.2數(shù)據(jù)流模型
10.4領(lǐng)域相關(guān)的體系結(jié)構(gòu)
10.4.l類模型
10.4.2參考體系結(jié)構(gòu)
要點(diǎn)
進(jìn)一步的閱讀資料
練習(xí)

第11章分布式系統(tǒng)體系結(jié)構(gòu)

11.l多處理器體系結(jié)構(gòu)
11.2客戶機(jī)／服務(wù)器體系結(jié)構(gòu)
11.3分布式對(duì)象體系結(jié)構(gòu)
11.4CORBA
要點(diǎn)
進(jìn)一步的閱讀資料
練習(xí)

第12章面向?qū)ο蟮脑O(shè)計(jì)

12.l對(duì)象和對(duì)象類
12.2面向?qū)ο笤O(shè)計(jì)過程
12.2.l系統(tǒng)上下文和使用模型
12.2.2體系結(jié)構(gòu)的設(shè)計(jì)
12.2.3對(duì)象識(shí)別
12.2.4設(shè)計(jì)模型
12.2.5對(duì)象接口描述
12.3設(shè)計(jì)進(jìn)化
要點(diǎn)
進(jìn)一步的閱讀資料
練習(xí)

第13章實(shí)時(shí)軟件的設(shè)計(jì)

13.l系統(tǒng)設(shè)計(jì)
13.1.l實(shí)時(shí)系統(tǒng)建模
13.1.2實(shí)時(shí)程序設(shè)計(jì)
13.2實(shí)時(shí)執(zhí)行者
13.3監(jiān)控系統(tǒng)
13.4數(shù)據(jù)采集系統(tǒng)
要點(diǎn)
進(jìn)一步的閱讀資料
練習(xí)

第14章使用復(fù)用的設(shè)計(jì)

14.l以組件為基礎(chǔ)的開發(fā)
14.1.l應(yīng)用框架
14.1.2商業(yè)現(xiàn)成產(chǎn)品的復(fù)用
14.1.3面向復(fù)用的組件開發(fā)
14.2應(yīng)用系列
14.3設(shè)計(jì)模式
要點(diǎn)
進(jìn)一步的閱讀資料
練習(xí)

第15章用戶界面設(shè)計(jì)

15.l用戶界面設(shè)計(jì)原則
15.2用戶交互
15.3信息表示
15.4用戶支持
15.4.l錯(cuò)誤消息
15.4.2幫助系統(tǒng)的設(shè)計(jì)
15.4.3用戶文檔
15.5界面評(píng)價(jià)
要點(diǎn)
進(jìn)一步的閱讀資料
練習(xí)

第4篇要求極高的系統(tǒng)

第16章可依賴性

16.l要求極高的系統(tǒng)
16.2可用性和可靠性
16.3安全性
16.4保密性
要點(diǎn)
進(jìn)一步的閱讀資料
練習(xí)

第17章要求極高的系統(tǒng)的描述

17.l軟件可靠性描述
17.1.l可靠性度量
17.1.2非功能性的可靠性需求
17.2安全性描述
17.2.l危險(xiǎn)和風(fēng)險(xiǎn)分析
17.2.2缺陷樹分析
17.2.3風(fēng)險(xiǎn)評(píng)估
17.2.4降低風(fēng)險(xiǎn)
17.3保密性描述
要點(diǎn)
進(jìn)一步的閱讀資料
練習(xí)

第18章要求極高的系統(tǒng)的開發(fā)

18.l缺陷最小化
18.1.l錯(cuò)誤避免
18.1.2信息隱藏
18.1.3可靠的軟件過程
18.2容錯(cuò)
18.2.1異常處理
18.2.2缺陷檢測(cè)
18.2.3損害評(píng)估
18.2.4缺陷恢復(fù)
18.3容錯(cuò)體系結(jié)構(gòu)
18.4安全系統(tǒng)設(shè)計(jì)
要點(diǎn)
進(jìn)一步的閱讀資料
練習(xí)

第5篇檢驗(yàn)和有效性驗(yàn)證方法

第19章檢驗(yàn)和有效性驗(yàn)證

19.l檢驗(yàn)和有效性驗(yàn)證規(guī)劃
19.2軟件檢查
19.3自動(dòng)靜態(tài)分析
19.4凈室軟件開發(fā)方法
要點(diǎn)
進(jìn)一步的閱讀資料
練習(xí)

第20章軟件測(cè)試

20.l缺陷測(cè)試
20.1.l黑盒測(cè)試
20.1.2等價(jià)劃分
20.1.3結(jié)構(gòu)化測(cè)試
20.1.4路徑測(cè)試
20.2集成測(cè)試
20.2.l自頂向下的和自底向上的測(cè)試
20.2.2接口測(cè)試
20.2.3強(qiáng)度測(cè)試
20.3面向?qū)ο蟮臏y(cè)試
20.3.l對(duì)象類測(cè)試
20.3.2對(duì)象集成
20.4測(cè)試工作平臺(tái)
要點(diǎn)
進(jìn)一步的閱讀資料
練習(xí)

第21章要求極高的系統(tǒng)的驗(yàn)證

21.l形式化方法和要求極高的系統(tǒng)
21.2可靠性驗(yàn)證
21.2.l操作簡(jiǎn)檔
21.2.2可靠性預(yù)測(cè)
21.3安全性保證
21.3.l檢驗(yàn)和有效性驗(yàn)證
21.3.2安全性論證
21.3.3過程保證
21.3.4運(yùn)行時(shí)安全檢查
21.4保密性評(píng)估
要點(diǎn)
進(jìn)一步的閱讀資料
練習(xí)

第6篇管理

第22章人員管理

22.l思維的局限性
22.1.l記憶結(jié)構(gòu)
22.1.2問題的解決
22.1.3工作動(dòng)力
22.2小組協(xié)作
22.2.l小組的構(gòu)成
22.2.2小組的凝聚力
22.2.3小組的溝通
22.2.4小組的結(jié)構(gòu)
22.3選擇和留住職員
22.4人員能力成熟度模型
要點(diǎn)
進(jìn)一步的閱讀資料
練習(xí)

第23章軟件成本估算

23.l生產(chǎn)率
23.2估算技術(shù)
23.3算法成本建模
23.3.1COCOMO模型
23.3.2在項(xiàng)目規(guī)劃中的算法成本模型
23.4項(xiàng)目的工期和人員配備要點(diǎn)
進(jìn)一步的閱讀資料
練習(xí)

第24章質(zhì)量管理

24.l質(zhì)量保證和質(zhì)量標(biāo)準(zhǔn)
24.1.l文檔編寫標(biāo)準(zhǔn)
24.1.2過程和產(chǎn)品質(zhì)量
24.2質(zhì)量規(guī)劃
24.3質(zhì)量控制
24.4軟件測(cè)量和度量
24.4.l測(cè)量過程
24.4.2產(chǎn)品度量
24.4.3測(cè)量的分析
要點(diǎn)
進(jìn)一步的閱讀資料
練習(xí)

第25章過程改善

25.l過程和產(chǎn)品質(zhì)量
25.2過程分析和建模
25.3過程度量
25.4SEI的過程能力成熟度模型
25.5過程分類
要點(diǎn)
進(jìn)一步的閱讀資料
練習(xí)

第7篇軟件進(jìn)化

第26章遺留系統(tǒng)

26.l遺留系統(tǒng)的結(jié)構(gòu)
26.2遺留系統(tǒng)設(shè)計(jì)
26.3遺留系統(tǒng)評(píng)估
26.3.l業(yè)務(wù)價(jià)值評(píng)估
26.3.2系統(tǒng)質(zhì)量評(píng)估
要點(diǎn)
進(jìn)一步的閱讀資料
練習(xí)

第27章軟件變更

27.l程序進(jìn)化的動(dòng)態(tài)特性
27.2軟件維護(hù)
27.2.l維護(hù)過程
27.2.2維護(hù)預(yù)測(cè)
27.3體系結(jié)構(gòu)的進(jìn)化
要點(diǎn)
進(jìn)一步的閱讀資料
練習(xí)

第28章軟件再工程

28.l源代碼轉(zhuǎn)換
28.2反向工程
28.3程序結(jié)構(gòu)改善
28.4程序模塊化
28.5數(shù)據(jù)再工程
要點(diǎn)
進(jìn)一步的閱讀資料
練習(xí)

第29章配置管理

29.l配置管理規(guī)劃
29.1.1配置項(xiàng)識(shí)別
29.1.2配置數(shù)據(jù)庫
29.2變更管理
29.3版本和發(fā)布管理
29.3.l版本標(biāo)識(shí)
29.3.2發(fā)布管理
29.4系統(tǒng)構(gòu)建
29.5用于配置管理的CASE工具
29.5.l變更管理支持
29.5.2版本管理支持
29.5.3系統(tǒng)構(gòu)建支持要點(diǎn)
進(jìn)一步的閱讀資料
練習(xí)
參考文獻(xiàn)
索引
譯后記