软件测试方法论.ppt

2021/11/14 * 3.7 程序变异 是一种错误驱动测试,针对某类特定程序错误实现测试。 程序强变异 程序弱变异 2021/11/14 * 3.8 小结 白盒测试方法分类 基本路径测试 逻辑覆盖测试 路径测试 2021/11/14 * 专题小结 软件测试用例设计－黑盒测试测试的关键就是确定正确的测试用例。本部分详细介绍几种软件测试用例设计方法:等价类划分、因果图、边值分析、判定表驱动测试和测试用例自动生成原理和方法。 2021/11/14 * 专题小结 软件测试用例设计－白盒测试 程序结构分析 逻辑覆盖测试 路径 2021/11/14 * 专题小结 学习要求: 理解软件开发过程中每一阶段的软件测试方法,理解他们的作用和意义。能够根据问题选择正确的软件测试方法 熟练掌握软件测试用例的设计方法，将设计得到的测试用例编到软件测试用例表中，根据软件测试用例表进行软件测试、填写软件测试记录。 结合实际的测试用例设计过程，理解自动测试用例的原理和方法。 2021/11/14 * 专题小结 训练: 测试用例的设计 编制软件测试用例表,进行软件测试 2021/11/14 * 谢谢! * * * * * 2021/11/14 * 3.2 逻辑覆盖 语句覆盖 判定覆盖 条件覆盖 判定－条件覆盖 条件组合覆盖 路径覆盖。 逻辑覆盖是以程序内部的逻辑结构为基础的设计测试用例的技术。它属白盒测试。 2021/11/14 * 2021/11/14 * 2021/11/14 * 2021/11/14 * 2021/11/14 * 2021/11/14 * 3.2.1语句覆盖　 语句覆盖就是设计若干个测试用例,运行被测程序，使得每一可执行语句至少执行一次。 在图例中，正好所有的可执行语句都在路径L1上，所以选择路径 L1设计测试用例，就可以覆盖所有的可执行语句。 2021/11/14 * 测试用例的设计格式如下【输入的(A, B, X),输出的(A, B, X)】 为图例设计满足语句覆盖的测试用例是:【(2, 0, 4)，(2, 0, 3)】　 覆盖 ace【L1】 2021/11/14 * 3.2.2判定覆盖 判定覆盖就是设计若干个测试用例,运行被测程序，使得程序中每个判断的取真分支和取假分支至少经历一次。 判定覆盖又称为分支覆盖。 对于图例，如果选择路径L1和L2，就可得满足要求的测试用例: 2021/11/14 * 【(2, 0, 4),(2, 0, 3)】覆盖 ace【L1】【(1, 1, 1)，(1, 1, 1)】覆盖 abd【L2】 2021/11/14 * 如果选择路径L3和L4,还可得另一组可用的测试用例:【(2, 1, 1)，(2, 1, 2)】覆盖 abe【L3】【(3, 0, 3)，(3, 1, 1)】覆盖 acd【L4】 2021/11/14 * 3.2.3条件覆盖 条件覆盖就是设计若干个测试用例,运行被测程序，使得程序中每个判断的每个条件的可能取值至少执行一次。 在图例中，我们事先可对所有条件的取值加以标记。例如， 对于第一个判断: 条件 A＞1 取真为 ，取假为 条件 B＝0 取真为 ，取假为 2021/11/14 * 对于第二个判断: 条件A＝2 取真为 ,取假为 条件X＞1 取真为 ，取假为 测试用例 覆盖分支 条件取值 【(2, 0, 4)，(2, 0, 3)】L1(c, e) 【(1, 0, 1)，(1, 0, 1)】L2(b, d) 【(2, 1, 1)，(2, 1, 2)】L3(b, e) 2021/11/14 * 或 测 试 用 例 覆盖分支 条件取值 【(1, 0, 3),(1, 0, 4)】 L3(b, e) 【(2, 1, 1)，(2, 1, 2)】 L3(b, e) 2021/11/14 * 3.2.4判定－条件覆盖 判定－条件覆盖就是设计足够的测试用例,使得判断中每个条件的所有可能取值至少执行一次，同时每个判断中的每个条件的可能取值至少执行一次。 2021/11/14 * 测 试 用 例 覆盖分支 条件取值 【(2, 0, 4),(2, 0, 3)】L1(c, e) 【(1, 1, 1)，(1, 1, 1)】L2(b, d) 2021/11/14 * 2021/11/14 * 3.2.5条件组合覆盖 条件组合覆盖就是设计足够的测试用例,运行被测程序，使得每个判断的所有可能的条件取值组合至少执行一次。 记 ① A＞1, B＝0 作  ② A＞1, B≠0 作  ③ A≯1, B＝0 作