測試設計思想

目錄

第1章基本概念

1.1測試的語義設定

1.2被測對象的質量與缺陷

1.3測試的兩個基本目的

1.4測試的五個基本問題

1.4.1正確性判定問題

1.4.2測試完整性問題

1.4.3測試選擇問題

1.4.4測試可信性問題

1.4.5測試準繩問題

1.5測試設計思想

1.6本章小結

本章參考文獻

第2章系統

2.1被測對象的系統性

2.1.1被測對象與環境的普遍相關性

2.1.2被測對象的邊界

2.1.3被測對象的整體涌現性

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.4.3故障樹的割集

2.5本章小結

本章參考文獻

第3章枚舉

3.1組合測試

3.1.1組合測試的概念

3.1.2組合測試的枚舉本質

3.1.3貪心法

3.1.4排除法

3.2分割測試

3.2.1測試輸入空間的分割

3.2.2基於缺陷的分割測試

3.2.3等比例採樣策略

3.3模型檢驗

3.3.1形式化模型

3.3.2形式化規約

3.3.3標記算法

3.4本章小結

本章參考文獻

第4章準則化

4.1基於結構覆蓋的充分準則

4.1.1控制流覆蓋準則

4.1.2數據流覆蓋準則

4.1.3修改的條件/決策覆蓋準則

4.2基於缺陷的充分準則

4.2.1邊界缺陷檢出準則

4.2.2布爾邏輯缺陷檢出準則

4.2.3電路單固定缺陷檢出準則

4.2.4變異充分準則

4.3回歸測試充分準則

4.3.1基於變更的回歸測試充分準則

4.3.2基於優先級排序的回歸測試充分準則

4.4準則的選用與定製

4.4.1目標與成本的考量

4.4.2準則之間的包含關系

4.4.3充分準則基本性質

4.4.4絕對充分度

4.5本章小結

本章參考文獻

第5章多樣化

5.1隨機測試

5.1.1基於偽隨機數發生器的隨機測試

5.1.2隨機選取用例的其他方法

5.1.3模糊測試

5.2反隨機測試

5.2.1測試輸入點之間的距離

5.2.2反隨機測試的過程

5.3自適應隨機測試

5.3.1自適應隨機測試的過程

5.3.2對缺陷檢出效率的改善

5.4基於執行檔案的測試

5.5基於模型的測試

5.6正交設計

5.6.1試驗設計的基本概念

5.6.2正交表

5.6.3在測試中應用正交設計的過程

5.7均勻設計

5.7.1均勻性

5.7.2均勻設計表及均勻設計過程

5.8本章小結

本章參考文獻

第6章統計

6.1統計抽樣測試

6.1.1數理統計基礎

6.1.2統計抽樣原理

6.1.3操作特性曲線

6.2假設檢驗

6.2.1抽樣分佈

6.2.2假設檢驗原理

6.2.3批不合格品率的假設檢驗

6.2.4軟件功能測試中的假設檢驗

6.3事件分佈列

6.3.1事件分佈列的建立過程

6.3.2基於事件分佈列的隨機測試

6.4基於統計模型的測試

6.4.1馬爾可夫鏈

6.4.2基於馬爾可夫鏈的測試設計

6.5軟件隨機性失效

6.5.1隨機性失效的常見誘因

6.5.2面向隨機性失效的測試

6.6統計結構測試

6.7本章小結

本章參考文獻

第7章冗餘

7.1差錯控制編碼

7.1.1基本原理

7.1.2分組碼

7.1.3捲積碼

7.2被測對象期望的冗餘分解

7.2.1用關系來描述期望

7.2.2冗餘分解

7.2.3鈍化

7.3基於屬性的測試

7.4蛻變測試

7.4.1蛻變關系

7.4.2測試集的測試準繩

7.4.3在線蛻變測試

7.4.4缺陷檢出能力

7.5差分測試

7.5.1冗餘實現

7.5.2產品演化過程中的差分測試

7.6測試準繩的一般性討論

7.6.1測試準繩的有效性和完整性

7.6.2測試準繩的相對強度

7.6.3測試準繩與測試充分準則

7.6.4互相制約的關系

7.7模糊冗餘信息

7.7.1模糊數學基礎

7.7.2測試結論的模糊性

7.8本章小結

本章參考文獻

第8章推理

8.1被測對象的正確性

8.1.1正確性的概念

8.1.2正確性度量

8.2演繹

8.2.1演繹推理基礎

8.2.2正確性演繹推理

8.3歸納

8.3.1歸納推理基礎

8.3.2基於模型的正確性歸納推理

8.3.3基於蛻變關系的正確性歸納推理

8.4等價性證明

8.4.1標準形式

8.4.2等價性反例

8.5基於缺陷的測試

8.6測試設計中的假設

8.6.1測試充分準則中的假設

8.6.2測試準繩中的假設

8.7本章小結

本章參考文獻

第9章控制

9.1自適應測試

9.1.1反饋控制基礎

9.1.2自適應測試中的反饋控制

9.1.3測試用例自適應排序

9.1.4符號隨機測試

9.2可測性

9.2.1能控性與能觀性

9.2.2路徑敏化法

9.2.3面向能觀性的測試充分準則

9.2.4可測性度量

9.3穩定性

9.4本章小結

本章參考文獻