ホワイトボックステストのテストカバー率の浅い分析

1、文オーバーライド、SC(Statement Coverage)は、判断した文ごとに1回実行すればよい.
2、判定上書き、DC(Decision Coverage)、判定文出力結果が真か偽か1回ずつでよい.
3、条件カバー、CC(Condition Coverage)、すべての出現した判断条件は、真偽のために1回ずつ出現する.
4、修正判定条件オーバーライド、MCDC(Modified Coverage Decision Coverage)、1つの判断文において、他の変数が変わらないことを保証する場合、そのうちの1つの変数の値のみを変更(入力を変更)し、出力結果に影響を与える.

#include 
void main()
{
    int a,b,c;
    String s1="hello";
    String s2="world";
    if(a>1&&((b=0)||(c

ステートメントオーバーライド
a>1
b=0
c
T
T
×
F
×
×
 
判定オーバーライド
a>1
b=0
c
T
T
×
F
×
×
 
じょうけん上書き
a>1
b=0
c
T
T
T
F
F
F
 
修正条件オーバーライド
a>1
b=0
c
T
T
F
F
T
×
T
T
F
T
F
F
T
F
T
T
F
F
 
"×「真または偽を取ることができることを示し、このテスト例は出力結果に影響しない.
「削除線」は、このテスト例を削除し、繰り返し使用できることを示します.