笔记——白盒测试判定覆盖

定义

• 判定覆盖 DC（Decision coverage），就是设计尽可能少的测试用例，运行被测程序使得程序中每个判定节点的取真和取假分支至少执行一次。

【判定节点】流程图中的菱形框
【判定覆盖率计算】被评价的判定路径数量/判定路径的总数X100%
【缺点】判定覆盖虽然把程序所有分支均覆盖到了，但其主要是对整个表达式最终取值进行度量，忽略了表达式内部取值。

案例

问题描述：根据输入的三角形的三边确定最终三角形类型。（能否构成三角形，等腰、等边、还是普通三角形）。
对该功能做判定覆盖的白盒测试

void IsTri(int a,int b,int c){
	if((a+b<=c)||(a+c<=b)||(b+c<=a)){
			printf("不能构成三角形");
	}else{
			if((a==b)||(b==c)||(a==c)){
				if((a==b)&&(b==c)){
					printf("等边三角形");
				}else{
					printf("等腰三角形");
				}
			}else{
				printf("一般三角形");
			}
	}
}

用例设计

测试分析