3.1 基于直觉和经验的方法 42 3.1.1 Ad-hoc 测试方法和 ALAC 测试方法 43 3.1.2 错误推测法 43 3.2 基于输入域的方法 44 3.2.1 等价类划分法 45 3.2.2 边界值分析法 45 3.3 基于组合及其优化的方法 47 3.3.1 判定表法 49 3.3.2 因果图法 50 3.3.3 Pairwise 方法 51 3.3.4 正交实验法 53 3.4 基于逻辑覆盖的方法 54 3.4.1 判定覆盖 55 3.4.2 条件覆盖 55 3.4.3 判定-条件覆盖 57 3.4.4 条件组合覆盖 57 3.4.5 基本路径覆盖 58 3.5 基于缺陷模式的测试 59 3.5.1 常见的缺陷模式 3.5.2 DPBT的自动化实现 3.6 基于模型的测试 3.6.1 功能图法 3.6.2 模糊测试方法 3.7 形式化测试方法 3.7.1 形式化方法 3.7.2 形式化验证 3.7.3 扩展有限状态机方法