逻辑覆盖法的设计流程

1、精品题目：逻辑覆盖法是设计白盒测试用例的主要方法之一，它是通过对程序逻辑结构的遍历实现程序的覆盖。针对以下由 C 语言编写的程序，分别设计测试数据满足 6 种白盒测试逻辑覆盖方法。#includestdio.h#includemath.hvoid main( int m)int i,k;scanf(%d,&m);k=sqrt(m);for (i=2; i=k+1)printf(%d is a selected numbern,m);elseprintf(%d is not a selected numbern,m);welcome精品设计流程：流程图语句覆盖判定覆盖条件覆盖判定/ 条件覆盖条件

2、组合覆盖路径覆盖1、流程图welcome精品? 2、语句覆盖：所有语句至少执行一次。测试用例如表所示。测试用例输入输出bcdf覆盖路径i=2,m=9,k=3i=3,m=TTF1FP1（S-a-b-c-d-i-e-f-h-E）1T29，k=3T2i=3,m=4,k=2i=3,m=4,k=2FTP1（S-a-b-f-g-E）? 3、判定覆盖：每个判定结果至少执行一次。测试用例输入输出bcdf覆盖路径i=2,m=9,k=3i=3,mTT1FFP1 （S-a-b-c-d-i-e-f-h-1=9 ，T2T2E）k=3i=3,m=4,k=2i=3,mFTP1 （S-a-b-f-g-E）=4,k=2i=2,

3、m=4,k=2i=2,mTTTFP1 （S-a-b-e-f-h-E）=4,k=2i=3,m=9,k=3i=3,mFTP1 （S-a-b-e-f-g-E）=9,k=3? 4、条件覆盖：每个判定中的每个条件可能出现的结果至少出现一次。测试用例输入输出取值条件具体取值条件覆盖路径welcome精品i=2,m=9,k=3i=3,m=T1,T2,T3,i=2,i=k,mP1（ S-a-b-c-9，k=3F4%i=0,i=k+1P1（ S-a-b-f-4,k=2g-E ）i=2,m=4,k=2i=2,m=T1,T2,T3,i=2,i=k,mP1（ S-a-b-e-4,k=2F4%i=0,f-h-E ）i=

4、3,m=9,k=3i=3,m=F1,F4i!=2,ik+1P1（ S-a-b-e-9,k=3f-g-E ）? 5、判定 / 条件覆盖：每个判定结果至少出现一次，每个判定中的条件可能出现的结果至少出现一次。TF1i=2i!=22 i=k3m%i=0m%i!=04ik+1ik+1测试用例输入输出取值条件具体取值条件覆盖路径i=2,m=9,k=3i=3,m=T1,T2,T3,Fi=2,i=k,m%iP1（S-a-b-9，k=34=0,i=k+1P1（S-a-b-4,k=2f-g-E ）welcome精品i=2,m=4,k=2i=2,m=T1,T2,T3,Fi=2,i=k,m%iP1（S-a-b-4,

5、k=24=0,e-f-h-E）i=3,m=9,k=3i=3,m=F1,F4i!=2,ik+1P1（S-a-b-9,k=3e-f-g-E）6、条件组合覆盖：每个判定的每个条件的可能出现的结果的所有可能的组合至少出现一次。12345i=2, i=km%i=0i=2, i=k+1ik+1测试用例输入输出覆盖条件覆盖条件组合覆盖路径取值i=2,m=9,k=3i=3,m=T1,T2,T3,F1,2,1,5P1（S-a-b-c-9，k=34d-i-e-f-h-E ）i=3,m=4,k=2i=3,m=F1,T42,4P1（S-a-b-f-4,k=2g-E ）i=2,m=4,k=2i=2,m=T1,T2,T3,F1,5P1（S-a-b-4,k=24e-f-h-E ）i=3,m=9,k=3i=3,m=F1,F42,5P1（S-a-b-9,k=3e-f-g-E ）7、路径覆盖：所有可能被执行到的路径至少执行一次。测试用例输入输出覆盖条件覆盖条件组合覆盖路径取值i=2,m=9,k=3i=3,m=T1,T2,T3,F1,2,1,5P1（S-a-b-c-9，k=34d-i-e-f-h-E ）i=3,m=4,k=2i=3,m=F1,T42,4P1（S-a-b-f-welcome精品4,k=2g-E ）i=2,m=4,k=2i=2,m=