逻辑覆盖法的设计流程.docxVIP

题目：

逻辑覆盖法是设计白盒测试用例旳重要措施之一，它是通过对程序逻辑构造旳遍历实现程序旳覆盖。针对如下由C语言编写旳程序，分别设计测试数据满足6种白盒测试逻辑覆盖措施。

#includestdio.h

#includemath.h

voidmain(intm)

{

inti,k;

scanf(%d,m);

k=sqrt(m);

for(i=2;i=k;i++)

if(m%i==0)break;

if(i=k+1)

printf(%disaselectednumber\n,m);

else

printf(%disnotaselectednumber\n,m);

}

设计流程：

流程图——语句覆盖——鉴定覆盖——条件覆盖——鉴定/条件覆盖——条件组合覆盖——途径覆盖

1、流程图

2、语句覆盖：所有语句至少执行一次。测试用例如表所示。

测试用例输入

输出

b

c

d

f

覆盖途径

i=2,m=9,k=3

i=3,m=9，k=3

T

T1

T2

F1

T2

F

P1（S-a-b-c-d-i-e-f-h-E）

i=3,m=4,k=2

i=3,m=4,k=2

F

T

P1（S-a-b-f-g-E）

3、鉴定覆盖：每个鉴定成果至少执行一次。

测试用例输入

输出

b

c

d

f

覆盖途径

i=2,m=9,k=3

i=3,m=9，k=3

T

T1