現(xiàn)代軟件工程

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