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

题目： 逻辑覆盖法是设计白盒测试用例的主要方法之一，它是通过对程序逻辑结构的遍 历实现程序的覆盖。针对以下由 C 语言编写的程序，分别设计测试数据满足 6 种白盒 测试逻辑覆盖方法。 #includestdio.h #includemath.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 number\n,m); else printf(%d is not a selected number\n,m); } 设计流程： 流程图——语句覆盖——判定覆盖——条件覆盖——判定 / 条件覆盖——条件组合覆 盖——路径覆盖 1、流程图 ? 2 、语句覆盖：所有语句至少执行一次。测试用例如表所示。 测试用例输入 输出 b c d f 覆盖路径 1 1 i=2,m=9,k=3 i=3,m=9 T T F F P1 （S-a-b-c-d-i-e-f-h-E ） T T 2 2 ，k=3 i=3,m=4,k=2 i=3,m=4 F T P1 （S-a-b-f-g-E ） ,k=2 ? 3 、判定覆盖：每个判定结果至少执行一次。 测试用例输入 输出 b c d f 覆盖路径 i=2,m=9,k=3 i=3,m= T T1 F1 F P1 （S-a-b-c-d-i-e-f-h- 2 2 T T 9，k=3 E） i=3,m=4,k=2 i=3,m= F T P1 （S-a-b-f-g-E ） 4,k=2 i=2,m=4,k=2 i=2,m= T T T F P1 （S-a-b-e-f-h-E ） 4,k=2 i=3,m=9,k=3 i=3,m= F T P1 （S-a-b-e-f-g-E ） 9,k=3 ? 4 、条件覆盖：每个判定中的每个条件可能出现的结果至少出现一次。 测试用例输入 输出 取值条件 具体取值条件 覆盖路径 i=2,m=9,k=3 i=3,m=9 T1,T2,T3 i=2,i=k,m%i P1 （S-a-b-c- ，k=3 ,F4 ==0,ik+1 d-i-e-f-h-E ） i=3,m=4,k=2 i=3,m=4 F1,T4 i!=2,i=k+1 P1