逻辑覆盖法的设计流程

《逻辑覆盖法的设计流程》由会员分享，可在线阅读，更多相关《逻辑覆盖法的设计流程（5页珍藏版）》请在装配图网上搜索。

1、题目：逻辑覆盖法是设计白盒测试用例的主要方法之一，它是通过对程序逻辑结构的遍历实现程序的覆盖。针对以下由C语言编写的程序，分别设计测试数据满足6种白盒测试逻辑覆盖方法。#includestdio.h#includemath.hvoidmain(intm)inti,k;scanf(%d,&m);k=sqrt(m);for(i=2;i=k+1)printf(%disaselectednumbern,m);elseprintf(%disnotaselectednumbern,m);条件组合覆设计流程:流程图一一语句覆盖一一判定覆盖一一条件覆盖一一判定/条件覆盖盖路径覆盖1、流程图?2、语句覆盖：所有

2、语句至少执行一次。测试用例如表所示测试用例输入输出bcdf覆盖路径i=2,m=9,k=3i=3,m=9，k=3TTiT2FiT2FPi(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-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)

3、i=3,m=9,k=3i=3,m=9,k=3FTP1(S-a-b-e-f-g-E)?4、条件覆盖：每个判定中的每个条件可能出现的结果至少出现一次。测试用例输入输出取值条件具体取值条件r覆盖路径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-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,ik+1P1(S-a-b-e-f-g-E)?5、判定/条件覆盖：每个判定结果至少出

4、现一次，每个判定中的条件可能出现的结果至少出现一次。TF1i=2i!=22i=k3m%i=Om%i!=04ik+1ik+1测试用例输入输出取值条件具体取值条件覆盖路径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-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,ik+1P1(S-a-b-e-f-g-E)6、条件组合覆盖：每个判定的每个条件的可能出现的结果的所有可能的组

5、合至少出现一次。1i=2,i=km%i=02i=2,i=k+15ik+1测试用例输入输出覆盖条件取值覆盖条件组合覆盖路径i=2,m=9,k=3i=3,m=9，k=3T1,T2,T3,F4121,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,F4121,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)