修改条件判定覆盖MCDC(MultipleConditionDecisionCoverage)
每一个程序模块的入口和出口点都要考虑至少要被调用一次,每个程序的判定到所有可能的结果值要至少转换一次
l程序的判定被分解为通过逻辑操作符(and,or)连接的bool条件,每个条件对于判定的结果值是独立的
a b c a&&(b||c) a b c
1 t t t t 5
2 t t f t 6 4
3 t f t t 7 4
4 t f t f 2 3
5 f t f f 1
6 f t f f 2
7 f f t f 3
8 f f f f
变量a通过1。5例来达到要求。a的2种情况都经历。 当b和c不变的情况下a的变化为1。5例,当然其他的组合也可以如:2。6或是3。7
变量b通过2。4例来达到要求。变量c通过3。4例来达到要求
所以用例可以为{1,2,3,4,5}MCDC就能达到100%