第06章 白盒试技术(N).docVIP

第6章 白盒测试技术 白盒测试白盒测试又称为逻辑驱动测试根据软件说明文档生成用于白盒测试的测试用例A(B||C),A||(B||C) A=T,B=T,C=T A=F,B=F,C=F 可以满足语句覆盖 缺点：主要对整个表达式最终取值进行度量，忽略了表达式内部取值 条件覆盖（CC） 设计足够多的测试用例，使得每一判定语句中每个逻辑条件的可能值至少满足一次。 如：A(B||C),A||(B||C) A=T,B=F,C=T A=F,B=T,C=F 不能够满足判定覆盖。 条件覆盖只能保证每个条件至少有一次为真，而不考虑所有的判定结果。 条件判定组合覆盖（CDC） 设计足够多的测试用例，使得判定中的每个条件的所有可能（真/假）至少出现一次，并且每个判定本身的判定结果也至少出现一次 如：A(B||C),A||(B||C) A=T,B=T,C=T A=F,B=F,C=F 缺点：没有考虑单个判定对整体结果的影响，无法发现逻辑错误 多条件覆盖（MCC） 也称条件组合覆盖，设计足够多的测试用例，使得每个判定中条件的各种可能组合都至少出现一次（以数轴形式划分区域，提取交集，建立最少的测试用例） A(B||C),A||(B||C) A------B--------C T------T--------T T----- T------- F T------F--------T T------