动态测试技术详解.ppt

第3章 动态测试技术 《高级软件测试技术》 杜庆峰 2011年10月 第三章 动态测试技术 白盒测试技术 黑盒测试技术 1 2 3.1 黑盒测试技术 等价类测试 黑盒测试技术 决策表测试法 Use Case法 边界值测试 错误推测法 因果图法 正交实验法 黑盒测试方法选择的策略 3.1.1 边界值测试 基本边界值分析的基本思想是在输入变量的取值区间内取最小值、略高于最小值、正常值、略低于最大值和最大值5个值。 测试用例个数：4n+1. 基本边界值分析 健壮性边界分析 边界值分析设计 测试用例的原则 最坏情况边界分析 健壮性边界分析除了变量的5个边界值分析取值以外，还要取一个略超过最大值（max+）的值，以及取一个略小于最小值（min-）的值，以测试超过边界极值时系统会有什么表现。测试用例个数：6n+1. 最坏情况边界分析是“多缺陷假”设的情况，也就是程序的失效是由于两个（或多个）变量值在其边界值附近取值共同引起的。测试用例个数 3.1.2 等价类测试 弱一般等价类测试 等价类方法设计原则 弱健壮等价类测试 强健壮等价类测试 等价类测试的思想是通过对每个等价类中取一个元素或一个点来作为测试用例，如果等价类划分合理，则可以大大降低测试用例数量和测试用例之间的冗余。 等价类的基本思想 强一般等价类测试 6条等价类设计原则 3.1.3 错误推测法 错误推测法就是基于经验和直觉推测程序中所有可能存在的各种错误或缺陷，有针对性地设计测试用例的方法。 错误推测法的基本思想是列举出程序中所有可能有的错误或缺陷和容易发生错误或缺陷的特殊情况，根据这些推测来设计测试用例。错误推测法本身不是一种测试技术，而是一种可以应用到所有测试技术中产生更加有效测试的一种技能。 3.1.43.1.5 因果图法 决策表测试法 特点： 考虑输入条件间的组合关系； 考虑输出条件对输入条件的信赖关系，即因果关系； 测试用例发现错误或缺陷的效率高； 能检查出功能说明书（规约）中的某些不一致或遗漏； 因果图方法最终生产的就是判定表，它适合于检查程序输入条件和各种组合情况。 在所有功能性测试方法中，基于决策表的测试方法是最严格的，因为决策表具有逻辑严格性。 决策表的组成描述： 条件桩 行动桩 条件条目 行动条目 规则 3.1.63.1.7 Use Case法 正交实验法 现在的软件几乎都是用事件触发来控制流程的， 这种在软件设计方面的思想也可引入到软件测试中，可以比较生动地描绘出事件触发时的情景，有利于测试设计者设计测试用例，同时使测试用例更容易理解和执行。 在使用场景法测试一个软件的时候，测试流程按照一定的事件流正确地实现某个软件的功能时，那么把这个流称为该软件功能的基本流；而凡是出现故障或缺陷或例外的流程，就称之为备选流。 在利用决策表或因果图来设计测试用例时，往往由于因果关系非常庞大，导致利用决策表或因果图而得到的测试用例数目多得惊人，给软件测试带来沉重的负担。为了有效地、合理地减少测试的工时与费用，可利用正交试验法进行测试用例的设计。 正交实验设计方法是依据Galois理论，从大量的（实验）数据（测试用例）中挑选适量的、有代表性的点（用例），从而合理地安排实验（测试）的一种科学实验设计方法。 3.1.8 黑盒测试方法选择的策略 首先考虑等价类划分 在任何情况下都必须使用边界值分析方法。 可以用错误推测法追加一些测试用例作补充，这需要依靠测试工程师的智慧和经验。 如果软件的功能说明中含有输入条件的组合情况，也就是输入变量之间有很强的依赖关系，则一开始就可选用因果图法或决策表法。但是不要忘记用边界值法或其他方法设计测试用例作补充。 如果被测软件的业务逻辑清晰，同时又是系统级别的测试，那么可以考虑用场景法来设计测试用例。 对于参数配置类的软件，选用正交试验法可以达到测试用例数量少且分布均匀的目的。 3.2 白盒测试技术 白盒测试技术 程序结构分析 白盒测试概念 逻辑覆盖测试法 其他白盒测试方法简介 程序插装 白盒测试方法选择的策略 3.2.1 白盒测试概念 白盒测试是一种用于检查代码是否按照预期工作的验证技术，又称结构测试或逻辑驱动测试或基于程序的测试。 白盒测试的主要特点是它主要针对被测程序的源代码，测试者可以完全不考虑程序的功能。 白盒测试的测试方法有代码检查法、静态结构分析法、静态质量度量法、逻辑覆盖法、基本路径测试法、域测试、符号测试、Z路径覆盖、程序变异以及程序控制流分析、数据流分析等。 3.2.2 程序结构分析 程序的结构形式是白盒测试的主要依据。将从控制流分析、数据流分析和信息流分析的不同方面讨论几种机械性的方法分析程序结构。 控制流分析 数据流分析 信息流分析 3.2.3 逻辑覆盖测试法 结构测试是依据被测程序的逻辑结构设计测试用例，