軟件工程面向?qū)ο蠛蛡鹘y(tǒng)的方法

第一部分軟件工程概述
第1章 軟件工程的范疇
1.1歷史方面
1.2經(jīng)濟(jì)方面
1.3維護(hù)性方面
1.3.1維護(hù)的傳統(tǒng)和現(xiàn)代觀點(diǎn)
1.3.2交付后維護(hù)的重要性
1.4需求、分析和設(shè)計(jì)方面
1.5小組編程方面
1.6為什么沒(méi)有計(jì)劃階段
1.7為什么沒(méi)有測(cè)試階段
1.8為什么沒(méi)有文檔階段
1.9面向?qū)ο蠓缎?
1.10正確看待面向?qū)ο蠓缎?
1.11術(shù)語(yǔ)
1.12道德問(wèn)題
本章回顧
進(jìn)一步閱讀指導(dǎo)
習(xí)題
參考文獻(xiàn)
第2章 軟件生命周期模型
2.1理論上的軟件開(kāi)發(fā)
2.2Winburg小型實(shí)例研究
2.3Winburg小型實(shí)例研究心得
2.4野鴨拖拉機(jī)公司小型實(shí)例研究
2.5迭代和遞增
2.6修訂的Winburg小型實(shí)例研究
2.7迭代和遞增的風(fēng)險(xiǎn)和其他方面
2.8迭代和遞增的控制
2.9其他生命周期模型
2.9.1編碼-修補(bǔ)生命周期模型
2.9.2瀑布生命周期模型
2.9.3快速原型開(kāi)發(fā)生命周期模型
2.9.4開(kāi)源生命周期模型
2.9.5敏捷過(guò)程
2.9.6同步-穩(wěn)定生命周期模型
2.9.7螺旋生命周期模型
2.10生命周期模型的比較
本章回顧
進(jìn)一步閱讀指導(dǎo)
習(xí)題
參考文獻(xiàn)
第3章 軟件過(guò)程
3.1統(tǒng)一過(guò)程
3.2面向?qū)ο蠓缎蛢?nèi)的迭代和遞增
3.3需求流
3.4分析流
3.5設(shè)計(jì)流
3.6實(shí)現(xiàn)流
3.7測(cè)試流

3.7.1需求制品
3.7.2分析制品
3.7.3設(shè)計(jì)制品
3.7.4實(shí)現(xiàn)制品
3.8交付后維護(hù)
3.9退役
3.10統(tǒng)一過(guò)程的各階段
3.10.1開(kāi)始階段
3.10.2細(xì)化階段
3.10.3構(gòu)建階段
3.10.4轉(zhuǎn)換階段
3.11一維與二維生命周期模型
3.12改進(jìn)軟件過(guò)程
3.13能力成熟度模型
3.14 軟件過(guò)程改進(jìn)方面的其他努力
3.15 軟件過(guò)程改進(jìn)的代價(jià)和收益
本章回顧
進(jìn)一步閱讀指導(dǎo)
習(xí)題
參考文獻(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敏捷過(guò)程小組
4.7開(kāi)源編程小組
4.8人員能力成熟度模型
4.9選擇合適的小組組織
本章回顧
進(jìn)一步閱讀指導(dǎo)
習(xí)題
參考文獻(xiàn)
第5章 軟件工程工具
5.1逐步求精法
5.2成本-效益分析法
5.3軟件度量
5.4CASE
5.5CASE的分類
5.6CASE的范圍
5.7軟件版本
5.7.1修訂版
5.7.2變種版
5.8配置控制
5.8.1交付后維護(hù)期間的配置控制
5.8.2基準(zhǔn)
5.8.3產(chǎn)品開(kāi)發(fā)過(guò)程中的配置控制

5.9建造工具
5.10使用CASE技術(shù)提高生產(chǎn)力
本章回顧
進(jìn)一步閱讀指導(dǎo)
習(xí)題
參考文獻(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)審的優(yōu)缺點(diǎn)
6.2.6審查的度量
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正確性證明小型實(shí)例研究
6.5.3正確性證明和軟件工程
6.6誰(shuí)應(yīng)當(dāng)完成執(zhí)行測(cè)試
6.7測(cè)試什么時(shí)候停止
本章回顧
進(jìn)一步閱讀指導(dǎo)
習(xí)題
參考文獻(xiàn)
第7章 從模塊到對(duì)象
7.1什么是模塊
7.2內(nèi)聚
7.2.1偶然性內(nèi)聚
7.2.2邏輯性內(nèi)聚
7.2.3時(shí)間性內(nèi)聚
7.2.4過(guò)程性內(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)品開(kāi)發(fā)
7.4.2數(shù)據(jù)封裝和產(chǎn)品維護(hù)
7.5抽象數(shù)據(jù)類型
7.6信息隱藏
7.7對(duì)象
7.8繼承、多態(tài)和動(dòng)態(tài)綁定
7.9面向?qū)ο蠓缎?
本章回顧
進(jìn)一步閱讀指導(dǎo)
習(xí)題
參考文獻(xiàn)
第8章 可重用性和可移植性
8.1重用的概念
8.2重用的障礙
8.3重用實(shí)例研究
8.3.1Raytheon導(dǎo)彈系統(tǒng)部
8.3.2歐洲航天局
8.4對(duì)象和重用
8.5設(shè)計(jì)和實(shí)現(xiàn)期間的重用
8.5.1設(shè)計(jì)重用
8.5.2應(yīng)用框架
8.5.3設(shè)計(jì)模式
8.5.4軟件體系結(jié)構(gòu)
8.5.5基于組件的軟件工程
8.6重用和交付后維護(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ù)
本章回顧
進(jìn)一步閱讀指導(dǎo)
習(xí)題
參考文獻(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.4COCOMOII

9.2.5跟蹤周期和成本估算
9.3軟件項(xiàng)目管理計(jì)劃的組成
9.4軟件項(xiàng)目管理計(jì)劃框架
9.5IEEE軟件項(xiàng)目管理計(jì)劃
9.6計(jì)劃測(cè)試
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)
習(xí)題
參考文獻(xiàn)
第二部分軟件生命周期的各個(gè)工作流
第10章 需求
10.1確定客戶需要什么
10.2需求流概述
10.3理解應(yīng)用域
10.4業(yè)務(wù)模型
10.4.1訪談
10.4.2其他技術(shù)
10.4.3用例
10.5初始需求
10.6對(duì)應(yīng)用領(lǐng)域的初始理解：MSG基金實(shí)例研究
10.7初始業(yè)務(wù)模型：MSG基金實(shí)例研究
10.8初始需求：MSG基金實(shí)例研究
10.9繼續(xù)需求流：MSG基金實(shí)例研究
10.10修訂需求：MSG基金實(shí)例研究
10.11測(cè)試流：MSG基金實(shí)例研究
10.12傳統(tǒng)的需求階段
10.13快速原型開(kāi)發(fā)
10.14人的因素
10.15重用快速原型
10.16需求流的CASE工具
10.17需求流的度量
10.18需求流面臨的挑戰(zhàn)
本章回顧
進(jìn)一步閱讀指導(dǎo)
習(xí)題
參考文獻(xiàn)
第11章 傳統(tǒng)的分析
11.1規(guī)格說(shuō)明文檔
11.2非形式化規(guī)格說(shuō)明
11.3結(jié)構(gòu)化系統(tǒng)分析
11.4結(jié)構(gòu)化系統(tǒng)分析：MSG基金實(shí)例研究
11.5其他半形式化技術(shù)
11.6建造實(shí)體-關(guān)系模型
11.7有窮狀態(tài)機(jī)
11.8Petri網(wǎng)

11.9Z
11.9.1Z：電梯問(wèn)題實(shí)例研究
11.9.2Z的分析
11.10其他的形式化技術(shù)
11.11傳統(tǒng)分析技術(shù)的比較
11.12在傳統(tǒng)分析階段測(cè)試
11.13傳統(tǒng)分析階段的CASE工具
11.14傳統(tǒng)分析階段的度量
11.15軟件項(xiàng)目管理計(jì)劃：MSG基金實(shí)例研究
11.16傳統(tǒng)分析階段面臨的挑戰(zhàn)
本章回顧
進(jìn)一步閱讀指導(dǎo)
習(xí)題
參考文獻(xiàn)
第12章 面向?qū)ο蠓治?
12.1分析流
12.2抽取實(shí)體類
12.3面向?qū)ο蠓治觯弘娞輪?wèn)題實(shí)例研究
12.4功能建模：電梯問(wèn)題實(shí)例研究
12.5實(shí)體類建模：電梯問(wèn)題實(shí)例研究
12.5.1名詞抽取
12.5.2CRC卡片
12.6動(dòng)態(tài)建模：電梯問(wèn)題實(shí)例研究
12.7測(cè)試流：面向?qū)ο蠓治?
12.8抽取邊界類和控制類
12.9初始功能模型：MSG基金實(shí)例研究
12.10初始類圖：MSG基金實(shí)例研究
12.11初始動(dòng)態(tài)模型：MSG基金實(shí)例研究
12.12修訂實(shí)體類：MSG基金實(shí)例研究
12.13抽取邊界類：MSG基金實(shí)例研究
12.14抽取控制類：MSG基金實(shí)例研究
12.15用例實(shí)現(xiàn)：MSG基金實(shí)例研究
12.15.1 Estimate Funds Avaibuble for Week用例
12.15.2 Manage an Asset用例
12.15.3 Update Estimated Annual Operating Expenses用例
12.15.4 Produce a Report用例
12.16類圖遞增：MSG基金實(shí)例研究
12.17測(cè)試流：MSG基金實(shí)例研究
12.18統(tǒng)一過(guò)程中的規(guī)格說(shuō)明文檔
12.19關(guān)于參與者和用例更詳細(xì)的內(nèi)容
12.20用于面向?qū)ο蠓治隽鞯腃ASE工具
12.21面向?qū)ο蠓治隽魉媾R的挑戰(zhàn)
本章回顧
進(jìn)一步閱讀指導(dǎo)
習(xí)題
參考文獻(xiàn)
第13章 設(shè)計(jì)
13.1設(shè)計(jì)和抽象
13.2面向操作設(shè)計(jì)
13.3數(shù)據(jù)流分析

13.3.1小型實(shí)例研究：字?jǐn)?shù)統(tǒng)計(jì)
13.3.2數(shù)據(jù)流分析擴(kuò)展
13.4事務(wù)分析
13.5面向數(shù)據(jù)設(shè)計(jì)
13.6面向?qū)ο笤O(shè)計(jì)
13.7面向?qū)ο笤O(shè)計(jì)：電梯問(wèn)題實(shí)例研究
13.8面向?qū)ο笤O(shè)計(jì)：MSG基金實(shí)例研究
13.9設(shè)計(jì)流
13.10測(cè)試流：設(shè)計(jì)
13.11測(cè)試流：MSG基金實(shí)例研究
13.12詳細(xì)設(shè)計(jì)的形式化技術(shù)
13.13實(shí)時(shí)設(shè)計(jì)技術(shù)
13.14設(shè)計(jì)的CASE工具
13.15設(shè)計(jì)的度量
13.16設(shè)計(jì)流面臨的挑戰(zhàn)
本章回顧
進(jìn)一步閱讀指導(dǎo)
習(xí)題
參考文獻(xiàn)
第14章 實(shí)現(xiàn)
14.1編程語(yǔ)言的選擇
14.2第四代語(yǔ)言
14.3良好的編程實(shí)踐
14.3.1使用一致和有意義的變量名
14.3.2自文檔代碼的問(wèn)題
14.3.3使用參數(shù)
14.3.4為增加可讀性的代碼編排
14.3.5嵌套的if語(yǔ)句
14.4編碼標(biāo)準(zhǔn)
14.5代碼重用
14.6集成
14.6.1自頂向下的集成
14.6.2自底向上的集成
14.6.3三明治集成
14.6.4面向?qū)ο螽a(chǎn)品的集成
14.6.5集成的管理
14.7實(shí)現(xiàn)流
14.8實(shí)現(xiàn)流：MSG基金實(shí)例研究
14.9測(cè)試流：實(shí)現(xiàn)
14.10測(cè)試用例選擇
14.10.1規(guī)格說(shuō)明測(cè)試與代碼測(cè)試
14.10.2規(guī)格說(shuō)明測(cè)試的可行性
14.10.3代碼測(cè)試的可行性
14.11黑盒單元測(cè)試技術(shù)
14.11.1等價(jià)測(cè)試和邊界值分析
14.11.2功能測(cè)試
14.12黑盒測(cè)試用例：MSG基金實(shí)例研究
14.13玻璃盒單元測(cè)試技術(shù)
14.13.1結(jié)構(gòu)測(cè)試：語(yǔ)句、分支和路徑覆蓋
14.13.2復(fù)雜性度量

14.14代碼走查和審查
14.15單元測(cè)試技術(shù)的比較
14.16凈室
14.17測(cè)試對(duì)象時(shí)潛在的問(wèn)題
14.18單元測(cè)試的管理方面
14.19何時(shí)該重寫而不是調(diào)試代碼制品
14.20集成測(cè)試
14.21產(chǎn)品測(cè)試
14.22驗(yàn)收測(cè)試
14.23測(cè)試流：MSG基金實(shí)例研究
14.24實(shí)現(xiàn)的CASE工具
14.24.1軟件開(kāi)發(fā)全過(guò)程的CASE工具
14.24.2集成化開(kāi)發(fā)環(huán)境
14.24.3商業(yè)應(yīng)用環(huán)境
14.24.4公共工具基礎(chǔ)結(jié)構(gòu)
14.24.5環(huán)境的潛在問(wèn)題
14.25測(cè)試流的CASE工具
14.26實(shí)現(xiàn)流的度量
14.27實(shí)現(xiàn)流面臨的挑戰(zhàn)本章回顧
進(jìn)一步閱讀指導(dǎo)
習(xí)題
參考文獻(xiàn)
第15章 交付后維護(hù)
15.1開(kāi)發(fā)與維護(hù)
15.2為什么交付后維護(hù)是必要的
15.3對(duì)交付后維護(hù)程序員的要求是什么
15.4交付后維護(hù)小型實(shí)例研究
15.5交付后維護(hù)的管理
15.5.1缺陷報(bào)告
15.5.2批準(zhǔn)對(duì)產(chǎn)品的修改
15.5.3確?？删S護(hù)性
15.5.4迭代維護(hù)造成的問(wèn)題
15.6面向?qū)ο筌浖木S護(hù)
15.7交付后維護(hù)技能與開(kāi)發(fā)技能
15.8逆向工程
15.9交付后維護(hù)期間的測(cè)試
15.10交付后維護(hù)的CASE工具
15.11交付后維護(hù)的度量
15.12交付后維護(hù)：MSG基金實(shí)例研究
15.13交付后維護(hù)面臨的挑戰(zhàn)本章小結(jié)進(jìn)一步閱讀指導(dǎo)習(xí)題參考文獻(xiàn)
第16章 UML的進(jìn)一步討論
16.1UML不是一種方法
16.2類圖
16.2.1聚合
16.2.2多重性
16.2.3組合
16.2.4泛化
16.2.5關(guān)聯(lián)
16.3注解
16.4用例圖

16.5構(gòu)造型
16.6交互圖
16.7狀態(tài)圖
16.8活動(dòng)圖
16.9包
16.10組件圖
16.11部署圖
16.12UML圖回顧
16.13UML和迭代
本章回顧
進(jìn)一步閱讀指導(dǎo)
習(xí)題
參考文獻(xiàn)
附錄
附錄A學(xué)期項(xiàng)目：Osric的辦公室用具和裝飾
附錄B軟件工程資源
附錄C需求流：MSG基金實(shí)例研究
附錄D結(jié)構(gòu)化系統(tǒng)分析：MSG基金實(shí)例研究
附錄E分析流：MSG基金實(shí)例研究
附錄F軟件項(xiàng)目管理計(jì)劃：MSG基金實(shí)例研究
附錄G設(shè)計(jì)流：MSG基金實(shí)例研究
附錄H實(shí)現(xiàn)流：MSG基金實(shí)例研究(C++版)
附錄I實(shí)現(xiàn)流：MSG基金實(shí)例研究(Java版)
附錄J測(cè)試流：MSG基金實(shí)例研究