軟件工程導(dǎo)論（第四版）

第一版前言
修訂版（第二版）前言
第三版前言
第四版前言
第1章 軟件工程學(xué)概述
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 軟件工程的方法學(xué)
1.3 軟件生命周期
1.4 軟件過(guò)程
1.4.1 瀑布模型
1.4.2 快速原型模型
1.4.3 增量模型
1.4.4 螺旋模型
1.5 小結(jié)
習(xí)題1
第2章 可行性研究
2.1 可行性研究的任務(wù)
2.2 可行性研究過(guò)程
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.4.4 用途
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 成本分析
2.6.2 成本/效益分析的方法
2.7 小結(jié)
習(xí)題2
第3章 需求分析
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)開(kāi)發(fā)計(jì)劃
3.2 與用戶溝通獲取需求的方法
3.2.1 訪談
3.2.2 面向數(shù)據(jù)流自頂向下求精
3.2.3 簡(jiǎn)易的應(yīng)用規(guī)格說(shuō)明技術(shù)
3.2.4 快速建立軟件原型
3.3 分析建模與規(guī)格說(shuō)明
3.3.1 分析建模
3.3.2 軟件需求規(guī)格說(shuō)明
3.4 實(shí)體-聯(lián)系圖
3.4.1 數(shù)據(jù)對(duì)象
3.4.2 屬性
3.4.3 聯(lián)系
3.4.4 實(shí)體-聯(lián)系圖的符號(hào)
3.5 數(shù)據(jù)規(guī)范化
3.6 狀態(tài)轉(zhuǎn)換圖
3.6.1 狀態(tài)
3.6.2 事件
3.6.3 符號(hào)
3.6.4 例子
3.7 其他圖形工具
3.7.1 層次方框圖
3.7.2 Warnier圖
3.7.3 IPO圖
3.8 驗(yàn)證軟件需求
3.8.1 從哪些方面驗(yàn)證軟件需求的正確性
3.8.2 驗(yàn)證軟件需求的方法
3.8.3 用于需求分析的軟件工具
3.9 小結(jié)
習(xí)題3
第4章 形式化說(shuō)明技術(shù)
4.1 概述
4.1.1 非形式化方法的缺點(diǎn)
4.1.2 形式化方法的優(yōu)點(diǎn)
4.1.3 應(yīng)用形式化方法的準(zhǔn)則
4.2 有窮狀態(tài)機(jī)
4.2.1 概念
4.2.2 例子
4.2.3 評(píng)價(jià)
4.3 Petri網(wǎng)
4.3.1 概念
4.3.2 例子
4.4 Z語(yǔ)言
4.4.1 簡(jiǎn)介
4.4.2 評(píng)價(jià)
4.5 小結(jié)
習(xí)題4
第5章 總體設(shè)計(jì)
5.1 設(shè)計(jì)過(guò)程
5.2 設(shè)計(jì)原理
5.2.1 模塊化
5.2.2 抽象
5.2.3 逐步求精
5.2.4 信息隱藏和局部化
5.2.5 模塊獨(dú)立
5.3 啟發(fā)規(guī)則
5.4 描繪軟件結(jié)構(gòu)的圖形工具
5.4.1 層次圖和HIPO圖
5.4.2 結(jié)構(gòu)圖
5.5 面向數(shù)據(jù)流的設(shè)計(jì)方法
5.5.1 概念
5.5.2 變換分析
5.5.3 事務(wù)分析
5.5.4 設(shè)計(jì)優(yōu)化
5.6 小結(jié)
習(xí)題5
第6章 詳細(xì)設(shè)計(jì)
6.1 結(jié)構(gòu)程序設(shè)計(jì)
6.2 人機(jī)界面設(shè)計(jì)
6.2.1 設(shè)計(jì)問(wèn)題
6.2.2 設(shè)計(jì)過(guò)程
6.2.3 人機(jī)界面設(shè)計(jì)指南
6.3 過(guò)程設(shè)計(jì)的工具
6.3.1 程序流程圖
6.3.2 盒圖（N-S圖）
6.3.3 PAD圖
6.3.4 判定表
6.3.5 判定圖
6.3.6 過(guò)程設(shè)計(jì)語(yǔ)言
6.4 面向數(shù)據(jù)結(jié)構(gòu)的設(shè)計(jì)方法
6.4.1 Jackson圖
6.4.2 改進(jìn)的Jackson圖
6.4.3 Jackson方法
6.5 程序復(fù)雜程度的定量度量
6.5.1 McCabe方法
6.5.2 Halstead方法
6.6 小結(jié)
習(xí)題6
第7章 實(shí)現(xiàn)
7.1 編碼
7.1.1 選擇程序設(shè)計(jì)語(yǔ)言
7.1.2 編碼風(fēng)格
7.2 軟件測(cè)試基礎(chǔ)
7.2.1 軟件測(cè)試的目標(biāo)
7.2.2 軟件測(cè)試的準(zhǔn)則
7.2.3 測(cè)試方法
7.2.4 測(cè)試步驟
7.2.5 測(cè)試階段的信息流
7.3 單元測(cè)試
7.3.1 測(cè)試重點(diǎn)
7.3.2 代碼審查
7.3.3 計(jì)算機(jī)測(cè)試
7.4 集成測(cè)試
7.4.1 自頂向下集成
7.4.2 自底向下集成
7.4.3 不同集成測(cè)試策略的比較
7.4.4 回歸測(cè)試
7.5 確認(rèn)測(cè)試
7.5.1 確認(rèn)測(cè)試的范圍
7.5.2 軟件配置復(fù)查
7.5.3 Alpha和Beta測(cè)試
7.6 白盒測(cè)試技術(shù)
7.6.1 邏輯覆蓋
7.6.2 控制結(jié)構(gòu)測(cè)試
7.7 黑盒測(cè)試技術(shù)
7.7.1 等價(jià)劃分
7.7.2 邊界值分析
7.7.3 錯(cuò)誤推測(cè)
7.8 調(diào)試
7.8.1 調(diào)試過(guò)程
7.8.2 調(diào)試途徑
7.9 軟件可靠性
7.9.1 基本概念
7.9.2 估算平均無(wú)故障時(shí)間的方法
7.10 小結(jié)
習(xí)題7
第8章 維護(hù)
8.1 軟件維護(hù)的定義
8.2 軟件維護(hù)的特點(diǎn)
8.2.1 結(jié)構(gòu)化維護(hù)與非結(jié)構(gòu)化維護(hù)的差別巨大
8.2.2 維護(hù)的代價(jià)高昂
8.2.3 維護(hù)的問(wèn)題很多
8.3 軟件維護(hù)過(guò)程
8.4 軟件的可維護(hù)性
8.4.1 決定軟件可維護(hù)性的因素
8.4.2 文檔
8.4.3 可維護(hù)性復(fù)審
8.5 預(yù)防性維護(hù)
8.6 軟件再工程過(guò)程
8.7 小結(jié)
習(xí)題8
第9章 面向?qū)ο蠓椒▽W(xué)引論
9.1 面向?qū)ο蠓椒▽W(xué)概述
9.1.1 面向?qū)ο蠓椒▽W(xué)的要點(diǎn)
9.1.2 面向?qū)ο蠓椒▽W(xué)的優(yōu)點(diǎn)
9.1.3 噴泉模型
9.2 面向?qū)ο蟮母拍?br />9.2.1 對(duì)象
9.2.2 其他概念
9.3 面向?qū)ο蠼?br />9.4 對(duì)象模型
9.4.1 類圖的基本符號(hào)
9.4.2 表示關(guān)系的符號(hào)
9.5 動(dòng)態(tài)模型
9.6 功能模型
9.6.1 用例圖
9.6.2 用例建模
9.7 3種模型之間的關(guān)系
9.8 小結(jié)
習(xí)題9
第10章 面向?qū)ο蠓治?br />10.1 面向?qū)ο蠓治龅幕具^(guò)程
10.1.1 概述
10.1.2 3個(gè)子模型與5個(gè)層次
10.2 需求陳述
10.2.1 書寫要點(diǎn)
10.2.2 例子
10.3 建立對(duì)象模型
10.3.1 確定類與對(duì)象
10.3.2 確定關(guān)聯(lián)
10.3.3 劃分主題
10.3.4 確定屬性
10.3.5 識(shí)別繼承關(guān)系
10.3.6 反復(fù)修改
10.4 建立動(dòng)態(tài)模型
10.4.1 編寫腳本
10.4.2 設(shè)想用戶界面
10.4.3 畫事件跟蹤圖
10.4.4 畫狀態(tài)圖
10.4.5 審查動(dòng)態(tài)模型
10.5 建立功能
10.5.1 畫出基本系統(tǒng)模型圖
10.5.2 畫出功能級(jí)數(shù)據(jù)流圖
10.5.3 描述處理框功能
10.6 定義服務(wù)
10.7 小結(jié)
習(xí)題7
第11章 面向?qū)ο笤O(shè)計(jì)
11.1 面向?qū)ο笤O(shè)計(jì)的準(zhǔn)則
11.2 啟發(fā)規(guī)則
11.3 軟件重用
11.3.1 概述
11.3.2 類構(gòu)件
11.3.3 軟件重用的效益
11.4 系統(tǒng)分解
11.5 設(shè)計(jì)問(wèn)題域子系統(tǒng)
11.6 設(shè)計(jì)人機(jī)交互子系統(tǒng)
11.7 設(shè)計(jì)任務(wù)管理子系統(tǒng)
11.8 設(shè)計(jì)數(shù)據(jù)管理子系統(tǒng)
11.8.1 選擇數(shù)據(jù)存儲(chǔ)管理模式
11.8.2 設(shè)計(jì)數(shù)據(jù)管理子系統(tǒng)
11.8.3 例子
11.9 設(shè)計(jì)類中的服務(wù)
11.9.1 確定類中應(yīng)有的服務(wù)
11.9.2 設(shè)計(jì)實(shí)現(xiàn)服務(wù)的方法
11.10 設(shè)計(jì)關(guān)聯(lián)
11.11 設(shè)計(jì)優(yōu)化
11.11.1 確定優(yōu)先級(jí)
11.11.2 提高效率的幾項(xiàng)技術(shù)
11.11.3 調(diào)整繼承關(guān)系
11.12 小結(jié)
習(xí)題11
第12章 面向?qū)ο髮?shí)現(xiàn)
12.1 程序設(shè)計(jì)語(yǔ)言
12.1.1 面向?qū)ο笳Z(yǔ)言的優(yōu)點(diǎn)
12.1.2 面向?qū)ο笳Z(yǔ)言的技術(shù)特點(diǎn)
12.1.3 選擇面向?qū)ο笳Z(yǔ)言
12.2 程序設(shè)計(jì)風(fēng)格
12.2.1 提高可重用性
12.2.2 提高擴(kuò)充性
12.2.3 提高健壯性
12.3 測(cè)試策略
12.3.1 面向?qū)ο蟮膯卧獪y(cè)試
12.3.2 面向?qū)ο蟮募蓽y(cè)試
12.3.3 面向?qū)ο蟮拇_認(rèn)測(cè)試
12.4 設(shè)計(jì)測(cè)試用例
12.4.1 測(cè)試類的方法
12.4.2 集成測(cè)試方法
12.5 小結(jié)
習(xí)題12
第13章 軟件項(xiàng)目管理
13.1 估算軟件規(guī)模
13.1.1 代碼行技術(shù)
13.1.2 功能點(diǎn)技術(shù)
13.2 工作量估算
13.2.1 靜態(tài)單變量模型
13.2.2 動(dòng)態(tài)多變量模型
13.2.3 COCOMO2模型
13.3 進(jìn)度計(jì)劃
13.3.1 估算開(kāi)發(fā)時(shí)間
13.3.2 Gantt圖
13.3.3 工程網(wǎng)絡(luò)
13.3.4 估算工程進(jìn)度
13.3.5 關(guān)鍵路徑
13.3.6 機(jī)動(dòng)時(shí)間
13.4 人員組織
13.4.1 民主制程序員組
13.4.2 主程序員組
13.4.3 一代程序員組
13.5 質(zhì)量保證
13.5.1 軟件質(zhì)量
13.5.2 軟件質(zhì)量保證措施
13.6 軟件配置管理
13.6.1 軟件配置
13.6.2 軟件配置管理過(guò)程
13.7 能力成熟度模型
13.8 小結(jié)
習(xí)題13
附錄
附錄A C++類庫(kù)管理系統(tǒng)的分析與設(shè)計(jì)
A.1 面向?qū)ο蠓治?br />A.1.1 需求
A.1.2 建立對(duì)象模型
A.2 面向?qū)ο笤O(shè)計(jì)
A.2.1 設(shè)計(jì)類庫(kù)結(jié)構(gòu)
A.2.2 設(shè)計(jì)問(wèn)題域子系統(tǒng)
A.2.3 設(shè)計(jì)人機(jī)交互子系統(tǒng)
A.2.4 設(shè)計(jì)其他類
附錄B 一個(gè)漢字行編輯程序的設(shè)計(jì)
B.1 設(shè)計(jì)規(guī)格說(shuō)明
B.1.1 外部編輯命令
B.1.2 編輯命令
B.1.3 輸出信息
B.2 概要設(shè)計(jì)
B.2.1 正文文件
B.2.2 兩個(gè)工作模式
B.2.3 數(shù)據(jù)元素
B.2.4 過(guò)程
B.3 概要設(shè)計(jì)結(jié)果
B.4 詳細(xì)設(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 詳細(xì)設(shè)計(jì)結(jié)果
B.5.1 編輯程序的詳細(xì)結(jié)構(gòu)
B.5.2 類PASCAL偽碼
B.5.3 實(shí)現(xiàn)編輯程序的算法
參考文獻(xiàn)