內容簡介
《教育部職業教育與成人教育司推薦教材·軟體的質量:軟體的分析、測試與驗證》詳細地敘述了當前軟體質量保證的技術、方法、原理和構成方面的最新知識，每一章的開始足本章的簡介，使讀者了解本章要講述的內容；每一章的結束部分都有評價，對從業人員來說具有實踐指導意義。《教育部職業教育與成人教育司推薦教材·軟體的質量:軟體的分析、測試與驗證》在寫作上注重了將理論和實踐、軟體和硬體、經驗知識和教學知漢領域的牢固結合，使讀者更貼近軟體開發這個重要的領域。
目錄
出版說明
翮吾
第1章 引言
1.1 動機
1.2 數據和概念的定義
1.3 技術水平
1.3.1 質量管理
1.3.2 軟體質量保證
1.3.3硬體質量安全
1.3.4 軟體密集型系統的質量保障
1.4 測試技術的分組與歸類
1.4.1 動態測試
1.4.2 靜態分析
1.4.3 形式技術：符號測試和形式證明流程
1.5 組織結構
第2章 面向功能型測試
2.1 面向功能型測試的屬性和目標
2.2 功能性等價類劃分
2.2.l功能性等價類劃分的屬性和目標
2.2.2 描述功能性等價類劃分
2.2.3 評價功能性等價類劃分
2.3 以狀態為基礎的測試
2.3.1 以狀態為基礎的測試的屬性和目標
2.3.2 描述以狀態為基礎的測試
2.3.3 評價以狀態為基礎的測試
2.4 原因一效果一分析
2.5 其他面向功能型測試技術
2.5.1 句法測試
2.5.2 以事務流為基礎的測試
2.5.3 以判定表格為基礎或者以判定樹為基礎進行測試
2.6 評價面向功能型測試
第3章 面向控制流程的、面向結構的測試
3.l面向控制流程的測試屬性和目標
3.2 指令覆蓋測試
3.2.1 指令覆蓋測試的屬性和目標
3.2.2 描述指令覆蓋測試
3.2.3 評價指令覆蓋測試
3.3 了項覆蓋測試
3.3 1子項覆蓋測試的屬性和目標
3.3.2 描述子項覆蓋測試
3.3 3子項覆蓋測試的問題
3.3.4 評價子項覆蓋測試
3.4 條件覆蓋測試
3.4.1 條件覆蓋測試的屬性和目標
3.4.2 簡單的條件覆蓋測試
3.4.3 條件/判定覆蓋測試
3.4.4 最小多重條件覆蓋測試
3.4.5 修正條件/判定覆蓋測試
3.4.6 多重條件覆蓋測試
3.4.7 問題
3.4.8 評估條件覆蓋測試
3.5 測試循環的技術
3.5.1 屬性和目標
3.5.2 結構化路徑測試和邊界一內部路徑測試
3.5.3 LCSAJ測試
3.6 路徑覆蓋測試
3.6.1 路徑覆蓋測試的屬性和目標
3.6.2 評價路徑覆蓋測試
3.7 評價面向流程控制的測試
第4章 數據流型、面向結構型測試
4.1 數據流型測試的屬性和目標
4.2 定義/用途測試
4.3 必需的k元組測試
4.4 數據上下文覆蓋
4.5 評價而向數據流的測試
第5章 特殊的動態測試技術
5.1 多樣化測試
5.1.1 多樣化測試的屬性和目標
5.1.2 背靠背測試
5.1.3 變異測試
5.1.4 回歸鋇5試
5.l.5 評價多樣化測試
5.2 定義域測試(DomainTesting)
5.2.1 定義域測試的屬性和目標
5.2.2 路徑域測試
5.2.3 測試發現錯誤的子域
5.2.4 分析分析
5.2 5評價定義域測試
5.3 隨機測試
5.4 錯誤猜測
5.5 使用判斷
5.6 評價
第6章 軟體測量
6.1 軟體度量的屬性和目標
6.2 度量和規格
6.3 度量類型
6.4 對度量的要求
6.5 度量標準
6.5.l 基礎
6.5.2 標準討論
6.6 為度量系統記錄數據
6.7 有目標的定義度量
6.8 分析度量
6.8.1 表述度量值
6.8.2 評價經驗中獲得的知識
6.8.3 用統計技術分析
6.9 軟體的重要度量
6.9.1 跳字的複雜性
6.9.2 Halstead度量
6.9.3 度量活變數
6.9.4 度量“變數取值範圍”
6.9.5 平均故障問隔時間
6.10 軟體度量的個案研究
6.11 評價軟體度量
第7章 利用工具進行靜態代碼分析
7.1 利用工具進行靜態代碼分析的屬性和目標
7.2 形態分析
7.2.1 形態分析的屬性和日標
7.2.2 測試是否遵循編程慣例
7.2.土評價形態分析
7.3 圖形和表格
7.3.1 使用圖形、表格的屬性和目標
7.3.2 圖形
7.3.3 表格
7.3.4 評價圖形和表格的使用
7.4 限幅
7.4.l 限幅的屬性和目標
7.4.2 靜態限幅
7.4.3 動態限幅
7.4.4 評價限幅
7.5 數據流異常分析
7.5.1 數據流異常分析的屬性和目標
7.5.2 執行數據流異常分析
7.5.3 數據流異常分析的問題及其解決方法
7.5.4 評價數據流異常分析
7.6 評價有工具支持的靜態代碼分析
第8章 軟體驗證和複審
8.1 軟體驗證和複審的屬性及目標
8.2 形式驗證技術
8.2.1 形式驗證技術的屬性和目標
8.2.2 描述形式驗證技術
8.2.3 評價形式驗證技術
8.3 會議技術中的傳統複審：結構化普查
8.4 評論技術中的複審
8.5 評價軟體驗證和複審
第9章 形式技術：符號測試和形式正確性證明
9.1 形式技術的屬性和目標
9.2 符號測試
9.2.1 符號測試的屬性和目標
9.2.2 描述符號測試
9.2.3 評價符號測試
9.3 形式正確性證明
9.3.1 形式正確性證明的屬性和目標
9.3.2 判斷方法
9.3.3 代數技術
9.3.4 以自動機為基礎的技術
9.3.5 評價形式正確性證明
9.4 評價形式技術
第10章 過程和測試策略
10.1 屬性和目標
10.2 軟體開發過程
10.3 開發
10.3.1 分析
10.3.2 設計
10.3.3 實施
10.4 測試
10.4.1 模組測試
10.4.2 集成和集成測試
10.4.3 系統測試
10.5 組織方面
10.6 檔案和評價測試
10.7 標準
10.7.1 標準的含義
10.7.2 面向過程型標準
10.7.3 獨立於套用領域的標準：標準
IEC61508
10.7.4 各領域的技術標準
10.8 評價
第1l章 工具
11.l 使用工具的屬性和目標
11.2 工具類型
11.2.1 動態測試工具
11.2.2 靜態分析工具
11.2.3 形式驗證工具
11.2.4 模組化和分析型工具
1l.3 工具的可用性
11.3.1 技術擁有的工具數量
11.3.2 程式語言擁有的工具
11.3.3 開發平台形式和目標平台形式的工具使用情況
11.4 關於工具的信息來源
11.5 評價工具的利用情況
第12章 測試面向對象型軟體
12.1 測試面向對象型軟體的屬性和目標
12.2 關於面向對象型開發的說明
12.3 面向對象型模組測試
12.3.l 類測試作為面向對象型模組測試
12.3.2 測試類的一種方法
12.3.3 面向功能型測試
12.3.4 面向結構型測試
12.3.5 形式規約用於支持面向對象型測試
12.3.6 測試參數化類
12.3.7 測試子類和回歸測試
12.4 面向對象型集成測試
12.4.1 基礎類的集成測試
12.4.2 集成測試和繼承
12.5 而向對象型系統測試
12.6 評價面向對象型軟體測試
第13章 測試嵌入軟體
13.1 測試嵌人軟什的屬性和目標
13.2 嵌入軟體的重要屬性
13.2.1 安全級別
13.2.2 可靠度和可用性
13.2.3 實時能力
13.3 安全級別高的軟體進行動態測試
13.4 安傘模組化和可靠度模組化
13.4.1 安全模組化和可靠度模組化的屬性和目標
13.4.2 軟體FMECA
13.4.3 錯誤樹分析
13.4.4 馬爾可夫模組化
l3.4.5 評價安全模組化和可靠度模組化
13.5 隨機軟體可靠度分析
13.5.1 隨機軟什可靠度分析的屬性和目標
l3.5.2 隨機可靠度分析的基礎
13.5.3 比較硬體可靠度分析和軟體可靠度分析
13.5.4 軟體可靠度模型
13.5.5 模型的示例：Musa的基礎執行時間模型
13.5.6 評價隨機軟體可靠度分析
13.6 評價嵌人軟體的測試
第14章 實踐指南
14.1 組織上的提示
14.2 技術提示
14.2.l 適合實踐的簡單測試策略
14.2.2 滿足特殊的要求
14.3 總結
參考文獻
