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

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

3.7.1需求制品
3.7.2分析制品
3.7.3設(shè)計制品
3.7.4實現(xiàn)制品
3.8交付后維護
3.9退役
3.10統(tǒng)一過程的各階段
3.10.1開始階段
3.10.2細化階段
3.10.3構(gòu)建階段
3.10.4轉(zhuǎn)換階段
3.11一維與二維生命周期模型
3.12改進軟件過程
3.13能力成熟度模型
3.14 軟件過程改進方面的其他努力
3.15 軟件過程改進的代價和收益
本章回顧
進一步閱讀指導
習題
參考文獻
第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敏捷過程小組
4.7開源編程小組
4.8人員能力成熟度模型
4.9選擇合適的小組組織
本章回顧
進一步閱讀指導
習題
參考文獻
第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交付后維護期間的配置控制
5.8.2基準
5.8.3產(chǎn)品開發(fā)過程中的配置控制

5.9建造工具
5.10使用CASE技術(shù)提高生產(chǎ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評審的優(yōu)缺點
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誰應(yīng)當完成執(zhí)行測試
6.7測試什么時候停止
本章回顧
進一步閱讀指導
習題
參考文獻
第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)品維護
7.5抽象數(shù)據(jù)類型
7.6信息隱藏
7.7對象
7.8繼承、多態(tài)和動態(tài)綁定
7.9面向?qū)ο蠓缎?
本章回顧
進一步閱讀指導
習題
參考文獻
第8章 可重用性和可移植性
8.1重用的概念
8.2重用的障礙
8.3重用實例研究
8.3.1Raytheon導彈系統(tǒng)部
8.3.2歐洲航天局
8.4對象和重用
8.5設(shè)計和實現(xiàn)期間的重用
8.5.1設(shè)計重用
8.5.2應(yīng)用框架
8.5.3設(shè)計模式
8.5.4軟件體系結(jié)構(gòu)
8.5.5基于組件的軟件工程
8.6重用和交付后維護
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ù)
本章回顧
進一步閱讀指導
習題
參考文獻
第9章 計劃和估算
9.1計劃和軟件過程
9.2周期和成本估算
9.2.1產(chǎn)品規(guī)模的度量
9.2.2成本估算技術(shù)
9.2.3中間COCOMO
9.2.4COCOMOII

9.2.5跟蹤周期和成本估算
9.3軟件項目管理計劃的組成
9.4軟件項目管理計劃框架
9.5IEEE軟件項目管理計劃
9.6計劃測試
9.7計劃面向?qū)ο蟮捻椖?
9.8培訓需求
9.9文檔標準
9.10用于計劃和估算的CASE工具
9.11測試軟件項目管理計劃
本章回顧
進一步閱讀指導
習題
參考文獻
第二部分軟件生命周期的各個工作流
第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對應(yīng)用領(lǐng)域的初始理解：MSG基金實例研究
10.7初始業(yè)務(wù)模型：MSG基金實例研究
10.8初始需求：MSG基金實例研究
10.9繼續(xù)需求流：MSG基金實例研究
10.10修訂需求：MSG基金實例研究
10.11測試流：MSG基金實例研究
10.12傳統(tǒng)的需求階段
10.13快速原型開發(fā)
10.14人的因素
10.15重用快速原型
10.16需求流的CASE工具
10.17需求流的度量
10.18需求流面臨的挑戰(zhàn)
本章回顧
進一步閱讀指導
習題
參考文獻
第11章 傳統(tǒng)的分析
11.1規(guī)格說明文檔
11.2非形式化規(guī)格說明
11.3結(jié)構(gòu)化系統(tǒng)分析
11.4結(jié)構(gòu)化系統(tǒng)分析：MSG基金實例研究
11.5其他半形式化技術(shù)
11.6建造實體-關(guān)系模型
11.7有窮狀態(tài)機
11.8Petri網(wǎng)

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

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

14.14代碼走查和審查
14.15單元測試技術(shù)的比較
14.16凈室
14.17測試對象時潛在的問題
14.18單元測試的管理方面
14.19何時該重寫而不是調(diào)試代碼制品
14.20集成測試
14.21產(chǎn)品測試
14.22驗收測試
14.23測試流：MSG基金實例研究
14.24實現(xiàn)的CASE工具
14.24.1軟件開發(fā)全過程的CASE工具
14.24.2集成化開發(fā)環(huán)境
14.24.3商業(yè)應(yīng)用環(huán)境
14.24.4公共工具基礎(chǔ)結(jié)構(gòu)
14.24.5環(huán)境的潛在問題
14.25測試流的CASE工具
14.26實現(xiàn)流的度量
14.27實現(xiàn)流面臨的挑戰(zhàn)本章回顧
進一步閱讀指導
習題
參考文獻
第15章 交付后維護
15.1開發(fā)與維護
15.2為什么交付后維護是必要的
15.3對交付后維護程序員的要求是什么
15.4交付后維護小型實例研究
15.5交付后維護的管理
15.5.1缺陷報告
15.5.2批準對產(chǎn)品的修改
15.5.3確?？删S護性
15.5.4迭代維護造成的問題
15.6面向?qū)ο筌浖木S護
15.7交付后維護技能與開發(fā)技能
15.8逆向工程
15.9交付后維護期間的測試
15.10交付后維護的CASE工具
15.11交付后維護的度量
15.12交付后維護：MSG基金實例研究
15.13交付后維護面臨的挑戰(zhàn)本章小結(jié)進一步閱讀指導習題參考文獻
第16章 UML的進一步討論
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活動圖
16.9包
16.10組件圖
16.11部署圖
16.12UML圖回顧
16.13UML和迭代
本章回顧
進一步閱讀指導
習題
參考文獻
附錄
附錄A學期項目：Osric的辦公室用具和裝飾
附錄B軟件工程資源
附錄C需求流：MSG基金實例研究
附錄D結(jié)構(gòu)化系統(tǒng)分析：MSG基金實例研究
附錄E分析流：MSG基金實例研究
附錄F軟件項目管理計劃：MSG基金實例研究
附錄G設(shè)計流：MSG基金實例研究
附錄H實現(xiàn)流：MSG基金實例研究(C++版)
附錄I實現(xiàn)流：MSG基金實例研究(Java版)
附錄J測試流：MSG基金實例研究