軟件工程：理論、方法與實(shí)踐

第1章 導(dǎo)論
1.1 軟件
1.1.1 軟件的發(fā)展
1.1.2 軟件的類(lèi)型
1.1.3 軟件質(zhì)量特性
1.2 軟件工程概述
1.2.1 軟件危機(jī)
1.2.2 軟件工程
1.2.3 軟件過(guò)程
1.3 軟件工程方法
1.3.1 結(jié)構(gòu)化分析和設(shè)計(jì)方法
1.3.2 面向?qū)ο筌浖こ谭椒?
1.3.3 用例驅(qū)動(dòng)的軟件開(kāi)發(fā)方法
1.4 CASE工具與集成化的軟件開(kāi)發(fā)環(huán)境
1.5 軟件工程知識(shí)體系
本章小結(jié)
習(xí)題
第2章 軟件過(guò)程
2.1 軟件過(guò)程概述
2.2 軟件過(guò)程模型
2.2.1 瀑布模型
2.2.2 演化式開(kāi)發(fā)模型
2.2.3 形式化變換模型
2.2.4 面向復(fù)用的開(kāi)發(fā)
2.2.5 增量開(kāi)發(fā)
2.2.6 螺旋模型
2.3 Rational統(tǒng)一過(guò)程
2.4 敏捷開(kāi)發(fā)過(guò)程
2.5 面向方面的軟件開(kāi)發(fā)
本章小結(jié)
習(xí)題
第3章 面向?qū)ο笙到y(tǒng)建模
3.1 面向?qū)ο蠡靖拍?
3.1.1 對(duì)象
3.1.2 類(lèi)
3.1.3 封裝
3.1.4 繼承
3.1.5 消息
3.1.6 關(guān)聯(lián)
3.1.7 聚合和組合
3.1.8 多態(tài)性
3.2 統(tǒng)一建模語(yǔ)言UML
3.2.1 UML的特點(diǎn)及組成
3.2.2 UML事物
3.2.3 UML關(guān)系
3.2.4 UML圖
3.3　+1視圖
3.4 軟件系統(tǒng)模型
3.4.1 上下文(Context)模型
3.4.2 體系結(jié)構(gòu)(Architectural)模型
3.4.3 數(shù)據(jù)流模型
3.4.4 數(shù)據(jù)模型
3.5 面向?qū)ο笙到y(tǒng)模型
3.5.1 對(duì)象結(jié)構(gòu)模型
3.5.2 對(duì)象行為模型
3.6 軟件建模工具Rational Rose
本章小結(jié)
習(xí)題
第4章 需求工程
4.1 軟件需求
4.1.1 用戶需求和系統(tǒng)需求
4.1.2 功能性需求和非功能性需求
4.2 需求工程過(guò)程
4.3 可行性研究
4.4 需求獲取和分析
4.4.1 用戶交流
4.4.2 基于用例的需求獲取
4.4.3 原型化方法
4.4.4 需求分析
4.5 需求定義
4.5.1 需求描述方式
4.5.2 軟件需求規(guī)格說(shuō)明
4.6 需求驗(yàn)證
4.7 案例
本章小結(jié)
習(xí)題
第5章 面向?qū)ο蟮姆治?
5.1 面向?qū)ο蠓治龅母拍?
5.1.1 分析類(lèi)
5.1.2 用例實(shí)現(xiàn)
5.1.3 分析包
5.1.4 分析模型
5.2 基于UML的需求分析
5.2.1 確定分析類(lèi)
5.2.2 建模分析對(duì)象間的交互
5.2.3 構(gòu)建分析類(lèi)圖
5.3 案例
本章小結(jié)
習(xí)題
第6章 軟件設(shè)計(jì)
6.1 軟件設(shè)計(jì)過(guò)程
6.2 軟件設(shè)計(jì)原則
6.2.1 模塊化和信息隱蔽
6.2.2 內(nèi)聚和耦合
6.2.3 抽象和求精
6.2.4 復(fù)用
6.3 體系結(jié)構(gòu)設(shè)計(jì)
6.3.1 什么是體系結(jié)構(gòu)
6.3.2 體系結(jié)構(gòu)設(shè)計(jì)策略
6.3.3 管道-過(guò)濾器結(jié)構(gòu)
6.3.4 分層體系結(jié)構(gòu)
6.3.5 倉(cāng)庫(kù)系統(tǒng)結(jié)構(gòu)
6.3.6 客戶/服務(wù)器模式
6.3.7 MVC模式
6.4 控制模型
6.4.1 集中式控制
6.4.2 事件驅(qū)動(dòng)的控制
6.5 模塊分解
6.6 體系結(jié)構(gòu)設(shè)計(jì)案例
本章小結(jié)
習(xí)題
第7章 面向?qū)ο蟮脑O(shè)計(jì)
7.1 設(shè)計(jì)模型
7.2 類(lèi)的設(shè)計(jì)
7.2.1 識(shí)別設(shè)計(jì)類(lèi)
7.2.2 識(shí)別類(lèi)的方法
7.2.3 識(shí)別屬性
7.2.4 識(shí)別關(guān)聯(lián)和聚合
7.3 設(shè)計(jì)交互
7.4 接口描述
7.5 設(shè)計(jì)變更
7.6 用戶界面設(shè)計(jì)
7.6.1 用戶界面設(shè)計(jì)的原則
7.6.2 Web界面的設(shè)計(jì)
7.6.3 幫助系統(tǒng)的設(shè)計(jì)
7.7 iricher系統(tǒng)的設(shè)計(jì)
本章小結(jié)
習(xí)題
第8章 分布式系統(tǒng)體系結(jié)構(gòu)
8.1 分布式系統(tǒng)體系結(jié)構(gòu)概述
8.2 Client/Sever 結(jié)構(gòu)
8.2.1 胖客戶機(jī)和瘦客戶機(jī)模型
8.2.2 B/S模型和多層C/S模型
8.3 分布式對(duì)象體系結(jié)構(gòu)
8.3.1 RMI
8.3.2 CORBA
8.3.3 DCOM
8.4 Peer-to-Peer體系結(jié)構(gòu)
8.5 基于Web的應(yīng)用程序體系結(jié)構(gòu)
8.5.1 Web Services體系
8.5.2 Web Services協(xié)議棧
8.6 J2EE框架
本章小結(jié)
習(xí)題
第9章 面向復(fù)用的設(shè)計(jì)
9.1 軟件復(fù)用的概念
9.2 基于組件的開(kāi)發(fā)
9.2.1 組件
9.2.2 組件模型
9.2.3 中間件
9.2.4 基于組件的軟件工程過(guò)程
9.2.5 企業(yè)應(yīng)用系統(tǒng)集成(EAI)
9.3 設(shè)計(jì)模式
9.3.1 設(shè)計(jì)模式概念
9.3.2 Composite模式
9.3.3 Abstract Factory模式
9.3.4 Chain of Responsibility模式
本章小結(jié)
習(xí)題
第10章 形式化方法
10.1 軟件過(guò)程中的形式化描述
10.1.1 對(duì)象類(lèi)的描述
10.1.2 行為描述
10.1.3 模型檢查
10.2 Z語(yǔ)言
10.2.1 Z語(yǔ)言語(yǔ)法簡(jiǎn)介
10.2.2 Z語(yǔ)言示例
10.3 Petri 網(wǎng)
10.3.1 Petri網(wǎng)定義
10.3.2 Petri網(wǎng)示例
本章小結(jié)
習(xí)題
第11章 軟件實(shí)現(xiàn)
11.1 程序設(shè)計(jì)語(yǔ)言
11.1.1 程序設(shè)計(jì)語(yǔ)言的特性
11.1.2 程序設(shè)計(jì)語(yǔ)言的選擇
11.2 編碼風(fēng)格
11.2.1 命名
11.2.2 注釋
11.2.3 源代碼版式
11.2.4 異常處理
11.3 程序的效率
本章小結(jié)
習(xí)題
第12章 軟件驗(yàn)證和確認(rèn)
12.1 驗(yàn)證和確認(rèn)
12.2 軟件審查
12.2.1 程序?qū)彶?
12.2.2 自動(dòng)靜態(tài)分析
12.3 軟件測(cè)試
12.3.1 軟件測(cè)試的目的和原則
12.3.2 單元測(cè)試
12.3.3 集成測(cè)試
12.3.4 系統(tǒng)測(cè)試
12.3.5 確認(rèn)測(cè)試
12.4 軟件測(cè)試方法
12.4.1 白盒測(cè)試方法
12.4.2 黑盒測(cè)試方法
12.5 面向?qū)ο蟮臏y(cè)試
12.5.1 對(duì)象類(lèi)的測(cè)試
12.5.2 對(duì)象集成測(cè)試
12.6 IBM Rational Functional Tester
本章小結(jié)
習(xí)題
第13章 軟件演化
13.1 軟件演化的動(dòng)態(tài)特性
13.1.1 軟件的本質(zhì)特性
13.1.2 遺留系統(tǒng)問(wèn)題
13.2 軟件維護(hù)
13.2.1 軟件維護(hù)內(nèi)容
13.2.2 軟件維護(hù)過(guò)程
13.3 軟件再工程
13.3.1 再工程活動(dòng)
13.3.2 源代碼轉(zhuǎn)換
13.3.3 逆向工程
13.3.4 程序結(jié)構(gòu)改善
13.3.5 程序模塊化
13.3.6 數(shù)據(jù)再工程
本章小結(jié)
習(xí)題
第14章 軟件計(jì)劃管理
14.1 軟件項(xiàng)目管理
14.1.1 軟件項(xiàng)目的特點(diǎn)
14.1.2 軟件項(xiàng)目管理活動(dòng)
14.1.3 軟件計(jì)劃和進(jìn)度安排
14.2 成本估算
14.2.1 軟件規(guī)模估算
14.2.2 軟件成本估算方法
14.2.3 專(zhuān)家判定技術(shù)
14.2.4 COCOMO模型
14.2.5 面向?qū)ο箜?xiàng)目的估算
14.3 軟件配置管理
14.3.1 基線和配置項(xiàng)
14.3.2 軟件配置活動(dòng)
14.4 IBM Rational 軟件配置管理工具
本章小結(jié)
習(xí)題
第15章 軟件過(guò)程改善
15.1 軟件過(guò)程類(lèi)型
15.2 過(guò)程改善活動(dòng)
15.2.1 過(guò)程改善
15.2.2 過(guò)程分析和建模
15.3 能力成熟度模型CMM
15.3.1 CMM成熟度等級(jí)
15.3.2 關(guān)鍵過(guò)程域
本章小結(jié)
習(xí)題
第16章 凈室軟件工程
16.1 凈室方法基礎(chǔ)
16.1.1 函數(shù)理論
16.1.2 統(tǒng)計(jì)理論
16.1.3 凈室開(kāi)發(fā)小組活動(dòng)
16.2 凈室技術(shù)
16.2.1 基于統(tǒng)計(jì)過(guò)程控制下的增量開(kāi)發(fā)
16.2.2 基于函數(shù)的定義(Specification)、設(shè)計(jì)和驗(yàn)證
16.2.3 統(tǒng)計(jì)測(cè)試和軟件認(rèn)證
16.3 盒子行為和結(jié)構(gòu)
16.3.1 黑盒行為
16.3.2 狀態(tài)盒行為
16.3.3 明盒行為
16.3.4 盒子結(jié)構(gòu)層次
16.3.5 盒子結(jié)構(gòu)的開(kāi)發(fā)過(guò)程
本章小結(jié)
習(xí)題
參考文獻(xiàn)