最新章節

• 本章參考文獻
• 9.4 本章小結
• 9.3 穩定性
• 9.2.4 可測性度量
• 9.2.3 面向能觀性的測試充分準則
• 9.2.2 路徑敏化法

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

• 封面
• 版權信息
• 內容簡介
• 作者簡介
• 前言
• 第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 本章小結
• 本章參考文獻 更新時間：2024-12-27 21:35:09