測試設(shè)計(jì)思想

第1章基本概念
1.1測試的語義設(shè)定
1.2被測對(duì)象的質(zhì)量與缺陷
1.3測試的兩個(gè)基本目的
1.4測試的五個(gè)基本問題
1.4.1正確性判定問題
1.4.2測試完整性問題
1.4.3測試選擇問題
1.4.4測試可信性問題
1.4.5測試準(zhǔn)繩問題
1.5測試設(shè)計(jì)思想
1.6本章小結(jié)
本章參考文獻(xiàn)
第2章系統(tǒng)
2.1被測對(duì)象的系統(tǒng)性
2.1.1被測對(duì)象與環(huán)境的普遍相關(guān)性
2.1.2被測對(duì)象的邊界
2.1.3被測對(duì)象的整體涌現(xiàn)性
2.2分層測試
2.2.1硬件分層測試
2.2.2軟件分層測試
2.3被測對(duì)象期望
2.3.1被測對(duì)象期望的相關(guān)概念
2.3.2被測對(duì)象期望的影響因素
2.3.3被測對(duì)象期望的具象化分解
2.3.4被測對(duì)象期望樹
2.4故障樹分析
2.4.1故障樹的表示方法
2.4.2故障樹的構(gòu)建過程
2.4.3故障樹的割集
2.5本章小結(jié)
本章參考文獻(xiàn)
第3章枚舉
3.1組合測試
3.1.1組合測試的概念
3.1.2組合測試的枚舉本質(zhì)
3.1.3貪心法
3.1.4排除法
3.2分割測試
3.2.1測試輸入空間的分割
3.2.2基于缺陷的分割測試
3.2.3等比例采樣策略
3.3模型檢驗(yàn)
3.3.1形式化模型
3.3.2形式化規(guī)約
3.3.3標(biāo)記算法
3.4本章小結(jié)
本章參考文獻(xiàn)
第4章準(zhǔn)則化
4.1基于結(jié)構(gòu)覆蓋的充分準(zhǔn)則
4.1.1控制流覆蓋準(zhǔn)則
4.1.2數(shù)據(jù)流覆蓋準(zhǔn)則
4.1.3修改的條件/決策覆蓋準(zhǔn)則
4.2基于缺陷的充分準(zhǔn)則
4.2.1邊界缺陷檢出準(zhǔn)則
4.2.2布爾邏輯缺陷檢出準(zhǔn)則
4.2.3電路單固定缺陷檢出準(zhǔn)則
4.2.4變異充分準(zhǔn)則
4.3回歸測試充分準(zhǔn)則
4.3.1基于變更的回歸測試充分準(zhǔn)則
4.3.2基于優(yōu)先級(jí)排序的回歸測試充分準(zhǔn)則
4.4準(zhǔn)則的選用與定制
4.4.1目標(biāo)與成本的考量
4.4.2準(zhǔn)則之間的包含關(guān)系
4.4.3充分準(zhǔn)則基本性質(zhì)
4.4.4絕對(duì)充分度
4.5本章小結(jié)
本章參考文獻(xiàn)
第5章多樣化
5.1隨機(jī)測試
5.1.1基于偽隨機(jī)數(shù)發(fā)生器的隨機(jī)測試
5.1.2隨機(jī)選取用例的其他方法
5.1.3模糊測試
5.2反隨機(jī)測試
5.2.1測試輸入點(diǎn)之間的距離
5.2.2反隨機(jī)測試的過程
5.3自適應(yīng)隨機(jī)測試
5.3.1自適應(yīng)隨機(jī)測試的過程
5.3.2對(duì)缺陷檢出效率的改善
5.4基于執(zhí)行檔案的測試
5.5基于模型的測試
5.6正交設(shè)計(jì)
5.6.1試驗(yàn)設(shè)計(jì)的基本概念
5.6.2正交表
5.6.3在測試中應(yīng)用正交設(shè)計(jì)的過程
5.7均勻設(shè)計(jì)
5.7.1均勻性
5.7.2均勻設(shè)計(jì)表及均勻設(shè)計(jì)過程
5.8本章小結(jié)
本章參考文獻(xiàn)
第6章統(tǒng)計(jì)
6.1統(tǒng)計(jì)抽樣測試
6.1.1數(shù)理統(tǒng)計(jì)基礎(chǔ)
6.1.2統(tǒng)計(jì)抽樣原理
6.1.3操作特性曲線
6.2假設(shè)檢驗(yàn)
6.2.1抽樣分布
6.2.2假設(shè)檢驗(yàn)原理
6.2.3批不合格品率的假設(shè)檢驗(yàn)
6.2.4軟件功能測試中的假設(shè)檢驗(yàn)
6.3事件分布列
6.3.1事件分布列的建立過程
6.3.2基于事件分布列的隨機(jī)測試
6.4基于統(tǒng)計(jì)模型的測試
6.4.1馬爾可夫鏈
6.4.2基于馬爾可夫鏈的測試設(shè)計(jì)
6.5軟件隨機(jī)性失效
6.5.1隨機(jī)性失效的常見誘因
6.5.2面向隨機(jī)性失效的測試
6.6統(tǒng)計(jì)結(jié)構(gòu)測試
6.7本章小結(jié)
本章參考文獻(xiàn)
第7章冗余
7.1差錯(cuò)控制編碼
7.1.1基本原理
7.1.2分組碼
7.1.3卷積碼
7.2被測對(duì)象期望的冗余分解
7.2.1用關(guān)系來描述期望
7.2.2冗余分解
7.2.3鈍化
7.3基于屬性的測試
7.4蛻變測試
7.4.1蛻變關(guān)系
7.4.2測試集的測試準(zhǔn)繩
7.4.3在線蛻變測試
7.4.4缺陷檢出能力
7.5差分測試
7.5.1冗余實(shí)現(xiàn)
7.5.2產(chǎn)品演化過程中的差分測試
7.6測試準(zhǔn)繩的一般性討論
7.6.1測試準(zhǔn)繩的有效性和完整性
7.6.2測試準(zhǔn)繩的相對(duì)強(qiáng)度
7.6.3測試準(zhǔn)繩與測試充分準(zhǔn)則
7.6.4互相制約的關(guān)系
7.7模糊冗余信息
7.7.1模糊數(shù)學(xué)基礎(chǔ)
7.7.2測試結(jié)論的模糊性
7.8本章小結(jié)
本章參考文獻(xiàn)
第8章推理
8.1被測對(duì)象的正確性
8.1.1正確性的概念
8.1.2正確性度量
8.2演繹
8.2.1演繹推理基礎(chǔ)
8.2.2正確性演繹推理
8.3歸納
8.3.1歸納推理基礎(chǔ)
8.3.2基于模型的正確性歸納推理
8.3.3基于蛻變關(guān)系的正確性歸納推理
8.4等價(jià)性證明
8.4.1標(biāo)準(zhǔn)形式
8.4.2等價(jià)性反例
8.5基于缺陷的測試
8.6測試設(shè)計(jì)中的假設(shè)
8.6.1測試充分準(zhǔn)則中的假設(shè)
8.6.2測試準(zhǔn)繩中的假設(shè)
8.7本章小結(jié)
本章參考文獻(xiàn)
第9章控制
9.1自適應(yīng)測試
9.1.1反饋控制基礎(chǔ)
9.1.2自適應(yīng)測試中的反饋控制
9.1.3測試用例自適應(yīng)排序
9.1.4符號(hào)隨機(jī)測試
9.2可測性
9.2.1能控性與能觀性
9.2.2路徑敏化法
9.2.3面向能觀性的測試充分準(zhǔn)則
9.2.4可測性度量
9.3穩(wěn)定性
9.4本章小結(jié)
本章參考文獻(xiàn)