軟件工程導論

前言　
修訂版前言
第一章　概論
1.1　軟件危機
1.1.1　什么是軟件危機
1.1.2　產(chǎn)生軟件危機的原因
1.1.3　解決軟件危機的途徑
1.2　軟件工程
1.2.1　問題定義
1.2.2　可行性研究
1.2.3　需求分析
1.2.4　總體設計
1.2.5　詳細設計
1.2.6　編碼和單元測試
1.2.7　綜合測試
1.2.8　軟件維護
1.3　技術審查和管理復審
1.3.1　進行審查和復審的必要性
1.3.2　技術審查的標準和方法
1.4　小結
習題一
第二章　可行性研究
2.1　可行性研究的任務
2.2　可行性研究的步驟
2.2.1　復查系統(tǒng)規(guī)模的目標
2.2.2　研究目前正在使用的系統(tǒng)
2.2.3　導出新系統(tǒng)的高層邏輯模型
2.2.4　重新定義問題
2.2.5　導出和評價供選擇的解法
2.2.6　推薦行動方針
2.2.7　草擬開發(fā)計劃
2.2.8　書寫文檔提交審查
2.3　系統(tǒng)流程圖
2.3.1　符號
2.3.2　例子
2.3.3　分層
2.4　數(shù)據(jù)流圖
2.4.1　符號
2.4.2　例子
2.4.3　用途
2.5　數(shù)據(jù)字典
2.5.1　數(shù)據(jù)字典的內(nèi)容
2.5.2　定義數(shù)據(jù)的方法
2.5.3　數(shù)據(jù)字典的用途
2.5.4　數(shù)據(jù)字典的實現(xiàn)
2.6　成本／效益分析
2.6.1　成本估計
2.6.2　成本／效益分析的方法
2.7　小結　
習題二
第三章　需求分析
3.1　需求分析的任務
3.1.1　確定對系統(tǒng)的綜合要求
3.1.2　分析系統(tǒng)的數(shù)據(jù)要求
3.1.3　導出系統(tǒng)的邏輯模型
3.1.4　修正系統(tǒng)開發(fā)計劃
3.1.5　開發(fā)原形系統(tǒng)
3.2　分析過程
3.2.1　沿數(shù)據(jù)流圖回溯
3.2.2　用戶復查
3.2.3　細化數(shù)據(jù)流圖
3.2.4　修正開發(fā)計劃
3.2.5　書寫文檔
3.2.6　審查和復審
3.3　圖形工具
3.3.1　層次方框圖
3.3.2　Warnier圖
3.3.3　ＩＰＯ圖
3.4　驗證軟件需求
3.4.1　從哪些方面驗證軟件需求的正確性
3.4.2　用于需求分析的軟件工具
3.4.3　超高級語言
3.5　原型法
3.5.1　支持原型法的基本事實
3.5.2　實現(xiàn)原型的一般途徑
3.5.3　基于知識的途徑
3.6　小結
習題三
第四章　總體設計
4.1　總體設計的過程
4.1.1　設想供選擇的方案
4.1.2　選取合理的方案
4.1.3　推薦最佳方案
4.1.4　功能分解
4.1.5　設計軟件結構
4.1.6　數(shù)據(jù)庫設計
4.1.7　制定測試計劃
4.1.8　書寫文檔
4.1.9　審查和復審
4.2　軟件設計的概念和原理
4.2.1　模塊化
4.2.2　抽象
4.2.3　信息隱藏和局部化
4.2.4　模塊獨立
4.3　啟發(fā)式規(guī)則
4.3.1　改進軟件結構的高模塊獨立性
4.3.2　模塊規(guī)模應該適中
4.3.3　深度、寬度、扇區(qū)和扇入都應適當
4.3.4　模塊的作用域應該在控制域之內(nèi)
4.3.5　力爭降低模塊接口的復雜程序
4.3.6　設計單入口單出口的模塊
4.3.7　模塊功能應該可以預測
4.4　圖形工具
4.4.1　層次圖和ＨＩＰＯ圖
4.4.2　結構圖
4.5　面向數(shù)據(jù)流的設計方法
4.5.1　概念
4.5.2　變換分析　
4.5.3　事務分析
4.5.4　設計優(yōu)化
4.6　小結
習題四
第五章　詳細設計
5.1　結構程序設計
5.2　詳細設計的工具
5.2.1　程序流程圖
5.2.2　盒圖（Ｎ－Ｓ圖）
5.2.3?。校粒膱D
5.2.4　判定表
5.2.5　判定樹
5.2.6　過程設計語言（ＰＤＬ）
5.2.7　模塊開發(fā)文件夾
5.3　Jackson程序設計方法
5.3.1　Jackson圖
5.3.2　改進的Jackson圖
5.3.3　Jackson方法
5.4　Warnier程序設計方法
5.4.1　Warnier方法
5.4.2　Warnier方法的輔助技術
5.5　程序復雜程度的定量度量
5.5.1　McCabe方法
5.5.2　Halstead方法
5.6　小結
習題五
第六章　軟件藍圖
6.1　軟件藍圖方法論
6.1.1　對軟件藍圖的要求
6.1.2　三級設計
6.1.3　藍圖語言
6.1.4　藍圖的書寫風格
6.2　軟件藍圖的構成
6.2.1　直接描述數(shù)據(jù)
6.2.2　高級數(shù)據(jù)運算符
6.2.3　豐富靈活的控制操作
6.2.4　顯式描述軟件結構
6.3　詞法掃描程序的規(guī)格說明
6.3.1　輸入串
6.3.2　輸出串
6.3.3　掃描程序的語法
6.4　詞法掃描程序的Ａ級設計
6.4.1　選取數(shù)據(jù)元素設計數(shù)據(jù)流
6.4.2　設計控制流
6.4.3　劃分模塊
6.4.4　定義模塊
6.4.5　書寫Ａ級藍圖
6.5　詞法掃描程序的Ｂ級藍圖
6.5.1　精化數(shù)據(jù)流
6.5.2　組織模塊
6.5.3　構造過程訪問結構
6.5.4　書寫Ｂ級藍圖
6.6　詞法掃描程序的Ｃ級藍圖
6.6.1　選取更多數(shù)據(jù)元素
6.6.2　詳細描述數(shù)據(jù)流
6.6.3　構造其他訪問結構
6.6.4　書寫Ｃ級藍圖
6.7　小結
習題六
第七章　編碼
7.1　程序設計語言
7.1.1　程序設計語言分類　
7.1.2　程序設計語言的特點
7.1.3　選擇一種語言
7.2　程序設計途徑
7.2.1　寫程序的風格
7.2.2　程序設計方法論
7.2.3　程序設計自動化
7.2.4　程序設計工具　
7.3　小結
習題七　
第八章　測試
8.1　基本概念
8.1.1　軟件測試的目標
8.1.2　黑盒測試和白盒測試
8.1.3　軟件測試的步驟
8.1.4　測試階段的信息流
8.2　單元測試
8.2.1　單元測試考慮
8.2.2　單元測試過程
8.3　集成測試
8.3.1　自頂向下結合
8.3.2　自底向上結合
8.3.3　不同集成測試策略的比較
8.4　驗收測試
8.4.1　驗收測試的范圍
8.4.2　軟件配置復查
8.5　設計測試方案
8.5.1　邏輯覆蓋
8.5.2　等價劃分
8.5.3　邊界值分析
8.5.4　錯誤推測
8.5.5　實用測試策略
8.6　調(diào)試
8.6.1　調(diào)試技術
8.6.2　調(diào)試策略
8.7　軟件可靠性
8.7.1　基本概念
8.7.2　估算平均無故障時間的方法
8.7.3　程序正確性證明
8.8　日立預測法
8.8.1　測試完成率模型
8.8.2　錯誤發(fā)現(xiàn)率模型
8.8.3　使用日立測法的步驟
8.9　自動測試工具
8.9.1　測試數(shù)據(jù)生成程序
8.9.2　動態(tài)分析程序
8.9.3　靜態(tài)分析程序
8.9.4　文件比較程序
8.10　小結
習題八
第九章　維護
9.1　軟件維護的定義
9.2　維護的特點
9.2.1　結構化維護與非結構化維護的對比
9.2.2　　維護的代價
9.2.3　維護的問題
9.3　維護過程
9.3.1　維護組織
9.3.2　維護報告
9.3.3　維護的事件流
9.3.4　保存維護記錄
9.3.5　評價維護活動
9.4　可維護性
9.4.1　訣定軟件可維護性的因素
9.4.2　文檔
9.4.3　可維護性復審
9.5　軟件再用
9.5.1　概念
9.5.2　面向?qū)ο蟮某绦蛟O計語言
9.6　軟件再用實例介紹
9.6.1　應用軟件生成系統(tǒng)
9.6.2　Demeter系統(tǒng)
9.7　小結
習題九
第十章　管理技術
10.1　成本估計
10.1.1　參數(shù)方程
10.1.2　標準值法
10.1.3?。茫希茫希停夏Ｐ?br />10.2　進度計劃
10.2.1　Gantt圖（橫道圖）
10.2.2　工程網(wǎng)絡
10.2.3　估算進度
10.2.4　關鍵路徑
10.2.5　機動時間
10.3　人員組織
10.3.1　程序設計小組的組織
10.3.2　主程序員組
10.4　質(zhì)量保證
10.4.1　軟件質(zhì)量
10.4.2　質(zhì)量保證
10.5　項目計劃
10.5.1　項目計劃的內(nèi)容
10.5.2　項目報告
10.5.3　變動控制
10.6　軟件管理工具
10.7　小結
習題十
附錄Ａ　軟件設計語言ＳＤＬ－１的語法
附錄Ｂ　一個漢字行編輯程序的設計
B.1　設計規(guī)格說明
B.1.1　外部編輯命令
B.1.2　編輯命令
B.1.3　輸出信息
B.2?。良壴O計
B.2.1　正文文件
B.2.2　兩個工作模式
B.2.3　數(shù)據(jù)元素
B.2.4　過程
B.3?。良壦{圖
B.4　Ｃ級設計
B.4.1　數(shù)據(jù)元素
B.4.2　控制數(shù)據(jù)元素
B.4.3　編輯過程
B.4.4　輸入模式的過程
B.4.5　編輯模式的過程
B.5?。眉壦{圖
參考文獻