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

《逻辑覆盖法的设计流程.docx》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。

1、题目：逻辑覆盖法是设计白盒测试用例的主要方法之一，它是通过对程序逻辑结构的遍历实现程序的覆盖。针对以下由C语言编写的程序，分别设计测试数据满足6种白盒测试逻辑覆盖方法。#include"stdio.h"#include"math.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",m);elseprintf("%disnotaselectednumber",

2、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,m=9，k=3TT1T2F1T2FP1（S-a-b-c-d-i

3、-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

4、=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

5、m=9，k=3T1,T2,T3,F4i=2,i<=k,m%i==0,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

6、2,i<=km%i==02i=2,i<=km%i!=03i!=24i>=k+15i

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=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）