修正条件/判定覆盖 MC/DC --Modified Condition/Decision Coverage:锁定其他的条件不变,改变一项条件,必引起整个表达式变化.
【例】IF(A||B||C)THEN W=W/X
锁定AB的值不变(FF_) 改变C条件的值 {FFT,FFF}
锁定AC的值不变(F_F) 改变B条件的值 {FTF,FFF}
锁定BC的值不变(_FF) 改变A条件的值 {TFF,FFF}
修正条件/判定覆盖 MC/DC --Modified Condition/Decision Coverage:锁定其他的条件不变,改变一项条件,必引起整个表达式变化.
【例】IF(A||B||C)THEN W=W/X
锁定AB的值不变(FF_) 改变C条件的值 {FFT,FFF}
锁定AC的值不变(F_F) 改变B条件的值 {FTF,FFF}
锁定BC的值不变(_FF) 改变A条件的值 {TFF,FFF}