軟件工程導(dǎo)論

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