軟件工程及實踐

第 0 章 軟件工程教學(xué)方案
第一部分 軟件工程基本教程
第 1章 軟件工程概述
1.1 關(guān)于軟件
1.1.1軟件及其特性
1.1.2軟件的演化
1.1.3軟件危機
【案例1.1】倫敦救護服務(wù)系統(tǒng)
1.2 軟件工程
1.2.1 軟件工程基本原理
1.2.2 軟件工程基本原則
1.2.3 軟件危機的解決途徑
1.3 軟件工程基本活動
1.4 軟件工程兩大范型
1.4.1 結(jié)構(gòu)化范型
1.4.2 面向?qū)ο蠓缎?
1.5 小結(jié)
習(xí)題
第2章 軟件過程及其模型
2.1 軟件過程概述
2.1.1 軟件過程框架
2.1.2 軟件過程模型
2.2 軟件生命周期
2.2.1 什么是軟件生命周期？
2.2.2 軟件生命周期階段
2.3 敏捷軟件過程
2.3.1 敏捷軟件過程
2.3.2 極限編程
2.3.3 結(jié)對編程
2.3.4 分布式結(jié)對編程
2.4 軟件工程實踐
2.4.1 概念與原則
2.4.2 軟件工程實踐
2.5 軟件過程模型
2.5.1 傳統(tǒng)的軟件過程模型
2.5.2 面向?qū)ο筮^程模型
2.6 能力成熟度模型
2.6.1 什么是能力成熟度模型？
2.6.2 軟件過程成熟度5級模型
2.7 小結(jié)
習(xí)題
第 3章 軟件需求分析
3.1 關(guān)于軟件需求
3.1.1 功能需求
3.1.2 非功能需求
3.1.3 業(yè)務(wù)需求
【案例3.1】基于終端的短信系統(tǒng)
3.2 需求分析過程
3.3 非形式化分析技術(shù)
3.3.1 會談
3.3.2 場景分析
3.3.3 調(diào)查表
【案例3.2】ATM機“取款”場景描述
3.4 結(jié)構(gòu)化分析建模
3.4.1結(jié)構(gòu)化需求分析
3.4.2 結(jié)構(gòu)化分析模型
3.4.3 面向數(shù)據(jù)的建模方法
【案例3.3】圖書館管理系統(tǒng)實體關(guān)系模型
【案例3.4】POS機系統(tǒng)
3.4.4 面向數(shù)據(jù)流的建模方法
【案例3.5】訂貨系統(tǒng)數(shù)據(jù)流圖
【案例3.6】電子表系統(tǒng)的狀態(tài)圖
【案例3.7】圖書館管理系統(tǒng)的分析模型
3.5 面向?qū)ο蠓治鼋?
3.5.1 面向?qū)ο蟾拍?
3.5.2 UML統(tǒng)一建模語言
3.5.3 用例建模
【案例3.8】POS機系統(tǒng)用例描述
3.5.4 業(yè)務(wù)建模
【案例3.9】POS機系統(tǒng)業(yè)務(wù)分析
3.5.5 系統(tǒng)行為建模
【案例3.10】POS機系統(tǒng)完整的對象分析
3.6 小結(jié)
習(xí)題
第 4章 軟件設(shè)計
4.1 軟件設(shè)計概述
4.1.1 軟件設(shè)計過程
4.1.2 軟件設(shè)計文檔
4.2 模塊化設(shè)計原理
4.2.1 模塊化
4.2.2 抽象
4.2.3 信息隱蔽
4.2.4 模塊獨立性度量
4.2.5 逐步求精
4.2.6 重構(gòu)
4.3 軟件結(jié)構(gòu)
4.4 軟件體系結(jié)構(gòu)模型
4.4.1 系統(tǒng)構(gòu)成模型
4.4.2 系統(tǒng)控制模型
4.5 結(jié)構(gòu)化軟件設(shè)計
4.5.1 面向數(shù)據(jù)流的設(shè)計方法
【案例4.1】統(tǒng)計文件中單詞數(shù)目的數(shù)據(jù)流設(shè)計
【案例4.2】ATM自動柜員機事務(wù)流設(shè)計
【案例4.3】公司的銷售管理系統(tǒng)設(shè)計
4.5.2 面向數(shù)據(jù)結(jié)構(gòu)的設(shè)計
【案例4.4】統(tǒng)計文件空格數(shù)和輸出統(tǒng)計
【案例4.5】圖書館管理系統(tǒng)設(shè)計
4.6 面向?qū)ο蟮脑O(shè)計
4.6.1 面向?qū)ο笤O(shè)計過程
4.6.2 設(shè)計模式
【案例4.6】POS機系統(tǒng)面向?qū)ο笤O(shè)計
4.7 小結(jié)
習(xí)題
第 5章 軟件詳細設(shè)計
5.1 結(jié)構(gòu)化詳細設(shè)計
5.2 結(jié)構(gòu)化設(shè)計工具
5.2.1 程序流程圖
5.2.2 N-S圖
5.2.3 PAD圖
5.2.4 HIPO圖
【案例5.1】盤存／銷售系統(tǒng)的HIPO圖
5.2.5 判定表與判定樹
【案例5.2】確定保險類別
5.2.6 過程描述語言
【案例5.3】統(tǒng)計單詞數(shù)目
5.3 人機界面設(shè)計
5.3.1 界面分析與設(shè)計
5.3.2 界面設(shè)計步驟
5.3.3 界面設(shè)計指南
【案例5.4】CAD系統(tǒng)中繪制圓弧的操作命令序列設(shè)計
5.4 數(shù)據(jù)庫設(shè)計
5.5 面向?qū)ο缶O(shè)計
5.5.1 設(shè)計模型精化
5.5.2邏輯架構(gòu)精化
5.5.3包設(shè)計
5.4.4 精化交互圖
5.5.5 精化類圖
【案例5.5】ATM機系統(tǒng)精華設(shè)計
5.6 編碼
5.6.1 編碼語言
5.6.2 編碼風(fēng)格
【案例5.6】POS機系統(tǒng)詳細設(shè)計
5.7 小結(jié)
習(xí)題
第 6章 面向?qū)ο笈c統(tǒng)一軟件開發(fā)過程
6.1 概述
6.2 用況驅(qū)動過程
【案例6.1】ATM機系統(tǒng)用況模型
6.3 構(gòu)架描述
【案例6.2】ATM機系統(tǒng)構(gòu)架設(shè)計
6.4 迭代的增量開發(fā)過程
6.5 核心工作流
6.5.1 需求捕獲工作流
【案例6.3】電子商務(wù)交易系統(tǒng)
6.5.2 分析
【案例6.4】電子商務(wù)交易系統(tǒng)分析
6.5.3 設(shè)計
6.5.4 實現(xiàn)
6.5.5 測試
6.6 小結(jié)
習(xí)題
第 7章 軟件測試
7.1 軟件測試概述
7.1.1 軟件測試的目的
7.1.2 驗證與確認
7.1.3 軟件測試的原則
7.2 軟件測試策略
7.2.1 單元測試
7.2.2 集成測試
7.2.3 確認測試
7.2.4 系統(tǒng)測試
7.3 測試用例設(shè)計
7.4 黑盒測試技術(shù)
7.4.1 等價類劃分
【案例7.1】ATM機系統(tǒng)等價類劃分
7.4.2 邊界值分析
【案例7.2】三角形無效類測試用例設(shè)計
7.4.3 錯誤推測
7.4.4 因果圖方法
【案例7.3】自動售貨機因果圖法
7.5 白盒測試技術(shù)
7.5.1 邏輯覆蓋
【案例7.4】邏輯覆蓋測試用例設(shè)計
7.5.2 路徑覆蓋
【案例7.5】學(xué)生成績計算路徑測試用例設(shè)計
7.5.3 循環(huán)路徑測試策略
7.6 集成測試技術(shù)
7.6.1 集成策略
7.6.2 性能測試
【案例7.6】多媒體數(shù)據(jù)庫性能測試
【案例7.7】ATM取款機測試
7.7 調(diào)試技術(shù)
7.7.1 調(diào)試過程
7.7.2 調(diào)試策略
7.8 小結(jié)
習(xí)題
第 8章 軟件維護
8.1 軟件維護概述
8.1.1 軟件維護任務(wù)
8.1.2 軟件維護的特點
8.1.3 軟件的可維護性
8.2 軟件維護類型
8.3 軟件維護技術(shù)與過程
8.4 非結(jié)構(gòu)化維護和結(jié)構(gòu)化維護
8.5 提高軟件的可維護性
8.6 小結(jié)
習(xí)題
第 9章 軟件項目管理
9.1 軟件項目管理概述
9.2 軟件項目組織管理
9.2.1 團隊組織模式
9.2.2 項目組織原則
9.3 軟件過程管理
9.3.1 軟件過程度量
9.3.2 軟件過程改進
9.3.3 軟件項目度量
9.4 風(fēng)險管理
9.4.1 風(fēng)險識別
9.4.2 風(fēng)險預(yù)測
9.4.3 風(fēng)險管理
9.5 軟件配置管理
9.5.1 基本概念
9.5.2 軟件配置管理過程
9.5.3版本管理
9.6 軟件項目估算
9.6.1 概述
9.6.2 軟件規(guī)模度量
9.6.3 軟件估算管理
9.7 軟件項目估算技術(shù)
9.7.1 分解技術(shù)
【案例9.1】CAD系統(tǒng)的基于LOC的估算
【案例9.2】CAD系統(tǒng)的功能點FP估算
【案例9.3】CAD系統(tǒng)的基于過程的估算
9.7.2 經(jīng)驗?zāi)Ｐ?
【案例9.4】基于微處理器的通信軟件的中級COCOMO估算
【案例9.5】POS機系統(tǒng)的成本估算
9.8 軟件項目計劃
9.8.1 質(zhì)量管理
9.8.2 項目進度計劃
9.8.3 進度安排
9.8.4 進度跟蹤管理
9.9 小結(jié)
習(xí)題
第二部分 軟件工程工具教程和實踐
第T1章 軟件分析與設(shè)計工具MS Visio
T1.1 概述
T1.2 Visio基本使用
T1.2.1 Visio繪圖初步
T1.2.2 Visio提供的模型
T1.3 模型繪制
T1.3.1 數(shù)據(jù)流模型
【案例T1.1】訂貨系統(tǒng)
T1.3.2 狀態(tài)機模型
【案例T1.2】電子表設(shè)計
T1.3.3 Jackson模型
【案例T1.3】統(tǒng)計文檔空格數(shù)目
T1.4 小結(jié)
習(xí)題
第T2章 數(shù)據(jù)建模工具Power Designer
T2.1 概述
T2.2 PowerDesigner基本操作
T2.3 PowerDesigner模型
T2.4 數(shù)據(jù)建模
T2.4.1 概念數(shù)據(jù)庫模型構(gòu)建
【案例T2.1】POS機系統(tǒng)
T2.4.2 業(yè)務(wù)處理模型構(gòu)建
【案例T2.2】圖書館館管理系統(tǒng)
T2.4.3 物理數(shù)據(jù)模型構(gòu)建
【案例T2.3】出卷系統(tǒng)的物理數(shù)據(jù)模型
T2.4 小結(jié)
習(xí)題
第T3章 面向?qū)ο蠼９ぞ逫BM Rose
T3.1 概述
T3.2 Rose基本使用
T3.2.1 Rational Rose主界面
T3.2.2 Rational Rose基本使用
T3.3 面向?qū)ο竽Ｐ蜆?gòu)建
T3.3.1 用例視圖模型構(gòu)建
【案例T3.1】電梯系統(tǒng)用例模型
T3.3.2 邏輯分析模型構(gòu)建
【案例T3.2】電梯系統(tǒng)類圖
T3.3.3 動態(tài)行為分析模型構(gòu)建
【案例T3.3】電梯系統(tǒng)動態(tài)模型
T3.4 小結(jié)
習(xí)題
第T4章 功能測試工具MI WinRunner
T4.1 概述
T4.2 WinRunner基本使用
T4.2.1 WinRunner基本操作
T4.2.2 WinRunner測試方法
T4.3 功能測試方法
T4.3.1使用向?qū)ёR別對象
【案例T4.1】機票預(yù)定系統(tǒng)-錄制腳本
T4.3.2 插入同步點
【案例T4.2】機票預(yù)定系統(tǒng)-同步點測試
T4.4 小結(jié)
習(xí)題：
第T5章 負載測試工具IBM LoadRunner
T5.1 概述
T5.2 LoadRunner基本使用
T5.3 LoadRunner測試過程與方法
T5.3.1 錄制腳本
T5.3.2 腳本回放
T5.3.3 場景設(shè)計
【案例T5.1】網(wǎng)上訂票系統(tǒng)
T5.4 小結(jié)
習(xí)題
第T6章 項目管理工具MS Project
T6.1 概述
T6.2 Project基本使用
T6.2.1 Project基本操作
T6.2.2 Project視圖
T6.3 Project項目計劃
T6.3.1 項目計劃分析
【案例T6.1】面對面結(jié)對編程系統(tǒng)
T6.3.2 建立建立日歷視圖
T6.3.3 創(chuàng)建并編輯任務(wù)列表
T6.4 小結(jié)
習(xí)題
第三部分 本書網(wǎng)絡(luò)擴展教程
第 W1章 要求極高的計算機系統(tǒng)
W1.1 什么是要求極高的系統(tǒng)？
【案例W1.1】胰島素輸送系統(tǒng)
【案例W1.2】歐洲空中客車A340寬體客機
W1.2 要求極高的系統(tǒng)特性
W1.2.1 可用性和可靠性關(guān)系
W1.2.2 安全性和保密性關(guān)系
W1.3 要求極高系統(tǒng)的需求分析
W1.3.1 風(fēng)險驅(qū)動的描述
【案例W1.3】胰島素輸送系統(tǒng)的安全性需求
W1.3.2 安全性描述
W1.3.3 信息安全性描述
W1.3.4 軟件可靠性描述
【案例W1.4】ATM機的可靠性需求
【案例W1.5】胰島素輸送系統(tǒng)的可靠性需求
【案例W1.6】胰島素輸送系統(tǒng)完整的需求描述
W1.4 形式化描述方法
W1.4.1 軟件過程中的形式化描述
W1.4.2 接口描述方法
【案例W1.7】列表數(shù)據(jù)結(jié)構(gòu)的代數(shù)法
【案例W1.8】空中交通管制系統(tǒng)的代數(shù)描述
W1.4.3 對象約束語言
【案例W1.9】塊處理器的對象描述
W1.4.4 行為描述
【案例W1.10】胰島素輸送系統(tǒng)的Z方法描述
W1.5 要求極高的系統(tǒng)設(shè)計
W1.5.1 系統(tǒng)設(shè)計
W1.5.2 實時監(jiān)控系統(tǒng)
【案例W1.11】房屋安全實時監(jiān)控系統(tǒng)的分析
W1.6 要求極高系統(tǒng)的開發(fā)
W1.6.1 可靠的過程
W1.6.2 可靠的編程
W1.6.3 容錯
W1.6.4 容錯體系結(jié)構(gòu)
W1.7 系統(tǒng)驗證
W1.7.1 可靠性驗證
W1.7.2 安全性保證
【案例W1.12】胰島素輸送系統(tǒng)的系統(tǒng)驗證
W1.7.3 信息安全評估
【案例W1.13】胰島素輸送系統(tǒng)的安全評估
W1.8 小結(jié)
習(xí)題
第 W2章 測試驅(qū)動開發(fā)
W2.1 測試驅(qū)動開發(fā)概述
【案例W2.1】貨幣轉(zhuǎn)換程序設(shè)計問題描述
W2.2 測試驅(qū)動開發(fā)步驟
【案例W2.2】貨幣轉(zhuǎn)換程序初步設(shè)計
W2.3 深入測試
【案例W2.3】貨幣轉(zhuǎn)換程序設(shè)計深入測試
W2.4 代碼重構(gòu)
【案例W2.4】貨幣轉(zhuǎn)換程序代碼重構(gòu)
W2.5 完整測試
【案例W2.5】貨幣轉(zhuǎn)換程序完整測試
W2.6 小結(jié)
習(xí)題