MC/DC(Modified Condition/Decision Coverage)修正条件判定覆盖

定义：

 

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.

Condition —— a Boolean expression containing no Boolean operators：

Decision —— a Boolean expression composed of conditions and zero or more Boolean operators：

 

1. 程序中的每个判定的所有可能结果至少能取值一次；
2. 程序中每个判定中的每个条件的所有可能结果至少取值一次；
3. 一个判定中的每个条件曾经独立地对判定的结果产生影响；所谓一个条件独立地影响判定的结果，是指固定所有其他可能的条件，仅改变该条件的值就只能使判定的结果改变；
4. 程序中的每个入口和出口至少执行一次

条件是不包含布尔运算的布尔表达式；
判定是指由条件和零个或多个布尔运算组成的布尔表达式。一个不含布尔运算的判定是一个条件。如果一个条件在一个判定中出现多次，则其每次出现都是一个不同的条件。

 

Ref: http://www.51testing.com/html/96/n-77196.html

http://www.cmse.gov.cn/video/show.php?itemid=1331