現(xiàn)代軟件工程

第1章緒論
1.1軟件工程的產(chǎn)生
1.1.1軟件的特征
1.1.2軟件危機的出現(xiàn)
1.1.3軟件工程的提出
1.2軟件工程的研究對象與基本原理
1.2.1軟件工程的研究對象
1.2.2軟件工程的層次結(jié)構(gòu)
1.2.3軟件工程的基本原理
1.3　軟件開發(fā)方法
1.3.1結(jié)構(gòu)化方法
1.3.2面向?qū)ο蠓椒?br />1.3.3　形式化方法
1.3.4結(jié)構(gòu)化方法.面向?qū)ο蠓椒ê托问交椒ǖ慕Y(jié)合研究
1.4軟件工程工具和環(huán)境
1.4.1軟件工具
1.4.2　CASE集成環(huán)境
1.5軟件工程常用生存周期模型
1.5.1瀑布模型
1.5.2　快速原型化模型
1.5.3快速應用開發(fā)模型
1.5.4漸增模型
1.5.5螺旋模型
1.6軟件工程的并行工程
1.6.1簇的基本概念
1.6.2并行工程的提出
1.6.3簇的基本步驟和任務
1.6.4　簇模型與并行工程
1.6.5無縫開發(fā)和可逆性的基本概念
1.7小結(jié)
習題
第2章需求分析
2.1需求分析的目標
2.2可行性分析
2.2.1可行性分析的內(nèi)容
2.2.2可行性分析的基本步驟
2.2.3系統(tǒng)流程圖
2.3需求收集
2.3.1需求收集的內(nèi)容
2.3.2需求收集的方法
2.4需求規(guī)格說明
2.5數(shù)據(jù)流建模
2.5.1數(shù)據(jù)流圖中的常用符號
2.5.2數(shù)據(jù)流圖的用途
2.5.3數(shù)據(jù)詞典和加工說明
2.6實體-關(guān)系建模
2.6.1實體-關(guān)系圖
2.6.2基數(shù)和模態(tài)
2.6.3實體-關(guān)系圖的例子
2.7系統(tǒng)行為建模
2.7.1處理模型和控制模型的關(guān)系
2.7.2一個控制流圖的例子
2.7.3一個狀態(tài)轉(zhuǎn)移圖的例子
2.8IDEF0功能建模
2.8.1　IDEF0圖
2.8.2IDEF0建模步驟
2.8.3繪制活動圖形的注意事項
2.9　IDEFlX數(shù)據(jù)建模
2.9.1IDEF1X圖
2.9.2　IDEF1X建模步驟
2.10　面向?qū)ο蠼?br />2.10.1面向?qū)ο蠼５陌l(fā)展
2.10.2面向?qū)ο蠡A(chǔ)
2.10.3面向?qū)ο蠓治瞿Ｐ?br />2.10.4對象模型的建立
2.10.5行為模型的建立
2.10.6功能模型的建立
2.11統(tǒng)一建模語言UML
2.11.1UML的基本實體
2.11.2UML的目標
2.11.3UML的范疇
2.11.4UML圖的使用實例
2.12　小結(jié)
習題
第3章　概要設計
3.1概要設計的任務和過程
3.1.1數(shù)據(jù)設計(對象設計)
3.1.2軟件結(jié)構(gòu)設計(子系統(tǒng)設計)
3.1.3接口設計(消息設計)
3.1.4　過程設計(方法設計)
3.2軟件設計基本原則
3.2.1抽象與求精
3.2.2模塊化和信息隱藏
3.2.3　模塊獨立性
3.3面向數(shù)據(jù)流圖的設計方法
3.3.1軟件結(jié)構(gòu)的圖形表示
3.3.2　數(shù)據(jù)流分析
3.3.3事務分析
3.3.4　軟件結(jié)構(gòu)的改進
3.4面向?qū)ο蟮脑O計方法
3.4.1軟件復用
3.4.2　面向?qū)ο笤O計
3.5小結(jié)
習題
第4章　詳細設計
4.1詳細設計的目標與任務
4.1.1詳細設計的目標
4.1.2　詳細設計的任務
4.2結(jié)構(gòu)化程序的詳細設計技術(shù)與工具
4.2.1結(jié)構(gòu)化程序的詳細設計技術(shù)
4.2.2　結(jié)構(gòu)化程序的詳細設計工具
4.3　Jackson程序設計方法
4.3.1Jackson圖
4.3.2Jackson偽代碼
4.3.3Jackson程序設計方法的步驟
4.4Warnier程序設計方法
4.4.1Wariner圖
4.4.2Wariner程序設計步驟
4.5面向?qū)ο蟪绦虻脑敿氃O計
4.5.1面向?qū)ο蟪绦虻奶匦?br />4.5.2設計原則
4.6基于組件的程序設計方法
4.6.1三層應用體系結(jié)構(gòu)
4.6.2CORBA對象總線技術(shù)
4.6.3COM對象總線技術(shù)
4.6.4組件庫技術(shù)
4.7小結(jié)
習題
第5章軟件驗證技術(shù)
5.1軟件測試基礎(chǔ)
5.1.1測試觀點
5.1.2測試原則
5.1.3測試工具
5.1.4測試組織
5.1.5測試與調(diào)試
5.1.6動態(tài)測試步驟
5.2代碼復審
5.2.1代碼復審內(nèi)容
5.2.2代碼會審
5.2.3走查
5.2.4辦公桌檢查
5.3白盒測試
5.3.1邏輯覆蓋法
5.3.2基本路徑覆蓋法
5.3.3循環(huán)覆蓋法
5.4黑盒測試
5.4.1等價分類法
5.4.2邊界值分析法
5.4.3猜錯法
5.4.4因果圖法
5.5單元測試
5.5.1測試策略
5.5.2測試內(nèi)容
5.5.3測試的階段及活動
5.5.4測試軟件
5.6集成測試
5.6.1溯試內(nèi)容
5.6.2測試策略
5.6.3非漸增式測試
5.6.4漸增式測試
5.6.5回歸測試
5.7確認測試
5.7.1確認測試內(nèi)容
5.7.2α測試和β測試
5.8系統(tǒng)測試
5.8.1恢復測試
5.8.2　安全性測試
5.8.3　可用性測試
5.8.4安裝測試
5.8.5互連測試
5.9　程序正確性證明
5.9.1程序正確性定義
5.9.2　Floyd不變式斷言法
5.9.3Floyd良序集方法
5.9.4程序正確性證明的局限性
5.10調(diào)試
5.10.1調(diào)試的步驟
5.10.2調(diào)試的策略
5.10.3調(diào)試的原則
5.11小結(jié)
習題
第6章軟件質(zhì)量和軟件質(zhì)量保證體系
6.1軟件質(zhì)量
6.1.1軟件質(zhì)量特性
6.1.2　軟件質(zhì)量評價
6.1.3軟件質(zhì)量保證
6.1.4　軟件質(zhì)量管理
6.2軟件復雜性分析
6.2.1基于需求分析的復雜性分析
6.2.2基于軟件設計的復雜性分析
6.2.3基于源程序代碼的復雜性分析
6.2.4基于軟件維護的復雜性分析
6.3軟件可靠性分析
6.3.1軟件可靠性三要素
6.3.2軟件可靠性模型
6.3.3軟件可靠性工程
6.41　ISO9000軟件質(zhì)量體系
6.4.1I5O9000族國際標準
6.4.2企業(yè)軟件質(zhì)量體系的建立和實施
6.5　軟件配置管理
6.5.1軟件配置項
6.5.2軟件配置管理
6.6軟件過程能力成熟度模型簡介
6.6.1基本概念
6.6.2軟件過程能力成熟度等級
6.6.3關(guān)鍵過程域
6.6.4關(guān)鍵實踐
6.6.5軟件過程能力成熟度模型的應用
6.7小結(jié)
習題
第7章軟件維護技術(shù)
7.1軟件維護的基本概念
7.1.1軟件維護的類型
7.1.2軟件維護的策略
7.1.3軟件維護的成本
7.1.4軟件維護的副作用
7.1.5軟件維護的困難
7.2軟件維護的過程
7.2.1維護組織
7.2.2維護申請
7.2.3維護工作的流程
7.2.4維護記錄與評價
7.3軟件可維護性
7.3.1影響軟件可維護性的軟件屬性
7.3.2軟件可維護性的定量度量
7.3.3提高軟件可維護性的方法
7.4軟件再工程技術(shù)
7.4.1逆向工程
7.4.2重構(gòu)
7.4.3正向工程
7.4.4再工程的成本／效益分析
7.4.5再工程的風險分析
7.5小結(jié)
習題
第8章軟件項目計劃
8.1成本估計
8.1.1自頂向下成本估計
8.1.2自底向上成本分析
8.1.3基于經(jīng)驗模型的成本估計
8.2效益分析
8.2.1度量方法
8.2.2效益分析
8.3風險分析
8.3.1風險標識
8.3.2風險估計
8.3.3風險評價
8.3.4風險管理與監(jiān)控
8.4進度安排
8.4.1進度安排原則
8.4.2　工作量分配
8.4.3進度安排方法
8.5項目組織與計劃
8.5.1人員組織規(guī)律
8.5.2　人員組織形式
8.5.3項目計劃
8.6小結(jié)
習題