逻辑覆盖法的设计流程

1、题目：逻辑覆盖法是设计白盒测试用例的主要方法之一，它是通过对程序逻辑结构的遍历实现程序的覆盖。针对以下由C语言编写的程序，分别设计测试数据满意6种白盒测试逻辑覆盖方法。#include"stdio.h"#include"math.h"void main( int m)int i,k;scanf("%d",&m);k=sqrt(m);for (i=2; i<=k; i+)if (m%i=0) break;if (i>=k+1)printf("%d is a selected numbern",m)

2、;elseprintf("%d is not a selected numbern",m);设计流程：流程图语句覆盖判定覆盖条件覆盖判定/条件覆盖条件组合覆盖路径覆盖1、流程图· 2、语句覆盖：全部语句至少执行一次。测试用例如表所示。测试用例输入输出bcdf覆盖路径i=2,m=9,k=3i=3,m=9，k=3TT1T2F1T2FP1（S-a-b-c-d-i-e-f-h-E）i=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,

3、m=9，k=3TT1T2F1T2FP1（S-a-b-c-d-i-e-f-h-E）i=3,m=4,k=2i=3,m=4,k=2FTP1（S-a-b-f-g-E）i=2,m=4,k=2i=2,m=4,k=2TTTFP1（S-a-b-e-f-h-E）i=3,m=9,k=3i=3,m=9,k=3FTP1（S-a-b-e-f-g-E）· 4、条件覆盖：每个判定中的每个条件可能出现的结果至少出现一次。测试用例输入输出取值条件详细取值条件覆盖路径i=2,m=9,k=3i=3,m=9，k=3T1,T2,T3,F4i=2,i<=k,m%i=0,i<k+1P1（S-a-b-c-d-i-e-f

4、-h-E）i=3,m=4,k=2i=3,m=4,k=2F1,T4i!=2,i>=k+1P1（S-a-b-f-g-E）i=2,m=4,k=2i=2,m=4,k=2T1,T2,T3,F4i=2,i<=k,m%i=0,P1（S-a-b-e-f-h-E）i=3,m=9,k=3i=3,m=9,k=3F1,F4i!=2,i<k+1P1（S-a-b-e-f-g-E）· 5、判定/条件覆盖：每个判定结果至少出现一次，每个判定中的条件可能出现的结果至少出现一次。TF1i=2i!=22i<=k3m%i=0m%i!=04i<k+1i<k+1测试用例输入输出取值条件详细取

5、值条件覆盖路径i=2,m=9,k=3i=3,m=9，k=3T1,T2,T3,F4i=2,i<=k,m%i=0,i<k+1P1（S-a-b-c-d-i-e-f-h-E）i=3,m=4,k=2i=3,m=4,k=2F1,T4i!=2,i>=k+1P1（S-a-b-f-g-E）i=2,m=4,k=2i=2,m=4,k=2T1,T2,T3,F4i=2,i<=k,m%i=0,P1（S-a-b-e-f-h-E）i=3,m=9,k=3i=3,m=9,k=3F1,F4i!=2,i<k+1P1（S-a-b-e-f-g-E）6、条件组合覆盖：每个判定的每个条件的可能出现的结果的全部可

6、能的组合至少出现一次。1i=2, i<=km%i=02i=2, i<=km%i!=03i!=24i>=k+15i<k+1测试用例输入输出覆盖条件取值覆盖条件组合覆盖路径i=2,m=9,k=3i=3,m=9，k=3T1,T2,T3,F41,2,1,5P1（S-a-b-c-d-i-e-f-h-E）i=3,m=4,k=2i=3,m=4,k=2F1,T42,4P1（S-a-b-f-g-E）i=2,m=4,k=2i=2,m=4,k=2T1,T2,T3,F41,5P1（S-a-b-e-f-h-E）i=3,m=9,k=3i=3,m=9,k=3F1,F42,5P1（S-a-b-e-f-g-E）7、路径覆盖： 全部可能被执行到的路径至少执行一次。测试用例输入输出覆盖条件取值覆盖条件组合覆盖路径i=2,m=9,k=3i=3,m=9，k=3T1,T2,T3,F41,2,1,5P1（S-a-b-c-d-i-e-f-h-E）i=3,m=4,k=2i=3,m=4,k=2F1,T42,4P1（S-a-b-f-g-E）i=