hw软件测试（周）6.pptVIP

Unit6 白盒测试 6.1 概述 白盒测试（White-box Testing）也称结构测试。“白盒”将程序形象地比喻为放在一个透明的盒子里，故测试人员了解被测程序的内部结构。 测试人员利用程序的内部逻辑结构和相关信息，对程序的内部结构和路径进行测试，检验其是否达到了预期的设计要求。 6.2 逻辑覆盖法 逻辑覆盖是以程序的内部逻辑结构为基础的测试用例设计技术。它要求测试人员十分清楚程序的逻辑结构，考虑的是测试用例对程序内部逻辑覆盖的程度。 练习：对下图所示程序段进行语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖和路径覆盖方法进行测试用例设计。 6.3 基本路径测试 1、流图 控制流图（可简称流图）是对程序流程图进行简化后得到的，它可以更加突出的表示程序控制流的结构。 控制流图中包括两种图形符号：结点和控制流线。 结点由带标号的圆圈表示，可代表一个或多个语句、一个处理框序列和一个条件判定框（假设不包含复合条件）。 控制流线由带箭头的弧或线表示，可称为边。它代表程序中的控制流。 对于复合条件，则可将其分解为多个单个条件，并映射成控制流图。 基本路径测试法的步骤： 导出程序流程图的拓扑结构-流图(控制流程图) 计算流图G的环路复杂性V(G) 确定只包含独立路径的基本路径集 设计测试用例 6.5 程序插桩 程序插桩（Instrumentation）是一种通过向被测程序中插入操作来发现和定位错误的方法。 在测试或调试程序时，常常需要在程序中插入一些打印语句，使其在程序执行过程中能打印出我们关心的信息，通过这些信息来了解程序执行过程中的动态特性，如程序的实际执行路径、程序中某语句的执行次数、程序中各路径的被覆盖程度、程序中某变量在特定时刻的值等。这些是可以通过程序插桩来完成的。 以计算整数X和整数Y的最大公约数的程序为例，来说明程序插桩方法的要点。程序流程图如图所示。 图中的虚线框是为了记录语句的执行次数而插入的，其形式为： C(i) = C(i) +1 i=1,2,…6 6.6 白盒测试综合策略 为实现测试的逻辑覆盖，必须设计足够多的测试用例，并使用这些测试用例执行被测程序，实施测试。我们关心的是：对于某个具体的程序来说，至少需要设计多少个测试用例。这里提供一种估算最少测试用例数的方法。 结构化程序是由 3 种基本控制结构组成：顺序型（构成串行操作）、选择型（构成分支操作）和重复型（构成循环操作）。 为了把问题化简，避免出现测试用例极多的组合爆炸，把构成循环操作的重复型结构用选择结构代替。这样，任一循环便改造成进入循环体或不进入循环体的分支操作了。 对于一般的、更为复杂的问题，估算最少测试用例个数的原则也是同样的： 如果在N-S图中存在有并列的层次A1、A2，A1和A2的最少测试用例个数分别为a1、a2，则由 A1、A2 两层所组合的 N-S图对应的最少测试用例数为a1×a2。 如果在N-S图中不存在有并列的层次，则对应的最少测试用例数由并列的操作数决定，即N-S图中除谓词之外的操作框的个数。 逻辑覆盖的出发点是合理的、完善的。所谓“覆盖”，就是想要做到全面而无遗漏，但逻辑覆盖并不能真正做到无遗漏。 例如：我们不小心将前面提到的程序段中的 if (x3 Z10) {…… } 错写成 if (x=3 Z10) {…… } 按照我们前面设计的测试用例（x的值取2或4）来看，逻辑覆盖对这样的小问题都无能为力。分析出现这一情况的原因在于：错误区域仅仅在x=3这个点上，即仅当x的值取3时，测试才能发现错误。面对这类情况，我们应该从中吸取的教训是测试工作要有重点，要多针对容易发生问题的地方设计测试用例。 ESTCA覆盖准则：在容易发生问题的地方设计测试用例，即重视程序中谓词（条件判断）的取值。 ESTCA覆盖准则是一套错误敏感用例分析规则。这一规则虽然并不完备，但在普通程序中却是有效的。原因在于这是一种经验型的覆盖准则，规则本身针对了程序编写人员容易发生的错误，或是围绕着发生错误的频繁区域，从而提高了发现错误的命中率。具体规则如下： [规则1] 对于A rel B型 (rel可以是、= 或 ) 的分支谓词，应适当的选择A与B的值，使得测试执行到该分支语句时，AB、A=B、AB的情况分别出现一次。 ——这是为了检测逻辑符号写错的情况，如将“AB”错写为“AB”。 [规则2] 对于A rel C型 (rel可以是或, A是变量，C是常量)的分支谓词：当rel为时，应适当的选择A的值，使A=C-M （M是距C最小的机器容许正数，若A和C都为正整数时，M=