軟件工程：理論、方法與實踐

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