软件测试–12白盒测试.pptVIP

在不同的测试阶段，测试的侧重点不同：在单元测试阶段，以代码检查、逻辑覆盖为主；在集成测试阶段，需要增加静态结构分析、静态质量度量；在系统测试阶段，应根据黑盒测试的结果，采取相应的白盒测试。 逻辑覆盖方法 基本路径测试方法 循环测试 程序插桩技术 静态测试法 为实现测试的逻辑覆盖,必须设计足够多的测试用例,并使用这些测试用例执行被测程序,实施测试.我们关心的是:对于某个具体的程序来说,至少需要设计多少个测试用例.这里提供一种估算最少测试用例数的方法. 我们知道,结构化程序是由 3 种基本控制结构组成:顺序型(构成串行操作),选择型(构成分支操作)和重复型(构成循环操作). 为了把问题化简,避免出现测试用例极多的组合爆炸,把构成循环操作的重复型结构用选择结构代替.这样,任一循环便改造成进入循环体或不进入循环体的分支操作了. 用N-S图表示程序的3种基本控制结构： 图中A、B、C、D、S均表示要执行的操作，P是可取真假值的谓词，Y表真值，N表假值。 图中的 (c) 和 (d) 两种重复型结构代表了两种循环。在做了简化循环的假设以后，对于一般的程序控制流，我们只考虑选择型结构。事实上它已经能体现顺序型和重复型结构了。 显然，要测试这个小程序，需要至少提供4个测试用例才能作到逻辑覆盖，使得ac、ad、bc及bd操作均得到检验。其实，这里的4是图中的第1个分支谓词引出的两个操作，及第2个分支谓词引出的两个操作组合起来而得到的，即 2×2=4。并且，这里的2是由于两个并列的操作，即1+1=2 而得到的。 例如，下图表达了两个顺序执行的分支结构。当两个分支谓词P1和P2取不同值时，将分别执行a或b及c或d操作。 对于一般的、更为复杂的问题，估算最少测试用例个数的原则也是同样的： 如果在N-S图中存在有并列的层次A1、A2，A1和A2的最少测试用例个数分别为a1、a2，则由 A1、A2 两层所组合的 N-S图对应的最少测试用例数为a1×a2。 如果在N-S图中不存在有并列的层次，则对应的最少测试用例数由并列的操作数决定，即N-S图中除谓词之外的操作框的个数。 例：如下图所示的两个N-S图，至少需要多少个测试用例完成逻辑覆盖？ 对于第一个N-S图： 由于图中并不存在并列的层次，最少测试用例数由并列的操作数决定，即为1+1+1=3。 对于第二个N-S图： 由于图中没有包含并列的层次，最少测试用例数仍由并列的操作数决定，即为1+1+1+1+1=5。 例：如下图所示的N-S图，至少需要多少个测试用例完成逻辑覆盖？ 分析该N-S图： 图中的2345和67是并列的两层。其中，2345层对应的最少测试用例数为1+1+1+1+1=5，67层对应的测试用例数为1+1+1=3，2345和67这两层组合后对应的测试用例数为5×3=15。最后，由于两层组合后的部分是不满足谓词1时所要做的操作，还要加上满足谓词1要做的操作，因此整个程序所需测试用例数为15+1=16。 1、估算至少需要多少个测试用例完成逻辑覆盖？ X8 AND Y5 X0 OR Y0 引用语句1 引用语句2 N Y N Y X16 OR Y10 引用语句3 N Y 2、某程序所画出的N-S图 如右图所示的，至少需要 多少个测试用例才能对该 程序实现逻辑覆盖？ 其他方法 循环测试 1 程序插桩技术 2 静态测试方法 3 白盒测试总结 4 引例 有如下代码（C语言）： For (i=0;inum;i++){? ? k=0; for (j=k+1;jn;j++) ? ? {? ?? ???if (A[i][j]A[i][k]) k=j;? ? } B[i]=A[i][k];}该循环的测试用例设计思路是怎样的？ 循环测试 循环分为4种不同类型： 简单循环 嵌套循环 连锁循环（串接循环） 非结构循环（不规则循环） (1) 简单循环测试 ① 零次循环：从循环入口到出口② 一次循环：检查循环初始值③ 二次循环：两次通过循环④ m次循环： 检查多次循环⑤ 最大次数循环n、比最大次数多一次n+1、少一次的循环n-1。 例：求最小值 k = i; for ( j = i+1; j = n; j++ ) if ( A[j] A[k] ) k = j; k = i ; j = i+1; j = n? A[j]A[k]? k = j j ++ f d c a b e (2) 嵌套循环测试 ① 对最内层循环做简单循环的全部测试。所有其它层的循环变量置为最小值； ② 逐步外推，对其外面一层循环进行测试。测试时保持所有外层循环的循环变量取最小值，所有其它嵌套内层循环的循环变量取“典型”值。 ③