条件判定覆盖和修正条件判定覆盖.docVIP

文章的目的在于通过比较发现条件判定覆盖(即Condition/Decision Coverage C/DC)和修正条件判定覆盖(Modified Condition/Decision Coverage即MC/DC)的差异.软件测试是一项大型的软件工程中必不可少且非常重要的一部分，软件测试使用两种测试方法：静态测试和动态测试. C/DC和MC/DC就是白盒测试方法中的逻辑覆盖方法中的两个成员.目前这两种方法在软件测试中被广泛应用，尤其是MC/DC更是被很多大型软件测试(如飞行控制软件的测试)所应用 　　2 对C/DC和MC/DC的描述 　　2.1 C/DC的定义C/DC是Condition/Decision Coverage的缩写，含义是条件判定覆盖.对它的定义为： 　　Condition/Decision Coverage——it combines the requirements for decision coverage with those for condition coverage.That is，there must be suficient test cases to toggle the decision outcome between true and false and to toggle each condition value between true and false. if A and (B or C) then? else? 具有3个条件的真值表中选择它的测试集为{ TTF，FFT}分析如下：当 ，B和C的值依次分别取T，T，F时判定A and (B or C)的值为T;当将A，B和C的值依次分别取F，F，T时，判定A and (B or C)的值为F;在测试中，3个条件A，B，C的所有可能取值T、F，都被测试，而判定 A and (B or C)的所有可能取值T和F也都被执行了一次，由此说明此测试集满足C/DC方法的要求，是C/DC方法的其中一个测试集合. 　　2.2 MC/DC的定义 　　MC/DC是Modified Condition/Decision Coverage(MC/DC)的缩写，含义是修正条件判定覆盖.对它的定义为： 　　Condition —— a Boolean expression containing no Boolean operators： 　　Decision —— a Boolean expression composed of conditions and zero or more Boolean operators： 　　Modified Condition/Decision Coverage —— every point of entry and exit in the program has been invoked at least once，every condition in the program has taken all possible outcomes at least once，and each condition in a decision has been shown to independently affect a decision S outcome by varying just that condition while holding fixed all other possible conditions. 　　由上可知：在MC/DC这种测试方法中，条件表示不含有布尔操作符号的布尔表达式;判定表示由条件和零或者很多布尔操作符号所组成的一个布尔表达式;而修正条件判定覆盖方法要求在一个程序中每一种输入输出至少得出现一次，在程序中的每一个条件必须产生所有可能的输出结果至少一次，并且每一个判定中的每一个条件必须能够独立影响一个判定的输出，即在其他条件不变的前提下仅改变这个条件的值，而使判定结果改变. 与上文同样的例子：if and (B or C) then? else? 这条语句，A and (B or C)是一个判定，A，B，C均为条件，使用MC/DC方法找出分别对应此3个条件的测试集中有4组元素为：{TTF， F，TFT，FFT}.方法如下：测试元素均从表1中选取，保持A和B的值不变测试元素TFF和TFT可以改变C条件的值和整个表达式的结果(F变成了T);而保持A和C的值不变测试元素TTF和TFT可以改变B条件的值和整个表达式的执行结果(T变成了F);而当保持B和C的值不变测试元素TFT和FFT可以改变A条件的值和整个表达式的执行结果(T变成了F).这个测试集完全满足MC/DC的要求即当锁定其它的条件保持不变，而改变判