《软件质量保证与测试》04 白盒测试

白盒测试路径覆盖法什么叫路径路径覆盖法的应用全路径覆盖法路径全覆盖法基本路径覆盖法循环路径覆盖法Z路径覆盖法小结路径路径的含义来源于图的边图可以不同的含义(如流程图、状态图)流程图中的路径S0publicvoidfunc(intC){S1if(C>10){S2F=F+C;Flag=1;S3}elseif(C>5){S4F=F-1;}else{S5F=C*12;S6}S0S1S3S2S5S4S6R路径覆盖的应用应用：考察文档、编码等是否符合规范；考察内部结构、数据的结构、控制的流向、数据的流向等；既可以应用在高层测试，也可以用在底层测试中；可静态测试，也可动态测试独立路径独立路径:从起点到终点边的有序集合至少新加入一个新边路径覆盖的用例集独立路径集独立路径（例）S0S1S3S2S5S4S6Rabcdefghij独立路径：a-b-c-e-ga-b-d-f-ga-h-ia-h-j-h-Ia-h-j-b-c-e-g…a-h-j-h-j-h-i全路径覆盖法全路径覆盖法用例集覆盖全部的执行可能在存在循环迭代的情况时，可能无法实现S0S1S3S2S5S4S6Rabcdefghij全路径覆盖（例）S0S1S3S2S5S4S6Rabcdefghij无j边时的全路径覆盖：a-b-c-e-ga-b-d-f-ga-h-i有j边时的全路径覆盖：a-b-c-e-ga-b-d-f-ga-h-Ia-h-j-h-Ia-h-j-b-c-e-ga-h-j-b-d-f-ga-h-j-h-j-b-c-e-ga-h-j-h-j-b-d-f-g

...路径(边)的全覆盖边的全覆盖用例集覆盖全部的边无j时a-b-c-e-ga-b-d-f-ga-h-i有j时(不唯一)a-b-c-e-ga-b-d-f-ga-h-Ia-h-j-h-IS0S1S3S2S5S4S6Rabcdefghij对比全路径覆盖用例数：2*3=6

(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)

边(路径)覆盖用例数：3(不唯一)

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

(1,4),(2,4),(3,5),

增加(3,4)S0S1S212345基本路径覆盖法过程确定图(流程图/状态图)确定基本路径数目构造基本路径集为每条基本路径生成测试用例计算圈复杂度-方法1V(G)=E-N+2P

E为图G中的边数，N为图G中的节点数，P为图G中的联通区域个数(通常为1)对于多入口、多出口的图，可以引入一个虚拟的单入口和一个虚拟的单出口，

并在新的虚拟图中，应用

V(G)=E-N+2计算圈复杂度V(G)=E-N+2PE=13,N=9,P=1V(G)=13-9+2=6123457869计算圈复杂度-方法2圈复杂度=图G中的区域数=6123457869ABCDEF计算圈复杂度-方法3使用连接矩阵，计算圈复杂度2345678abcdefghijk1连接矩阵连接到的节点连接连接123456781010000001-1=02001010002-111=1500000000/6000000112-11=08000000101-1=0连接总数4圈复杂度4+1=5构建独立路径集(不唯一)1,3,8,91,2,4,7,91,2,4,8,91,2,4,3,8,91,2,5,7,91,2,6,2,4,7,9123457869ABCDEF构建独立路径集(不唯一)2345678abcdefghijk15条基本路径(如)abefabdijfabdghjfabekbefac循环路径覆盖循环结构简单循环顺序循环嵌套循环带跳转循环针对各种循环结构，设计测试用例简单循环覆盖循环次数：0，1，2，m，n-1,n，n+1顺序循环覆盖按顺序对第一个循环执行简单循环测试；测试下一个循环，期间将前面的循环次数设为典型值重复此过程，直至所有循环测试完毕。嵌套循环覆盖从内层循环开始，并对其执行简单循环测试逐层向外测试，期间保持内层循环次数为典型值，其它层最小绿、蓝=1，对红执行简单循环测试绿=1，红=典型值，对蓝进行简单循环测试红、蓝=典型值，对绿执行简单循环测试带跳转的循环覆盖在循环次数分别为：

0，1，2，m，n-1,n，n+1测试跳转Z路径循环覆盖Z路径一条路径中，每个循环迭代的测试至多为1.Z路径测试只针对循环次数为0和1的情况，设计测试用例。Z路径循环覆盖(例)针对j为0次a-h-I针对j为1次a-h-j-h-Ia-h-j-b-d-f-ga-h-j-b-c-e-gS0S1S3S2S5S4S6Rabcdefghij小结-路径覆盖路径是指图中的边；图既可以是流程图、也