《軟體工程及實踐》是2011年電子工業出版社出版的圖書，作者是竇萬峰。
基本介紹
- 書名：軟體工程及實踐
- 作者：竇萬峰
- ISBN：9787121141096
- 類別：圖書 > 教材教輔 > 大學教材
- 頁數：432
- 出版社：電子工業出版社
- 出版時間：2011-07-01
- 裝幀：平裝
- 版次：1
內容簡介,目錄,
內容簡介
《軟體工程及實踐》包括軟體工程理論和工具使用兩大部分，理論部分共11章，分別從傳統的結構化開發范型和面向對象開發范型兩個方面，介紹軟體工程的概念和理論。工具使用部分共6章，共設計了6個實驗，包含了軟體繪圖工具Microsoft Visio、數據建模工具PowerDesigner、面向對象建模工具Rational Rose、功能測試工具WinRunner、性能測試工具LoadRunner和項目管理工具 Project等流行的軟體工程工具。
目錄
第 0 章 軟體工程教學方案
第一部分 軟體工程基本教程
第 1章 軟體工程概述
1.1 關於軟體
1.1.1軟體及其特性
1.1.2軟體的演化
1.1.3軟體危機
【案例1.1】倫敦救護服務系統
1.2 軟體工程
1.2.1 軟體工程基本原理
1.2.2 軟體工程基本原則
1.2.3 軟體危機的解決途徑
1.3 軟體工程基本活動
1.4 軟體工程兩大范型
1.4.1 結構化范型
1.4.2 面向對象范型
1.5 小結
習題
第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 結對編程
2.3.4 分散式結對編程
2.4 軟體工程實踐
2.4.1 概念與原則
2.4.2 軟體工程實踐
2.5 軟體過程模型
2.5.1 傳統的軟體過程模型
2.5.2 面向對象過程模型
2.6 能力成熟度模型
2.6.1 什麼是能力成熟度模型？
2.6.2 軟體過程成熟度5級模型
2.7 小結
習題
第 3章 軟體需求分析
3.1 關於軟體需求
3.1.1 功能需求
3.1.2 非功能需求
3.1.3 業務需求
【案例3.1】基於終端的簡訊系統
3.2 需求分析過程
3.3 非形式化分析技術
3.3.1 會談
3.3.2 場景分析
3.3.3 調查表
【案例3.2】ATM機“取款”場景描述
3.4 結構化分析建模
3.4.1結構化需求分析
3.4.2 結構化分析模型
3.4.3 面向數據的建模方法
【案例3.3】圖書館管理系統實體關係模型
【案例3.4】POS機系統
3.4.4 面向數據流的建模方法
【案例3.5】訂貨系統數據流圖
【案例3.6】電子表系統的狀態圖
【案例3.7】圖書館管理系統的分析模型
3.5 面向對象分析建模
3.5.1 面向對象概念
3.5.2 UML統一建模語言
3.5.3 用例建模
【案例3.8】POS機系統用例描述
3.5.4 業務建模
【案例3.9】POS機系統業務分析
3.5.5 系統行為建模
【案例3.10】POS機系統完整的對象分析
3.6 小結
習題
第 4章 軟體設計
4.1 軟體設計概述
4.1.1 軟體設計過程
4.1.2 軟體設計文檔
4.2 模組化設計原理
4.2.1 模組化
4.2.2 抽象
4.2.3 信息隱蔽
4.2.4 模組獨立性度量
4.2.5 逐步求精
4.2.6 重構
4.3 軟體結構
4.4 軟體體系結構模型
4.4.1 系統構成模型
4.4.2 系統控制模型
4.5 結構化軟體設計
4.5.1 面向數據流的設計方法
【案例4.1】統計檔案中單詞數目的數據流設計
【案例4.2】ATM自動櫃員機事務流設計
【案例4.3】公司的銷售管理系統設計
4.5.2 面向數據結構的設計
【案例4.4】統計檔案空格數和輸出統計
【案例4.5】圖書館管理系統設計
4.6 面向對象的設計
4.6.1 面向對象設計過程
4.6.2 設計模式
【案例4.6】POS機系統面向對象設計
4.7 小結
習題
第 5章 軟體詳細設計
5.1 結構化詳細設計
5.2 結構化設計工具
5.2.1 程式流程圖
5.2.2 N-S圖
5.2.3 PAD圖
5.2.4 HIPO圖
【案例5.1】盤存/銷售系統的HIPO圖
5.2.5 判定表與判定樹
【案例5.2】確定保險類別
5.2.6 過程描述語言
【案例5.3】統計單詞數目
5.3 人機界面設計
5.3.1 界面分析與設計
5.3.2 界面設計步驟
5.3.3 界面設計指南
【案例5.4】CAD系統中繪製圓弧的操作命令序列設計
5.4 資料庫設計
5.5 面向對象精化設計
5.5.1 設計模型精化
5.5.2邏輯架構精化
5.5.3包設計
5.4.4 精化互動圖
5.5.5 精化類圖
【案例5.5】ATM機系統精華設計
5.6 編碼
5.6.1 編碼語言
5.6.2 編碼風格
【案例5.6】POS機系統詳細設計
5.7 小結
習題
第 6章 面向對象與統一軟體開發過程
6.1 概述
6.2 用況驅動過程
【案例6.1】ATM機系統用況模型
6.3 構架描述
【案例6.2】ATM機系統構架設計
6.4 疊代的增量開發過程
6.5 核心工作流
6.5.1 需求捕獲工作流
【案例6.3】電子商務交易系統
6.5.2 分析
【案例6.4】電子商務交易系統分析
6.5.3 設計
6.5.4 實現
6.5.5 測試
6.6 小結
習題
第 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 系統測試
7.3 測試用例設計
7.4 黑盒測試技術
7.4.1 等價類劃分
【案例7.1】ATM機系統等價類劃分
7.4.2 邊界值分析
【案例7.2】三角形無效類測試用例設計
7.4.3 錯誤推測
7.4.4 因果圖方法
【案例7.3】自動售貨機因果圖法
7.5 白盒測試技術
7.5.1 邏輯覆蓋
【案例7.4】邏輯覆蓋測試用例設計
7.5.2 路徑覆蓋
【案例7.5】學生成績計算路徑測試用例設計
7.5.3 循環路徑測試策略
7.6 集成測試技術
7.6.1 集成策略
7.6.2 性能測試
【案例7.6】多媒體資料庫性能測試
【案例7.7】ATM取款機測試
7.7 調試技術
7.7.1 調試過程
7.7.2 調試策略
7.8 小結
習題
第 8章 軟體維護
8.1 軟體維護概述
8.1.1 軟體維護任務
8.1.2 軟體維護的特點
8.1.3 軟體的可維護性
8.2 軟體維護類型
8.3 軟體維護技術與過程
8.4 非結構化維護和結構化維護
8.5 提高軟體的可維護性
8.6 小結
習題
第 9章 軟體項目管理
9.1 軟體項目管理概述
9.2 軟體項目組織管理
9.2.1 團隊組織模式
9.2.2 項目組織原則
9.3 軟體過程管理
9.3.1 軟體過程度量
9.3.2 軟體過程改進
9.3.3 軟體項目度量
9.4 風險管理
9.4.1 風險識別
9.4.2 風險預測
9.4.3 風險管理
9.5 軟體配置管理
9.5.1 基本概念
9.5.2 軟體配置管理過程
9.5.3版本管理
9.6 軟體項目估算
9.6.1 概述
9.6.2 軟體規模度量
9.6.3 軟體估算管理
9.7 軟體項目估算技術
9.7.1 分解技術
【案例9.1】CAD系統的基於LOC的估算
【案例9.2】CAD系統的功能點FP估算
【案例9.3】CAD系統的基於過程的估算
9.7.2 經驗模型
【案例9.4】基於微處理器的通信軟體的中級COCOMO估算
【案例9.5】POS機系統的成本估算
9.8 軟體項目計畫
9.8.1 質量管理
9.8.2 項目進度計畫
9.8.3 進度安排
9.8.4 進度跟蹤管理
9.9 小結
習題
第二部分 軟體工程工具教程和實踐
第T1章 軟體分析與設計工具MS Visio
T1.1 概述
T1.2 Visio基本使用
T1.2.1 Visio繪圖初步
T1.2.2 Visio提供的模型
T1.3 模型繪製
T1.3.1 數據流模型
【案例T1.1】訂貨系統
T1.3.2 狀態機模型
【案例T1.2】電子表設計
T1.3.3 Jackson模型
【案例T1.3】統計文檔空格數目
T1.4 小結
習題
第T2章 數據建模工具Power Designer
T2.1 概述
T2.2 PowerDesigner基本操作
T2.3 PowerDesigner模型
T2.4 數據建模
T2.4.1 概念資料庫模型構建
【案例T2.1】POS機系統
T2.4.2 業務處理模型構建
【案例T2.2】圖書館館管理系統
T2.4.3 物理數據模型構建
【案例T2.3】出卷系統的物理數據模型
T2.4 小結
習題
第T3章 面向對象建模工具IBM Rose
T3.1 概述
T3.2 Rose基本使用
T3.2.1 Rational Rose主界面
T3.2.2 Rational Rose基本使用
T3.3 面向對象模型構建
T3.3.1 用例視圖模型構建
【案例T3.1】電梯系統用例模型
T3.3.2 邏輯分析模型構建
【案例T3.2】電梯系統類圖
T3.3.3 動態行為分析模型構建
【案例T3.3】電梯系統動態模型
T3.4 小結
習題
第T4章 功能測試工具MI WinRunner
T4.1 概述
T4.2 WinRunner基本使用
T4.2.1 WinRunner基本操作
T4.2.2 WinRunner測試方法
T4.3 功能測試方法
T4.3.1使用嚮導識別對象
【案例T4.1】機票預定系統-錄製腳本
T4.3.2 插入同步點
【案例T4.2】機票預定系統-同步點測試
T4.4 小結
習題：
第T5章 負載測試工具IBM LoadRunner
T5.1 概述
T5.2 LoadRunner基本使用
T5.3 LoadRunner測試過程與方法
T5.3.1 錄製腳本
T5.3.2 腳本回放
T5.3.3 場景設計
【案例T5.1】網上訂票系統
T5.4 小結
習題
第T6章 項目管理工具MS Project
T6.1 概述
T6.2 Project基本使用
T6.2.1 Project基本操作
T6.2.2 Project視圖
T6.3 Project項目計畫
T6.3.1 項目計畫分析
【案例T6.1】面對面結對編程系統
T6.3.2 建立建立日曆視圖
T6.3.3 創建並編輯任務列表
T6.4 小結
習題
第三部分 本書網路擴展教程
第 W1章 要求極高的計算機系統
W1.1 什麼是要求極高的系統？
【案例W1.1】胰島素輸送系統
【案例W1.2】歐洲空中客車A340寬體客機
W1.2 要求極高的系統特性
W1.2.1 可用性和可靠性關係
W1.2.2 安全性和保密性關係
W1.3 要求極高系統的需求分析
W1.3.1 風險驅動的描述
【案例W1.3】胰島素輸送系統的安全性需求
W1.3.2 安全性描述
W1.3.3 信息安全性描述
W1.3.4 軟體可靠性描述
【案例W1.4】ATM機的可靠性需求
【案例W1.5】胰島素輸送系統的可靠性需求
【案例W1.6】胰島素輸送系統完整的需求描述
W1.4 形式化描述方法
W1.4.1 軟體過程中的形式化描述
W1.4.2 接口描述方法
【案例W1.7】列表數據結構的代數法
【案例W1.8】空中交通管制系統的代數描述
W1.4.3 對象約束語言
【案例W1.9】塊處理器的對象描述
W1.4.4 行為描述
【案例W1.10】胰島素輸送系統的Z方法描述
W1.5 要求極高的系統設計
W1.5.1 系統設計
W1.5.2 實時監控系統
【案例W1.11】房屋安全實時監控系統的分析
W1.6 要求極高系統的開發
W1.6.1 可靠的過程
W1.6.2 可靠的編程
W1.6.3 容錯
W1.6.4 容錯體系結構
W1.7 系統驗證
W1.7.1 可靠性驗證
W1.7.2 安全性保證
【案例W1.12】胰島素輸送系統的系統驗證
W1.7.3 信息安全評估
【案例W1.13】胰島素輸送系統的安全評估
W1.8 小結
習題
第 W2章 測試驅動開發
W2.1 測試驅動開發概述
【案例W2.1】貨幣轉換程式設計問題描述
W2.2 測試驅動開發步驟
【案例W2.2】貨幣轉換程式初步設計
W2.3 深入測試
【案例W2.3】貨幣轉換程式設計深入測試
W2.4 代碼重構
【案例W2.4】貨幣轉換程式代碼重構
W2.5 完整測試
【案例W2.5】貨幣轉換程式完整測試
W2.6 小結
習題
第一部分 軟體工程基本教程
第 1章 軟體工程概述
1.1 關於軟體
1.1.1軟體及其特性
1.1.2軟體的演化
1.1.3軟體危機
【案例1.1】倫敦救護服務系統
1.2 軟體工程
1.2.1 軟體工程基本原理
1.2.2 軟體工程基本原則
1.2.3 軟體危機的解決途徑
1.3 軟體工程基本活動
1.4 軟體工程兩大范型
1.4.1 結構化范型
1.4.2 面向對象范型
1.5 小結
習題
第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 結對編程
2.3.4 分散式結對編程
2.4 軟體工程實踐
2.4.1 概念與原則
2.4.2 軟體工程實踐
2.5 軟體過程模型
2.5.1 傳統的軟體過程模型
2.5.2 面向對象過程模型
2.6 能力成熟度模型
2.6.1 什麼是能力成熟度模型？
2.6.2 軟體過程成熟度5級模型
2.7 小結
習題
第 3章 軟體需求分析
3.1 關於軟體需求
3.1.1 功能需求
3.1.2 非功能需求
3.1.3 業務需求
【案例3.1】基於終端的簡訊系統
3.2 需求分析過程
3.3 非形式化分析技術
3.3.1 會談
3.3.2 場景分析
3.3.3 調查表
【案例3.2】ATM機“取款”場景描述
3.4 結構化分析建模
3.4.1結構化需求分析
3.4.2 結構化分析模型
3.4.3 面向數據的建模方法
【案例3.3】圖書館管理系統實體關係模型
【案例3.4】POS機系統
3.4.4 面向數據流的建模方法
【案例3.5】訂貨系統數據流圖
【案例3.6】電子表系統的狀態圖
【案例3.7】圖書館管理系統的分析模型
3.5 面向對象分析建模
3.5.1 面向對象概念
3.5.2 UML統一建模語言
3.5.3 用例建模
【案例3.8】POS機系統用例描述
3.5.4 業務建模
【案例3.9】POS機系統業務分析
3.5.5 系統行為建模
【案例3.10】POS機系統完整的對象分析
3.6 小結
習題
第 4章 軟體設計
4.1 軟體設計概述
4.1.1 軟體設計過程
4.1.2 軟體設計文檔
4.2 模組化設計原理
4.2.1 模組化
4.2.2 抽象
4.2.3 信息隱蔽
4.2.4 模組獨立性度量
4.2.5 逐步求精
4.2.6 重構
4.3 軟體結構
4.4 軟體體系結構模型
4.4.1 系統構成模型
4.4.2 系統控制模型
4.5 結構化軟體設計
4.5.1 面向數據流的設計方法
【案例4.1】統計檔案中單詞數目的數據流設計
【案例4.2】ATM自動櫃員機事務流設計
【案例4.3】公司的銷售管理系統設計
4.5.2 面向數據結構的設計
【案例4.4】統計檔案空格數和輸出統計
【案例4.5】圖書館管理系統設計
4.6 面向對象的設計
4.6.1 面向對象設計過程
4.6.2 設計模式
【案例4.6】POS機系統面向對象設計
4.7 小結
習題
第 5章 軟體詳細設計
5.1 結構化詳細設計
5.2 結構化設計工具
5.2.1 程式流程圖
5.2.2 N-S圖
5.2.3 PAD圖
5.2.4 HIPO圖
【案例5.1】盤存/銷售系統的HIPO圖
5.2.5 判定表與判定樹
【案例5.2】確定保險類別
5.2.6 過程描述語言
【案例5.3】統計單詞數目
5.3 人機界面設計
5.3.1 界面分析與設計
5.3.2 界面設計步驟
5.3.3 界面設計指南
【案例5.4】CAD系統中繪製圓弧的操作命令序列設計
5.4 資料庫設計
5.5 面向對象精化設計
5.5.1 設計模型精化
5.5.2邏輯架構精化
5.5.3包設計
5.4.4 精化互動圖
5.5.5 精化類圖
【案例5.5】ATM機系統精華設計
5.6 編碼
5.6.1 編碼語言
5.6.2 編碼風格
【案例5.6】POS機系統詳細設計
5.7 小結
習題
第 6章 面向對象與統一軟體開發過程
6.1 概述
6.2 用況驅動過程
【案例6.1】ATM機系統用況模型
6.3 構架描述
【案例6.2】ATM機系統構架設計
6.4 疊代的增量開發過程
6.5 核心工作流
6.5.1 需求捕獲工作流
【案例6.3】電子商務交易系統
6.5.2 分析
【案例6.4】電子商務交易系統分析
6.5.3 設計
6.5.4 實現
6.5.5 測試
6.6 小結
習題
第 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 系統測試
7.3 測試用例設計
7.4 黑盒測試技術
7.4.1 等價類劃分
【案例7.1】ATM機系統等價類劃分
7.4.2 邊界值分析
【案例7.2】三角形無效類測試用例設計
7.4.3 錯誤推測
7.4.4 因果圖方法
【案例7.3】自動售貨機因果圖法
7.5 白盒測試技術
7.5.1 邏輯覆蓋
【案例7.4】邏輯覆蓋測試用例設計
7.5.2 路徑覆蓋
【案例7.5】學生成績計算路徑測試用例設計
7.5.3 循環路徑測試策略
7.6 集成測試技術
7.6.1 集成策略
7.6.2 性能測試
【案例7.6】多媒體資料庫性能測試
【案例7.7】ATM取款機測試
7.7 調試技術
7.7.1 調試過程
7.7.2 調試策略
7.8 小結
習題
第 8章 軟體維護
8.1 軟體維護概述
8.1.1 軟體維護任務
8.1.2 軟體維護的特點
8.1.3 軟體的可維護性
8.2 軟體維護類型
8.3 軟體維護技術與過程
8.4 非結構化維護和結構化維護
8.5 提高軟體的可維護性
8.6 小結
習題
第 9章 軟體項目管理
9.1 軟體項目管理概述
9.2 軟體項目組織管理
9.2.1 團隊組織模式
9.2.2 項目組織原則
9.3 軟體過程管理
9.3.1 軟體過程度量
9.3.2 軟體過程改進
9.3.3 軟體項目度量
9.4 風險管理
9.4.1 風險識別
9.4.2 風險預測
9.4.3 風險管理
9.5 軟體配置管理
9.5.1 基本概念
9.5.2 軟體配置管理過程
9.5.3版本管理
9.6 軟體項目估算
9.6.1 概述
9.6.2 軟體規模度量
9.6.3 軟體估算管理
9.7 軟體項目估算技術
9.7.1 分解技術
【案例9.1】CAD系統的基於LOC的估算
【案例9.2】CAD系統的功能點FP估算
【案例9.3】CAD系統的基於過程的估算
9.7.2 經驗模型
【案例9.4】基於微處理器的通信軟體的中級COCOMO估算
【案例9.5】POS機系統的成本估算
9.8 軟體項目計畫
9.8.1 質量管理
9.8.2 項目進度計畫
9.8.3 進度安排
9.8.4 進度跟蹤管理
9.9 小結
習題
第二部分 軟體工程工具教程和實踐
第T1章 軟體分析與設計工具MS Visio
T1.1 概述
T1.2 Visio基本使用
T1.2.1 Visio繪圖初步
T1.2.2 Visio提供的模型
T1.3 模型繪製
T1.3.1 數據流模型
【案例T1.1】訂貨系統
T1.3.2 狀態機模型
【案例T1.2】電子表設計
T1.3.3 Jackson模型
【案例T1.3】統計文檔空格數目
T1.4 小結
習題
第T2章 數據建模工具Power Designer
T2.1 概述
T2.2 PowerDesigner基本操作
T2.3 PowerDesigner模型
T2.4 數據建模
T2.4.1 概念資料庫模型構建
【案例T2.1】POS機系統
T2.4.2 業務處理模型構建
【案例T2.2】圖書館館管理系統
T2.4.3 物理數據模型構建
【案例T2.3】出卷系統的物理數據模型
T2.4 小結
習題
第T3章 面向對象建模工具IBM Rose
T3.1 概述
T3.2 Rose基本使用
T3.2.1 Rational Rose主界面
T3.2.2 Rational Rose基本使用
T3.3 面向對象模型構建
T3.3.1 用例視圖模型構建
【案例T3.1】電梯系統用例模型
T3.3.2 邏輯分析模型構建
【案例T3.2】電梯系統類圖
T3.3.3 動態行為分析模型構建
【案例T3.3】電梯系統動態模型
T3.4 小結
習題
第T4章 功能測試工具MI WinRunner
T4.1 概述
T4.2 WinRunner基本使用
T4.2.1 WinRunner基本操作
T4.2.2 WinRunner測試方法
T4.3 功能測試方法
T4.3.1使用嚮導識別對象
【案例T4.1】機票預定系統-錄製腳本
T4.3.2 插入同步點
【案例T4.2】機票預定系統-同步點測試
T4.4 小結
習題：
第T5章 負載測試工具IBM LoadRunner
T5.1 概述
T5.2 LoadRunner基本使用
T5.3 LoadRunner測試過程與方法
T5.3.1 錄製腳本
T5.3.2 腳本回放
T5.3.3 場景設計
【案例T5.1】網上訂票系統
T5.4 小結
習題
第T6章 項目管理工具MS Project
T6.1 概述
T6.2 Project基本使用
T6.2.1 Project基本操作
T6.2.2 Project視圖
T6.3 Project項目計畫
T6.3.1 項目計畫分析
【案例T6.1】面對面結對編程系統
T6.3.2 建立建立日曆視圖
T6.3.3 創建並編輯任務列表
T6.4 小結
習題
第三部分 本書網路擴展教程
第 W1章 要求極高的計算機系統
W1.1 什麼是要求極高的系統？
【案例W1.1】胰島素輸送系統
【案例W1.2】歐洲空中客車A340寬體客機
W1.2 要求極高的系統特性
W1.2.1 可用性和可靠性關係
W1.2.2 安全性和保密性關係
W1.3 要求極高系統的需求分析
W1.3.1 風險驅動的描述
【案例W1.3】胰島素輸送系統的安全性需求
W1.3.2 安全性描述
W1.3.3 信息安全性描述
W1.3.4 軟體可靠性描述
【案例W1.4】ATM機的可靠性需求
【案例W1.5】胰島素輸送系統的可靠性需求
【案例W1.6】胰島素輸送系統完整的需求描述
W1.4 形式化描述方法
W1.4.1 軟體過程中的形式化描述
W1.4.2 接口描述方法
【案例W1.7】列表數據結構的代數法
【案例W1.8】空中交通管制系統的代數描述
W1.4.3 對象約束語言
【案例W1.9】塊處理器的對象描述
W1.4.4 行為描述
【案例W1.10】胰島素輸送系統的Z方法描述
W1.5 要求極高的系統設計
W1.5.1 系統設計
W1.5.2 實時監控系統
【案例W1.11】房屋安全實時監控系統的分析
W1.6 要求極高系統的開發
W1.6.1 可靠的過程
W1.6.2 可靠的編程
W1.6.3 容錯
W1.6.4 容錯體系結構
W1.7 系統驗證
W1.7.1 可靠性驗證
W1.7.2 安全性保證
【案例W1.12】胰島素輸送系統的系統驗證
W1.7.3 信息安全評估
【案例W1.13】胰島素輸送系統的安全評估
W1.8 小結
習題
第 W2章 測試驅動開發
W2.1 測試驅動開發概述
【案例W2.1】貨幣轉換程式設計問題描述
W2.2 測試驅動開發步驟
【案例W2.2】貨幣轉換程式初步設計
W2.3 深入測試
【案例W2.3】貨幣轉換程式設計深入測試
W2.4 代碼重構
【案例W2.4】貨幣轉換程式代碼重構
W2.5 完整測試
【案例W2.5】貨幣轉換程式完整測試
W2.6 小結
習題
