軟件工程

第一篇 軟件工程與軟件過程
第1章 軟件工程 
1.1 軟件危機 
1.1.1 計算機系統(tǒng)的發(fā)展歷程 
1.1.2 軟件危機的含義 
1.1.3 產(chǎn)生軟件危機的原因 
1.1.4 消除軟件危機的途徑 
1.2 軟件工程 
1.2.1 什么是軟件工程 
1.2.2 軟件工程的基本原理 
1.2.3 軟件工程方法學 
1.3 小結(jié) 
習題 
第2章 軟件過程 
2.1 軟件生命周期的基本任務 
2.2 瀑布模型 
2.3 快速原型模型 
2.4 增量模型 
2.5 螺旋模型 
2.6 噴泉模型 
2.7 小結(jié) 
習題 
第二篇 傳統(tǒng)方法學
第3章 結(jié)構(gòu)化分析 
3.1 概述 
3.2 與用戶通信的技術(shù) 
3.2.1 訪談 
3.2.2 簡易的應用規(guī)格說明技術(shù) 
3.2.3 軟件原型 
3.3 分析建模與規(guī)格說明 
3.3.1 分析建模 
3.3.2 軟件需求規(guī)格說明 
3.4 實體—關(guān)系圖 
3.4.1 數(shù)據(jù)對象 
3.4.2 屬性 
3.4.3 關(guān)系 
3.4.4 實體—關(guān)系圖的符號 
3.5 數(shù)據(jù)流圖 
3.5.1 數(shù)據(jù)流圖符號 
3.5.2 例子 
3.5.3 命名 
3.6 狀態(tài)轉(zhuǎn)換圖 
3.7 數(shù)據(jù)字典 
3.8 小結(jié) 
習題 
第4章 結(jié)構(gòu)化設計 
4.1 結(jié)構(gòu)化設計與結(jié)構(gòu)化分析的關(guān)系 
4.2 軟件設計的概念和原理 
4.2.1 模塊化 
4.2.2 抽象 
4.2.3 逐步求精 
4.2.4 信息隱藏 
4.3 模塊獨立 
4.3.1 耦合 
4.3.2 內(nèi)聚 
4.4 啟發(fā)規(guī)則
4.4.1 改進軟件結(jié)構(gòu)提高模塊獨立性 
4.4.2 模塊規(guī)模應該適中 
4.4.3 深度、寬度、扇出和扇入都應適當 
4.4.4 模塊的作用域應該在控制域之內(nèi) 
4.4.5 力爭降低模塊接口的復雜程度 
4.4.6 設計單入口單出口的模塊 
4.4.7 模塊功能應該可以預測 
4.5 表示軟件結(jié)構(gòu)的圖形工具 
4.5.1 層次圖和HIPO圖 
4.5.2 結(jié)構(gòu)圖 
4.6 面向數(shù)據(jù)流的設計方法 
4.6.1 概念 
4.6.2 變換分析 
4.6.3 事務分析 
4.6.4 設計優(yōu)化 
4.7 人機界面設計
4.7.1 人機界面設計問題 
4.7.2 人機界面設計過程 
4.7.3 界面設計指南 
4.8 過程設計 
4.9 過程設計的工具 
4.9.1 程序流程圖 
4.9.2 盒圖(N_S圖)
4.9.3 PAD圖 
4.9.4 判定表
4.9.5 判定樹
4.9.6 過程設計語言(PDL) 
4.10 面向數(shù)據(jù)結(jié)構(gòu)的設計方法 
4.10.1 Jackson圖 
4.10.2 改進的Jackson圖 
4.10.3 Jackson方法 
4.11 小結(jié) 
習題 
第5章 結(jié)構(gòu)化實現(xiàn) 
5.1 編碼 
5.1.1 選擇程序設計語言 
5.1.2 編碼風格 
5.2 軟件測試基礎
5.2.1 測試目標 
5.2.2 黑盒測試和白盒測試 
5.2.3 測試準則 
5.2.4 流圖 
5.3 邏輯覆蓋
5.4 控制結(jié)構(gòu)測試 
5.4.1 基本路徑測試
5.4.2 條件測試
5.4.3 數(shù)據(jù)流測試 
5.4.4 循環(huán)測試 
5.5 黑盒測試技術(shù)
5.5.1 等價劃分 
5.5.2 邊界值分析
5.5.3 錯誤推測 
5.6 測試策略 
5.6.1 測試步驟
5.6.2 單元測試
5.6.3 集成測試
5.6.4 確認測試
5.7 調(diào)試 
5.7.1 調(diào)試過程 
5.7.2 調(diào)試途徑 
5.8 軟件可靠性 
5.8.1 基本概念 
5.8.2 估算平均無故障時間的方法 
5.9 小結(jié) 
習題 
第三篇 面向?qū)ο蠓椒▽W
第6章 面向?qū)ο蟮母拍钆c模型 
6.1 面向?qū)ο蠓椒▽W概述 
6.2 面向?qū)ο蠓椒▽W的主要優(yōu)點 
6.3 面向?qū)ο蟮母拍?nbsp;
6.3.1 對象 
6.3.2 其他概念 
6.4 面向?qū)ο蠼?br />6.5 對象模型 
6.5.1 表示類—&—對象的圖形符號 
6.5.2 表示結(jié)構(gòu)的圖形符號 
6.5.3 對象模型之例 
6.6 動態(tài)模型 
6.6.1 概念 
6.6.2 符號 
6.7 功能模型
6.7.1 表示方法 
6.7.2 三種模型之間的關(guān)系 
6.8 小結(jié) 
習題 
第7章 面向?qū)ο蠓治?nbsp;
7.1 分析過程 
7.1.1 概述 
7.1.2 三個子模型與五個層次 
7.2 需求陳述 
7.2.1 書寫要點
7.2.2 例子 
7.3 建立對象模型 
7.3.1 確定類—&—對象 
7.3.2 確定關(guān)聯(lián) 
7.3.3 劃分主題 
7.3.4 確定屬性 
7.3.5 識別繼承關(guān)系 
7.3.6 反復修改 
7.4 建立動態(tài)模型
7.4.1 編寫腳本 
7.4.2 設想用戶界面 
7.4.3 畫事件跟蹤圖 
7.4.4 畫狀態(tài)圖 
7.4.5 審查動態(tài)模型 
7.5 建立功能模型 
7.5.1 畫出基本系統(tǒng)模型圖 
7.5.2 畫出功能級數(shù)據(jù)流圖 
7.5.3 描述處理框功能 
7.6 定義服務 
7.6.1 常規(guī)行為
7.6.2 從事件導出的操作 
7.6.3 與數(shù)據(jù)流圖中處理框?qū)牟僮?nbsp;
7.6.4 利用繼承減少冗余操作 
7.7 面向?qū)ο蠓治鰧嵗?nbsp;
7.7.1 需求陳述 
7.7.2 建立對象模型 
7.7.3 建立動態(tài)模型 
7.7.4 建立功能模型 
7.7.5 進一步完善 
7.8 小結(jié) 
習題 
第8章 面向?qū)ο笤O計 
8.1 面向?qū)ο笤O計的準則 
8.1.1 模塊化 
8.1.2 抽象 
8.1.3 信息隱藏 
8.1.4 弱耦合 
8.1.5 強內(nèi)聚 
8.1.6 可重用 
8.2 啟發(fā)規(guī)則 
8.2.1 設計結(jié)果應該清晰易懂 
8.2.2 一般—特殊結(jié)構(gòu)的深度應適當 
8.2.3 設計簡單的類 
8.2.4 使用簡單的協(xié)議
8.2.5 使用簡單的服務
8.2.6 把設計變動減至最小 
8.3 系統(tǒng)分解 
8.3.1 子系統(tǒng)之間的兩種交互方式 
8.3.2 組織系統(tǒng)的兩種方案 
8.3.3 設計系統(tǒng)的拓撲結(jié)構(gòu) 
8.4 設計問題域子系統(tǒng) 
8.4.1 調(diào)整需求 
8.4.2 重用已有的類 
8.4.3 把問題域類組合在一起 
8.4.4 增添一般化類以建立協(xié)議
8.4.5 ATM系統(tǒng)之例 
8.5 設計人-機交互子系統(tǒng) 
8.5.1 設計人-機交互界面的準則 
8.5.2 設計人-機交互子系統(tǒng)的策略 
8.6 設計任務管理子系統(tǒng) 
8.6.1 分析并發(fā)性 
8.6.2 設計任務管理子系統(tǒng) 
8.7 設計數(shù)據(jù)管理子系統(tǒng) 
8.7.1 選擇數(shù)據(jù)存儲管理模式 
8.7.2 設計數(shù)據(jù)管理子系統(tǒng) 
8.7.3 例子 
8.8 設計類中的服務 
8.8.1 確定類中應有的服務 
8.8.2 設計實現(xiàn)服務的方法 
8.9 設計關(guān)聯(lián) 
8.9.1 關(guān)聯(lián)的遍歷 
8.9.2 實現(xiàn)單向關(guān)聯(lián)
8.9.3 實現(xiàn)雙向關(guān)聯(lián)
8.9.4 鏈屬性的實現(xiàn)
8.10 設計優(yōu)化 
8.10.1 確定優(yōu)先級 
8.10.2 提高效率的幾項技術(shù) 
8.10.3 調(diào)整繼承關(guān)系 
8.11 面向?qū)ο蠓治雠c設計實例 
8.11.1 面向?qū)ο蠓治?nbsp;
8.11.2 面向?qū)ο笤O計 
8.12 小結(jié) 
習題 
第9章 面向?qū)ο髮崿F(xiàn) 
9.1 程序設計語言 
9.1.1 面向?qū)ο笳Z言的優(yōu)點 
9.1.2 面向?qū)ο笳Z言的技術(shù)特點 
9.1.3 選擇面向?qū)ο笳Z言
9.2 程序設計風格 
9.2.1 提高可重用性
9.2.2 提高可擴充性
9.2.3 提高健壯性 
9.3 測試策略 
9.3.1 面向?qū)ο蟮膯卧獪y試 
9.3.2 面向?qū)ο蟮募蓽y試 
9.3.3 面向?qū)ο蟮拇_認測試 
9.4 設計測試用例 
9.4.1 測試類的方法
9.4.2 集成測試方法
9.5 小結(jié) 
習題 
第四篇 軟件項目管理
第10章 計劃 
10.1 度量軟件規(guī)模 
10.1.1 代碼行技術(shù) 
10.1.2 功能點技術(shù) 
10.2 工作量估算 
10.2.1 靜態(tài)單變量模型 
10.2.2 動態(tài)多變量模型 
10.2.3 COCOMO模型 
10.3 進度計劃 
10.3.1 基本原則
10.3.2 Gantt圖 
10.3.3 工程網(wǎng)絡
10.3.4 估算進度
10.3.5 關(guān)鍵路徑
10.3.6 機動時間
10.4 小結(jié) 
習題 
第11章 組織 
11.1 民主制程序員組 
11.2 主程序員組 
11.3 現(xiàn)代程序員組
11.4 軟件項目組 
11.4.1 三種組織方式 
11.4.2 四種組織范型 
11.5 小結(jié) 
習題 
第12章 控制 
12.1 風險管理 
12.1.1 軟件風險分類 
12.1.2 風險識別 
12.1.3 風險預測 
12.1.4 處理風險的策略 
12.2 質(zhì)量保證 
12.2.1 軟件質(zhì)量
12.2.2 軟件質(zhì)量保證措施 
12.3 配置管理 
12.3.1 軟件配置
12.3.2 軟件配置管理過程 
12.4 小結(jié) 
習題 
第13章 國際標準 
13.1 IEEE 1058.1軟件項目管理計劃標準 
13.1.1 軟件項目管理計劃的組成 
13.1.2 IEEE軟件項目管理計劃 
13.2 ISO9000質(zhì)量標準 
13.2.1 基本思想 
13.2.2 ISO9000-3標準 
13.3 ISO/IEC 12207軟件生命周期過程標準 
13.3.1 概述 
13.3.2 軟件生命周期過程 
13.4 ISO/IEC TR 15504軟件過程評估標準 
13.4.1 概述 
13.4.2 標準的結(jié)構(gòu) 
13.5 能力成熟度模型
13.5.1 能力成熟度模型的結(jié)構(gòu) 
13.5.2 能力成熟度等級 
13.5.3 關(guān)鍵過程域 
13.5.4 應用CMM 
13.6 小結(jié) 
習題 
第五篇 高級課題
第14章 形式化方法 
14.1 概述 
14.1.1 非形式化方法的缺點 
14.1.2 軟件開發(fā)過程中的數(shù)學
14.1.3 應用形式化方法的準則
14.2 有窮狀態(tài)機 
14.2.1 基本概念 
14.2.2 電梯問題 
14.2.3 評論 
14.3 Petri網(wǎng)
14.3.1 基本概念 
14.3.2 應用實例 
14.4 Z語言 
14.4.1 簡介
14.4.2 評論
14.5 小結(jié) 
習題 
第15章 統(tǒng)一建模語言 
15.1 概述 
15.1.1 UML的產(chǎn)生和發(fā)展 
15.1.2 UML的結(jié)構(gòu) 
15.1.3 UML的圖 
15.1.4 UML的應用領(lǐng)域 
15.2 靜態(tài)建模機制 
15.2.1 用例圖 
15.2.2 類圖和對象圖 
15.3 動態(tài)建模機制 
15.3.1 消息 
15.3.2 狀態(tài)圖
15.3.3 順序圖
15.3.4 協(xié)作圖
15.3.5 活動圖
15.4 描述物理架構(gòu)的機制 
15.4.1 邏輯架構(gòu)和物理架構(gòu)
15.4.2 構(gòu)件圖 
15.4.3 配置圖 
15.5 使用和擴展UML 
15.5.1 使用UML的準則
15.5.2 擴展UML的機制
15.6 小結(jié) 
習題 
第16章 軟件重用 
16.1 可重用的軟件成分 
16.2 軟件重用過程 
16.2.1 構(gòu)件組裝模型
16.2.2 類構(gòu)件 
16.2.3 重用過程模型 
16.3 領(lǐng)域工程 
16.3.1 分析過程
16.3.2 領(lǐng)域特征
16.3.3 結(jié)構(gòu)建模和結(jié)構(gòu)點 
16.4 開發(fā)可重用的構(gòu)件 
16.4.1 為了重用的分析與設計 
16.4.2 基于構(gòu)件的開發(fā) 
16.5 分類和檢索構(gòu)件 
16.5.1 描述可重用的構(gòu)件 
16.5.2 重用環(huán)境 
16.6 軟件重用的效益 
16.7 小結(jié) 
習題 
參考文獻