Condition coverage vs. branch coverage

摘要：条件覆盖测试是一种白盒测试，用于测试程序中所有条件表达式的所有可能结果。它也称为谓词覆盖。那么条件覆盖率和分支覆盖率有什么区别呢？在分支覆盖中，所有条件都必须至少执行一次。另一方面，在条件覆盖中，所有条件的所有可能结果必须至少测试一次。

例一

• 考虑下面的代码片段，它将用于进行条件覆盖率测试:

int a = 10;
if (a > 0){cout << "a is positive";
}

• Branch coverage requires that the condition a > 0 is executed at least once.

• Condition coverage requires that both the outcomes a > 0 = True and a > 0 = False of the condition a > 0 are executed at least once.

例二

• 考虑下面的代码片段，它将用于进行条件覆盖率测试:

int num1 = 0;
if(num1 > 0){cout << "valid input";
}else{cout << "invalid input";
}

• The condition coverage testing of the code above will be as follows:

例三

• 考虑下面的代码片段，它将用于进行条件覆盖率测试:

int num1 = 0;
int num2 = 0;
if((num1 > 0 || num2 < 10)){cout << "valid input";
}else{cout << "invalid input";
}

• The condition coverage testing of the code above will be as follows:

例四

• 考虑下面的代码片段，它将用于进行条件覆盖率测试:

int num1 = 0;
int num2 = 0;
if((num1 > 0) && (num1+num2 < 15)){cout << "valid input";
}else{cout << "invalid input";
}

• The condition coverage testing of the code above will be as follows:

例五

• 考虑下面的代码片段，它将用于进行条件覆盖率测试:

int num1 = 0;
int num2 = 0;
if((num1>0 || num2<10) && (num1+num2<15)){cout << "valid input";
}else{cout << "invalid input";
}

• The condition coverage testing of the code above will be as follows: