软件质量保证第章章基于控制流的测试充分性准则.pptxVIP

基于控制流的测试充分性准则;语句覆盖和块覆盖;可执行语句;;;;;;判定覆盖和条件覆盖;条件;复合条件;判定;判定的输出;;耦合条件;赋值语句中的条件;;判定覆盖;;;;;;;条件被覆盖？;;;基于条件和判定的其他覆盖;;;;;基于条件和判定的其他覆盖;;多重条件覆盖;;;使用多重条件覆盖准则增;;;;;;基于条件和判定的其他覆盖;为什么需要改进的条件/判定覆盖？;MC/DC覆盖;设C1,C2,…,CN是软件P中的条件，作为判定的组成部分，每

–Dc：所有被覆盖的判定的集合

对于条件覆盖准则是充分的。

Dc={-‐5,3},

t2:A=2,B=1,C=3}

T针对条件/判定覆盖是充分的

实现有错误，缺少一组真值组合！

t1\t2\t3\t4\t5满足语句覆盖、块覆盖、

只分析1个判定，而不是3个判定即可得到

elsez=x*x*x;

Dc={-‐5},De={0,≥0},Di=0

–R1:给定坐标x,y,z以及一个方向值d，程序必须

t3:A=2,B=3,C=5,

件Ci中简单条件的个数；

–Ce：软件所有简单条件的集合;示例：C=(C1andC2)orC3的MC充分;;多重条件覆盖v.s.MC/DC覆盖;MC/DC覆盖;;;MC覆盖定义;;改进的MC/DC覆盖;示例;;;;;