軟件工程及實(shí)踐

第 0 章 軟件工程教學(xué)方案
第一部分 軟件工程基本教程
第 1章 軟件工程概述
1.1 關(guān)于軟件
1.1.1軟件及其特性
1.1.2軟件的演化
1.1.3軟件危機(jī)
【案例1.1】倫敦救護(hù)服務(wù)系統(tǒng)
1.2 軟件工程
1.2.1 軟件工程基本原理
1.2.2 軟件工程基本原則
1.2.3 軟件危機(jī)的解決途徑
1.3 軟件工程基本活動(dòng)
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 軟件工程實(shí)踐
2.4.1 概念與原則
2.4.2 軟件工程實(shí)踐
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 會(huì)談
3.3.2 場景分析
3.3.3 調(diào)查表
【案例3.2】ATM機(jī)“取款”場景描述
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)實(shí)體關(guān)系模型
【案例3.4】POS機(jī)系統(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機(jī)系統(tǒng)用例描述
3.5.4 業(yè)務(wù)建模
【案例3.9】POS機(jī)系統(tǒng)業(yè)務(wù)分析
3.5.5 系統(tǒng)行為建模
【案例3.10】POS機(jī)系統(tǒng)完整的對象分析
3.6 小結(jié)
習(xí)題
第 4章 軟件設(shè)計(jì)
4.1 軟件設(shè)計(jì)概述
4.1.1 軟件設(shè)計(jì)過程
4.1.2 軟件設(shè)計(jì)文檔
4.2 模塊化設(shè)計(jì)原理
4.2.1 模塊化
4.2.2 抽象
4.2.3 信息隱蔽
4.2.4 模塊獨(dú)立性度量
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è)計(jì)
4.5.1 面向數(shù)據(jù)流的設(shè)計(jì)方法
【案例4.1】統(tǒng)計(jì)文件中單詞數(shù)目的數(shù)據(jù)流設(shè)計(jì)
【案例4.2】ATM自動(dòng)柜員機(jī)事務(wù)流設(shè)計(jì)
【案例4.3】公司的銷售管理系統(tǒng)設(shè)計(jì)
4.5.2 面向數(shù)據(jù)結(jié)構(gòu)的設(shè)計(jì)
【案例4.4】統(tǒng)計(jì)文件空格數(shù)和輸出統(tǒng)計(jì)
【案例4.5】圖書館管理系統(tǒng)設(shè)計(jì)
4.6 面向?qū)ο蟮脑O(shè)計(jì)
4.6.1 面向?qū)ο笤O(shè)計(jì)過程
4.6.2 設(shè)計(jì)模式
【案例4.6】POS機(jī)系統(tǒng)面向?qū)ο笤O(shè)計(jì)
4.7 小結(jié)
習(xí)題
第 5章 軟件詳細(xì)設(shè)計(jì)
5.1 結(jié)構(gòu)化詳細(xì)設(shè)計(jì)
5.2 結(jié)構(gòu)化設(shè)計(jì)工具
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】確定保險(xiǎn)類別
5.2.6 過程描述語言
【案例5.3】統(tǒng)計(jì)單詞數(shù)目
5.3 人機(jī)界面設(shè)計(jì)
5.3.1 界面分析與設(shè)計(jì)
5.3.2 界面設(shè)計(jì)步驟
5.3.3 界面設(shè)計(jì)指南
【案例5.4】CAD系統(tǒng)中繪制圓弧的操作命令序列設(shè)計(jì)
5.4 數(shù)據(jù)庫設(shè)計(jì)
5.5 面向?qū)ο缶O(shè)計(jì)
5.5.1 設(shè)計(jì)模型精化
5.5.2邏輯架構(gòu)精化
5.5.3包設(shè)計(jì)
5.4.4 精化交互圖
5.5.5 精化類圖
【案例5.5】ATM機(jī)系統(tǒng)精華設(shè)計(jì)
5.6 編碼
5.6.1 編碼語言
5.6.2 編碼風(fēng)格
【案例5.6】POS機(jī)系統(tǒng)詳細(xì)設(shè)計(jì)
5.7 小結(jié)
習(xí)題
第 6章 面向?qū)ο笈c統(tǒng)一軟件開發(fā)過程
6.1 概述
6.2 用況驅(qū)動(dòng)過程
【案例6.1】ATM機(jī)系統(tǒng)用況模型
6.3 構(gòu)架描述
【案例6.2】ATM機(jī)系統(tǒng)構(gòu)架設(shè)計(jì)
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è)計(jì)
6.5.4 實(shí)現(xiàn)
6.5.5 測試
6.6 小結(jié)
習(xí)題
第 7章 軟件測試
7.1 軟件測試概述
7.1.1 軟件測試的目的
7.1.2 驗(yàn)證與確認(rèn)
7.1.3 軟件測試的原則
7.2 軟件測試策略
7.2.1 單元測試
7.2.2 集成測試
7.2.3 確認(rèn)測試
7.2.4 系統(tǒng)測試
7.3 測試用例設(shè)計(jì)
7.4 黑盒測試技術(shù)
7.4.1 等價(jià)類劃分
【案例7.1】ATM機(jī)系統(tǒng)等價(jià)類劃分
7.4.2 邊界值分析
【案例7.2】三角形無效類測試用例設(shè)計(jì)
7.4.3 錯(cuò)誤推測
7.4.4 因果圖方法
【案例7.3】自動(dòng)售貨機(jī)因果圖法
7.5 白盒測試技術(shù)
7.5.1 邏輯覆蓋
【案例7.4】邏輯覆蓋測試用例設(shè)計(jì)
7.5.2 路徑覆蓋
【案例7.5】學(xué)生成績計(jì)算路徑測試用例設(shè)計(jì)
7.5.3 循環(huán)路徑測試策略
7.6 集成測試技術(shù)
7.6.1 集成策略
7.6.2 性能測試
【案例7.6】多媒體數(shù)據(jù)庫性能測試
【案例7.7】ATM取款機(jī)測試
7.7 調(diào)試技術(shù)
7.7.1 調(diào)試過程
7.7.2 調(diào)試策略
7.8 小結(jié)
習(xí)題
第 8章 軟件維護(hù)
8.1 軟件維護(hù)概述
8.1.1 軟件維護(hù)任務(wù)
8.1.2 軟件維護(hù)的特點(diǎn)
8.1.3 軟件的可維護(hù)性
8.2 軟件維護(hù)類型
8.3 軟件維護(hù)技術(shù)與過程
8.4 非結(jié)構(gòu)化維護(hù)和結(jié)構(gòu)化維護(hù)
8.5 提高軟件的可維護(hù)性
8.6 小結(jié)
習(xí)題
第 9章 軟件項(xiàng)目管理
9.1 軟件項(xiàng)目管理概述
9.2 軟件項(xiàng)目組織管理
9.2.1 團(tuán)隊(duì)組織模式
9.2.2 項(xiàng)目組織原則
9.3 軟件過程管理
9.3.1 軟件過程度量
9.3.2 軟件過程改進(jìn)
9.3.3 軟件項(xiàng)目度量
9.4 風(fēng)險(xiǎn)管理
9.4.1 風(fēng)險(xiǎn)識(shí)別
9.4.2 風(fēng)險(xiǎn)預(yù)測
9.4.3 風(fēng)險(xiǎn)管理
9.5 軟件配置管理
9.5.1 基本概念
9.5.2 軟件配置管理過程
9.5.3版本管理
9.6 軟件項(xiàng)目估算
9.6.1 概述
9.6.2 軟件規(guī)模度量
9.6.3 軟件估算管理
9.7 軟件項(xiàng)目估算技術(shù)
9.7.1 分解技術(shù)
【案例9.1】CAD系統(tǒng)的基于LOC的估算
【案例9.2】CAD系統(tǒng)的功能點(diǎn)FP估算
【案例9.3】CAD系統(tǒng)的基于過程的估算
9.7.2 經(jīng)驗(yàn)?zāi)Ｐ?
【案例9.4】基于微處理器的通信軟件的中級COCOMO估算
【案例9.5】POS機(jī)系統(tǒng)的成本估算
9.8 軟件項(xiàng)目計(jì)劃
9.8.1 質(zhì)量管理
9.8.2 項(xiàng)目進(jìn)度計(jì)劃
9.8.3 進(jìn)度安排
9.8.4 進(jìn)度跟蹤管理
9.9 小結(jié)
習(xí)題
第二部分 軟件工程工具教程和實(shí)踐
第T1章 軟件分析與設(shè)計(jì)工具M(jìn)S 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)機(jī)模型
【案例T1.2】電子表設(shè)計(jì)
T1.3.3 Jackson模型
【案例T1.3】統(tǒng)計(jì)文檔空格數(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機(jī)系統(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 動(dòng)態(tài)行為分析模型構(gòu)建
【案例T3.3】電梯系統(tǒng)動(dòng)態(tài)模型
T3.4 小結(jié)
習(xí)題
第T4章 功能測試工具M(jìn)I WinRunner
T4.1 概述
T4.2 WinRunner基本使用
T4.2.1 WinRunner基本操作
T4.2.2 WinRunner測試方法
T4.3 功能測試方法
T4.3.1使用向?qū)ёR(shí)別對象
【案例T4.1】機(jī)票預(yù)定系統(tǒng)-錄制腳本
T4.3.2 插入同步點(diǎn)
【案例T4.2】機(jī)票預(yù)定系統(tǒng)-同步點(diǎn)測試
T4.4 小結(jié)
習(xí)題：
第T5章 負(fù)載測試工具IBM LoadRunner
T5.1 概述
T5.2 LoadRunner基本使用
T5.3 LoadRunner測試過程與方法
T5.3.1 錄制腳本
T5.3.2 腳本回放
T5.3.3 場景設(shè)計(jì)
【案例T5.1】網(wǎng)上訂票系統(tǒng)
T5.4 小結(jié)
習(xí)題
第T6章 項(xiàng)目管理工具M(jìn)S Project
T6.1 概述
T6.2 Project基本使用
T6.2.1 Project基本操作
T6.2.2 Project視圖
T6.3 Project項(xiàng)目計(jì)劃
T6.3.1 項(xiàng)目計(jì)劃分析
【案例T6.1】面對面結(jié)對編程系統(tǒng)
T6.3.2 建立建立日歷視圖
T6.3.3 創(chuàng)建并編輯任務(wù)列表
T6.4 小結(jié)
習(xí)題
第三部分 本書網(wǎng)絡(luò)擴(kuò)展教程
第 W1章 要求極高的計(jì)算機(jī)系統(tǒng)
W1.1 什么是要求極高的系統(tǒng)？
【案例W1.1】胰島素輸送系統(tǒng)
【案例W1.2】歐洲空中客車A340寬體客機(jī)
W1.2 要求極高的系統(tǒng)特性
W1.2.1 可用性和可靠性關(guān)系
W1.2.2 安全性和保密性關(guān)系
W1.3 要求極高系統(tǒng)的需求分析
W1.3.1 風(fēng)險(xiǎn)驅(qū)動(dòng)的描述
【案例W1.3】胰島素輸送系統(tǒng)的安全性需求
W1.3.2 安全性描述
W1.3.3 信息安全性描述
W1.3.4 軟件可靠性描述
【案例W1.4】ATM機(jī)的可靠性需求
【案例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è)計(jì)
W1.5.1 系統(tǒng)設(shè)計(jì)
W1.5.2 實(shí)時(shí)監(jiān)控系統(tǒng)
【案例W1.11】房屋安全實(shí)時(shí)監(jiān)控系統(tǒng)的分析
W1.6 要求極高系統(tǒng)的開發(fā)
W1.6.1 可靠的過程
W1.6.2 可靠的編程
W1.6.3 容錯(cuò)
W1.6.4 容錯(cuò)體系結(jié)構(gòu)
W1.7 系統(tǒng)驗(yàn)證
W1.7.1 可靠性驗(yàn)證
W1.7.2 安全性保證
【案例W1.12】胰島素輸送系統(tǒng)的系統(tǒng)驗(yàn)證
W1.7.3 信息安全評估
【案例W1.13】胰島素輸送系統(tǒng)的安全評估
W1.8 小結(jié)
習(xí)題
第 W2章 測試驅(qū)動(dòng)開發(fā)
W2.1 測試驅(qū)動(dòng)開發(fā)概述
【案例W2.1】貨幣轉(zhuǎn)換程序設(shè)計(jì)問題描述
W2.2 測試驅(qū)動(dòng)開發(fā)步驟
【案例W2.2】貨幣轉(zhuǎn)換程序初步設(shè)計(jì)
W2.3 深入測試
【案例W2.3】貨幣轉(zhuǎn)換程序設(shè)計(jì)深入測試
W2.4 代碼重構(gòu)
【案例W2.4】貨幣轉(zhuǎn)換程序代碼重構(gòu)
W2.5 完整測試
【案例W2.5】貨幣轉(zhuǎn)換程序完整測試
W2.6 小結(jié)
習(xí)題