2测试用例的设计.pptVIP

测试用例的设计 黑盒测试和白盒测试 测试用例的设计 软件测试中最重要的因素是设计和生成有效的测试用例 完全发现软件中的错误是不可能的，那么如何发现尽可能多的错误？ 软件测试最关键的问题 在给定的时间和成本约束下，在所有可能的测试用例中，哪个子集最有可能发现最多的错误？ 采用某种策略设计测试用例 随机输入测试：低效 黑盒测试和白盒测试 穷举的黑盒测试和白盒测试通常都是不可能的，将两种测试的要素组合起来可以得到一种合理的测试策略 使用特定的面向黑盒测试的测试用例设计方法，而后使用白盒测试方法对程序的逻辑结构进行检查以补充这些测试用例，借此来设计出一个严格的测试 测试用例设计方法 黑盒测试 边界值分析 等价类划分 因果图 判定表 错误猜测 白盒测试 语句覆盖 判定覆盖 条件覆盖 判定/条件覆盖 多重条件覆盖 4.1 白盒测试 白盒测试关注的是测试用例执行的程度或覆盖程序逻辑结构的程度 完全白盒测试：将程序中的每条路径都执行到，但完全路径测试不切合实际，例如程序中有循环语句时 设计足够的测试用例，满足某些覆盖准则 语句覆盖 判定/分支覆盖 条件覆盖 判定/条件覆盖 多重条件覆盖 4.1.1 逻辑覆盖准则 语句覆盖：将程序中的每条语句至少执行一次 判定/分支覆盖：每个判断都至少有一个为真和为假的输出结果，即每条分支路径都至少遍历一次；所有入口点至少执行一次 条件覆盖：将一个判断中的每个条件的所有可能的结果至少执行一次；所有入口点至少执行一次 判定/条件覆盖：将一个判断中的每个条件的所有可能的结果至少执行一次，将每个判断的所有可能的结果至少执行一次；所有入口点至少执行一次 多重条件覆盖：将每个判定中的所有可能的条件结果的组合，以及所有的入口点都至少执行一次 例子 测试用例设计 语句覆盖的测试用例（1个） a = 2, b =0, x =3 （ACE） 判定/分支覆盖的测试用例（2个） a=3, b=0, x=3 （ACD）a=2, b=1, x=1 （ABE） 条件覆盖的测试用例（2个） a=1, b=0, x=3 （ABE）a=2, b=1, x=1 （ABE） 判定/条件覆盖的测试用例（2个） a=2, b=0, x=4 （ACE）a=1, b=1, x=1 （ABD） 多重条件覆盖（4个） a=2, b=0, x=4 （ACE） a=2, b=1, x=1 （ABE） a=1, b=0, x=2 （ABE） a=1, b=1, x=1 （ABD） 逻辑覆盖的效果分析 语句覆盖是较弱的准则，通常只作为必要条件 判定覆盖准则较强，一般满足语句覆盖（程序中无判断则例外），但对判定中某些条件的错误可能无法发现 条件覆盖通常较判定覆盖强，可能使判断中的各个条件都取到两个结果，但并不总是让判定取得真假两个结果，如上面的两个测试用例 判定/条件覆盖准则满足判定覆盖和条件覆盖，但由于某些特定的条件会屏蔽其他条件，所以不一定能全部执行到 C语言中的逻辑and和or运算的计算方式——短路 满足多重条件覆盖准则的测试用例集同时满足判定覆盖准则、条件覆盖准则以及判定/条件覆盖准则 结论：白盒测试准则 对包含每个判定只存在一种条件的程序的测试准则 设计出足够数量的测试用例，实现： 将每个判断的所有结果都至少执行一次 将所有的程序入口都至少调用一次，以确保全部的语句都至少执行一次 对包含多重条件判断的程序的测试准则 是设计出足够数量的测试用例，将每个判断的所有可能的条件结果的组合（有些条件组合情况难以生成），以及所有的入口点都至少执行一次。 4.1.2 等价划分 黑盒测试是最常用和最有效的软件测试技术 有效的黑盒测试需要软件的文档 需求文档或者产品说明书，通过这些了解输入什么能得到什么或者操作的结果 没有产品说明书时使用探索测试，分步骤逐渐探索软件的特性 选择测试用例是测试中最重要的一项任务，不正确的选择可能导致测试量过大或过小，甚至测试目标不正确。 等价划分的思想 要从所有可能的输入中要找出某个小的子集，而且是可能发现最多错误的子集，需要意识到到精心挑选的测试用例还应该具备两个特征： 严格控制测试用例的增加——每个测试用例必须体现尽可能多的不同的输入情况 它覆盖了大部分其他可能的测试用例——尽量对程序输入范围进行划分，将其划分为有限数量的等价类，就可以合理地假设测试每个等价类的代表性数据等同于测试该类的其他任何数据。即，如果等价类的某个测试用例发现了某个错误，该等价类的其他用例也应该能发现同样的错误。 “划分”的含义 等价划分法设计测试用例 第一步：确定等价类 选取每个输入条件，并将其划分为两个或多个组：有效等价类代表对程序的有效输入，无效等价类代表其他任何可能的输入条件。 根据输入条件确定等价类的指导原则 取值范围：一个有效等价类，两个无效等价类 取值个