Chapter13软件测试技术….ppt

Chapter 13软件测试技术Software Testing Techniques 13.1 Software Testing Testability Operability—it operates cleanly Observability—the results of each test case are readily observed Controlability—the degree to which testing can be automated and optimized Decomposability—testing can be targeted Simplicity—reduce complex architecture and logic to simplify tests Stability—few changes are requested during testing Understandability—of the design What Testing Shows Who Tests the Software? Exhaustive Testing Selective Testing 13.2 测试技术分类 静态测试 代码会审 code inspection 走查 walk-through 办公桌检查 desk checking 例如：Yourdon结构化走通、IBM的Fagan检查 动态测试 黑盒测试 白盒测试 静态测试 定义:人工方式进行的代码复审。又称人工测试，代码复审。 目的：检查程序的静态结构，找出编译不能发现的错误和人的主观认识上的偏差。 范围：需求定义、设计文档、源代码（着重分析） 特点： Myers的研究表明，对于某些类型的错误，静态测试更有效 。 经验表明，组织良好的代码复审可以发现程序中30%到70%的编码和逻辑设计错误。 不存在错误定位问题。 动态测试 定义: 机器测试，在设定的测试数据上执行被测试程序的过程。 目的: 通过执行程序代码动态地验证结果的正确性。 三个过程：设计测试用例；执行被测试程序；分析执行结果并发现错误。 两个方面：在测试数据上程序是对的；测试数据是正确的 Software Testing Test Case Design 13.3 白盒测试 White-Box Testing Why Cover? 逻辑覆盖（Logic Coverage) 语句覆盖 判定覆盖 条件覆盖 判定/条件覆盖 条件组合覆盖 路径覆盖 1. 语句覆盖 语句覆盖就是设计若干个测试用例，运行被测程序，使得每一可执行语句至少执行一次。 在图例中，正好所有的可执行语句都在路径L1上，所以选择路径 L1设计测试用例，就可以覆盖所有的可执行语句。 测试用例的设计格式如下【输入的(A, B, X)，输出的(A, B, X)】 为图例设计满足语句覆盖的测试用例:【(2, 0, 4)，(2, 0, 3)】或 【(3, 0, 9)，(3, 0, 4)】 覆盖 a-c-e【L1】 2. 判定覆盖 判定覆盖就是设计若干个测试用例，运行被测程序，不仅每条语句至少执行一次，而且程序中每个判断的取真分支和取假分支至少经历一次。 判定覆盖又称为分支覆盖。 对于图例，如果选择路径L1和L2，就可得满足要求的测试用例: 【(2, 0, 4)，(2, 0, 3)】覆盖 a-c-e【L1】 【(1, 1, 1)，(1, 1, 1)】覆盖 a-b-d【L2】 如果选择路径L3和L4，还可得另一组可用的测试用例: 【(2, 1, 1)，(2, 1, 2)】覆盖 a-b-e【L3】 【(3, 0, 3)，(3, 1, 1)】覆盖 a-c-d【L4】 3. 条件覆盖 条件覆盖就是设计若干个测试用例，运行被测程序，使得程序中不仅每条语句至少执行一次，而且每个判断的每个条件的可能取值至少执行一次。 在图例中，可事先对所有条件的取值加以标记。例如， 对于第一个判断(A＞1 AND B＝0 )： 条件 A＞1 取真为 ，取假为条件 B＝0 取真为 ，取假为 对于第二个判断(A＝2 OR X＞1)： 条件A＝2 取真为 ，取假为条件X＞1 取真为 ，取假为 测 试 用 例 覆盖分支 条件取值 【(2, 0, 4)，(2, 0, 3)】 L1(a-c-e) 【(1, 0, 1)，(1, 0, 1)】 L2(a-b-d) 【(2, 1, 1)，(2, 1, 2)】 L3(a-b-e) 或 【(1, 0, 3)，(1, 0, 4)】 L3(a-b-e) 【(2, 1, 1)，(2, 1, 2)】 L3(