软件质量保证与测试 白盒测试

1、白盒测试n什么叫路径n路径覆盖法的应用n全路径覆盖法n路径全覆盖法n基本路径覆盖法n循环路径覆盖法nZ路径覆盖法n小结路径n路径的含义q来源于图的边q图可以不同的含义(如流程图、状态图)流程图中的路径S0 public void func(int C ) S1 if(C10) S2 F=F+C; Flag = 1;S3 else if (C5) S4 F=F-1; else S5 F=C*12;S6 S0S1S3S2S5S4S6R路径覆盖的应用n应用：考察文档、编码等是否符合规范；考察内部结构、数据的结构、控制的流向、数据的流向等；既可以应用在高层测试，也可以用在底层测试中既可以应用在高层测试

2、，也可以用在底层测试中；可静态测试，也可动态测试独立路径n独立路径:q从起点到终点q边的有序集合q至少新加入一个新边n路径覆盖的用例集q独立路径集独立路径（例）S0S1S3S2S5S4S6Rabcdefghij独立路径：a-b-c-e-ga-b-d-f-ga-h-ia-h-j-h-Ia-h-j-b-c-e-ga-h-j-h-j-h-i全路径覆盖法n全路径覆盖法q用例集覆盖全部的用例集覆盖全部的执行可能执行可能q在存在循环迭代的在存在循环迭代的情况时，可能无法情况时，可能无法实现实现S0S1S3S2S5S4S6Rabcdefghij全路径覆盖（例）S0S1S3S2S5S4S6Rabcdefghi

3、j无j边时的全路径覆盖：1. a-b-c-e-g2. a-b-d-f-g3. a-h-i有j边时的全路径覆盖：1. a-b-c-e-g2. a-b-d-f-g3. a-h-I4. a-h-j-h-I5. a-h-j-b-c-e-g6. a-h-j-b-d-f-g7. a-h-j-h-j-b-c-e-g8. a-h-j-h-j-b-d-f-g9. .路径(边)的全覆盖n边的全覆盖q用例集覆盖全部的边用例集覆盖全部的边u 无j时1.a-b-c-e-g2.a-b-d-f-g3.a-h-iu 有j时(不唯一)1.a-b-c-e-g2.a-b-d-f-g3.a-h-I4.a-h-j-h-IS0S1S3S

4、2S5S4S6Rabcdefghij对比n全路径覆盖q用例数：2*3=6(1,4), (1,5), (2,4), (2,5), (3,4), (3,5)n边(路径)覆盖q用例数：3q(不唯一) (1,4),(2,4), (3,5)S0S1S212345边覆盖的不足n循环迭代覆盖不充分q循环路径覆盖n多个边上缺陷的无关性假设多个边上缺陷的无关性假设u一个边上的缺陷不会被同一条一个边上的缺陷不会被同一条独立路径上的其它边上的缺陷独立路径上的其它边上的缺陷所隐藏所隐藏S0S1S212345基本路径覆盖n核心思想q测试用例均为独立路径独立路径q保证每一条独立路径中每一条独立路径中的边，至少出现在两个的

5、边，至少出现在两个独立路径中独立路径中n例(1,4),(2,4),(3,5),增加(3,4)S0S1S212345基本路径覆盖法过程1.确定图(流程图/状态图)2.确定基本路径数目3.构造基本路径集4.为每条基本路径生成测试用例计算圈复杂度-方法1nV(G) = E-N+2P E为图G中的边数，N为图G中的节点数，P为图G中的联通区域个数(通常为1)n对于多入口、多出口的图，可以引入一个虚拟的单入口和一个虚拟的单出口，并在新的虚拟图中，应用 V(G) = E-N+2计算圈复杂度nV(G) = E-N+2P E = 13, N=9,P=1V(G)=13-9+2=6123457869计算圈复杂度-

6、方法2圈复杂度 = 图G中的区域数 = 6 123457869ABCDEF计算圈复杂度-方法3n使用连接矩阵，计算圈复杂度2345678abcdefghijk1连接矩阵连接到的节点连接到的节点连接连接连接连接123456781010000001-1=02001010002-111=1500000000/6000000112-11=08000000101-1=0连接总数连接总数4圈复杂度圈复杂度4+1=5构建独立路径集(不唯一)n1,3,8,9n1,2,4,7,9n1,2,4,8,9n1,2,4,3,8,9n1,2,5

7、,7,9n1,2,6,2,4,7,9123457869ABCDEF构建独立路径集(不唯一)2345678abcdefghijk15条基本路径(如)1.abef2.abdijf3.abdghjf4.abekbef5.ac循环路径覆盖n循环结构q简单循环q顺序循环q嵌套循环q带跳转循环n针对各种循环结构，设计测试用例简单循环覆盖n循环次数：0，1，2，m，n-1,n，n+1顺序循环覆盖n按顺序n对第一个循环执行简单循环测试；n测试下一个循环，期间将前面的循环次数设为典型值n重复此过程，直至所有循环测试完毕。嵌套循环覆盖n从内层循环开始，并对其执行简单循环测试n逐层向外测试，期间保持内层循环次数为典

8、型值，其它层最小1. 绿、蓝绿、蓝=1，对红执行简单循环测试，对红执行简单循环测试2. 绿绿=1，红，红=典型值，对蓝进行简单循环测典型值，对蓝进行简单循环测试试3. 红、蓝红、蓝=典型值，对绿执行简单循环测试典型值，对绿执行简单循环测试带跳转的循环覆盖n在循环次数分别为：0，1，2，m，n-1,n，n+1n测试跳转Z路径循环覆盖nZ路径q一条路径中，每个循环迭代的测试至多为1.nZ路径测试q只针对循环次数为0和1的情况，设计测试用例。Z路径循环覆盖(例)n针对j为0次qa-h-In针对j为1次1.a-h-j-h-I2.a-h-j-b-d-f-g3.a-h-j-b-c-e-gS0S1S3S2S5S4S6Rabcdefghij小结-路径覆盖n路径是指图中的边；n图既可以是流程图