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

第1章基本概念
1.1測(cè)試的語義設(shè)定
1.2被測(cè)對(duì)象的質(zhì)量與缺陷
1.3測(cè)試的兩個(gè)基本目的
1.4測(cè)試的五個(gè)基本問題
1.4.1正確性判定問題
1.4.2測(cè)試完整性問題
1.4.3測(cè)試選擇問題
1.4.4測(cè)試可信性問題
1.4.5測(cè)試準(zhǔn)繩問題
1.5測(cè)試設(shè)計(jì)思想
1.6本章小結(jié)
本章參考文獻(xiàn)
第2章系統(tǒng)
2.1被測(cè)對(duì)象的系統(tǒng)性
2.1.1被測(cè)對(duì)象與環(huán)境的普遍相關(guān)性
2.1.2被測(cè)對(duì)象的邊界
2.1.3被測(cè)對(duì)象的整體涌現(xiàn)性
2.2分層測(cè)試
2.2.1硬件分層測(cè)試
2.2.2軟件分層測(cè)試
2.3被測(cè)對(duì)象期望
2.3.1被測(cè)對(duì)象期望的相關(guān)概念
2.3.2被測(cè)對(duì)象期望的影響因素
2.3.3被測(cè)對(duì)象期望的具象化分解
2.3.4被測(cè)對(duì)象期望樹
2.4故障樹分析
2.4.1故障樹的表示方法
2.4.2故障樹的構(gòu)建過程
2.4.3故障樹的割集
2.5本章小結(jié)
本章參考文獻(xiàn)
第3章枚舉
3.1組合測(cè)試
3.1.1組合測(cè)試的概念
3.1.2組合測(cè)試的枚舉本質(zhì)
3.1.3貪心法
3.1.4排除法
3.2分割測(cè)試
3.2.1測(cè)試輸入空間的分割
3.2.2基于缺陷的分割測(cè)試
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回歸測(cè)試充分準(zhǔn)則
4.3.1基于變更的回歸測(cè)試充分準(zhǔn)則
4.3.2基于優(yōu)先級(jí)排序的回歸測(cè)試充分準(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ī)測(cè)試
5.1.1基于偽隨機(jī)數(shù)發(fā)生器的隨機(jī)測(cè)試
5.1.2隨機(jī)選取用例的其他方法
5.1.3模糊測(cè)試
5.2反隨機(jī)測(cè)試
5.2.1測(cè)試輸入點(diǎn)之間的距離
5.2.2反隨機(jī)測(cè)試的過程
5.3自適應(yīng)隨機(jī)測(cè)試
5.3.1自適應(yīng)隨機(jī)測(cè)試的過程
5.3.2對(duì)缺陷檢出效率的改善
5.4基于執(zhí)行檔案的測(cè)試
5.5基于模型的測(cè)試
5.6正交設(shè)計(jì)
5.6.1試驗(yàn)設(shè)計(jì)的基本概念
5.6.2正交表
5.6.3在測(cè)試中應(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ì)抽樣測(cè)試
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軟件功能測(cè)試中的假設(shè)檢驗(yàn)
6.3事件分布列
6.3.1事件分布列的建立過程
6.3.2基于事件分布列的隨機(jī)測(cè)試
6.4基于統(tǒng)計(jì)模型的測(cè)試
6.4.1馬爾可夫鏈
6.4.2基于馬爾可夫鏈的測(cè)試設(shè)計(jì)
6.5軟件隨機(jī)性失效
6.5.1隨機(jī)性失效的常見誘因
6.5.2面向隨機(jī)性失效的測(cè)試
6.6統(tǒng)計(jì)結(jié)構(gòu)測(cè)試
6.7本章小結(jié)
本章參考文獻(xiàn)
第7章冗余
7.1差錯(cuò)控制編碼
7.1.1基本原理
7.1.2分組碼
7.1.3卷積碼
7.2被測(cè)對(duì)象期望的冗余分解
7.2.1用關(guān)系來描述期望
7.2.2冗余分解
7.2.3鈍化
7.3基于屬性的測(cè)試
7.4蛻變測(cè)試
7.4.1蛻變關(guān)系
7.4.2測(cè)試集的測(cè)試準(zhǔn)繩
7.4.3在線蛻變測(cè)試
7.4.4缺陷檢出能力
7.5差分測(cè)試
7.5.1冗余實(shí)現(xiàn)
7.5.2產(chǎn)品演化過程中的差分測(cè)試
7.6測(cè)試準(zhǔn)繩的一般性討論
7.6.1測(cè)試準(zhǔn)繩的有效性和完整性
7.6.2測(cè)試準(zhǔn)繩的相對(duì)強(qiáng)度
7.6.3測(cè)試準(zhǔn)繩與測(cè)試充分準(zhǔn)則
7.6.4互相制約的關(guān)系
7.7模糊冗余信息
7.7.1模糊數(shù)學(xué)基礎(chǔ)
7.7.2測(cè)試結(jié)論的模糊性
7.8本章小結(jié)
本章參考文獻(xiàn)
第8章推理
8.1被測(cè)對(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基于缺陷的測(cè)試
8.6測(cè)試設(shè)計(jì)中的假設(shè)
8.6.1測(cè)試充分準(zhǔn)則中的假設(shè)
8.6.2測(cè)試準(zhǔn)繩中的假設(shè)
8.7本章小結(jié)
本章參考文獻(xiàn)
第9章控制
9.1自適應(yīng)測(cè)試
9.1.1反饋控制基礎(chǔ)
9.1.2自適應(yīng)測(cè)試中的反饋控制
9.1.3測(cè)試用例自適應(yīng)排序
9.1.4符號(hào)隨機(jī)測(cè)試
9.2可測(cè)性
9.2.1能控性與能觀性
9.2.2路徑敏化法
9.2.3面向能觀性的測(cè)試充分準(zhǔn)則
9.2.4可測(cè)性度量
9.3穩(wěn)定性
9.4本章小結(jié)
本章參考文獻(xiàn)