软件测试的艺术(第3版)第04章-测试用例的设计.pptxVIP

4.1 白盒测试 4.2 黑盒测试 4.3 错误猜测 4.4 测试策略;软件测试中最重要的因素是设计和生成有效的测试用例 任何程序的测试必定是不完全的，所以很难做到完全发现软件中的错误，那么如何发现尽可能多的错误？ 软件测试最关键的问题 在给定的时间和成本约束下，在所有可能的测试用例中，哪个子集最有可能发现最多的错误？ 采用某种策略设计测试用例 随机输入测试：低效 有策略的黑盒测试和白盒测试;黑盒测试 边界值分析 等价类划分 因果图 判定表 错误猜测;语句覆盖：设计若干测试用例，运行被测程序，使得每一个可执行语句至少执行一次。 判定/分支覆盖：设计若干测试用例，运行被测程序，使得程序每个判断的取真分支和取假分支至少经历一次。 条件覆盖：设计若干测试用例，运行被测程序，使得程序中每个判断的每个条件的可能取值至少执行一次。 判定/条件覆盖：设计若干测试用例，运行被测程序，使得判断中每个条件的所有可能取值至少执行一次，同时每个判断本身的所有可能判断结果至少执行一次。 多重条件覆盖：设计若干测试用例，运行被测程序，使得每个判断的所有可能的条件取值组合至少执行一次。;例子;语句覆盖的测试用例（1个） [(2,0,4),(2,0,3)] 覆盖ace 判定/分支覆盖的测试用例（2个） 方案1：[(2,0,4),(2,0,3)] 覆盖ace [(1,1,1),(1,1,1)] 覆盖abd 方案2：[(2,1,1),(2,1,2)] 覆盖abe [(3,0,3),(3,1,1)] 覆盖acd 问题：如果将x1错写成x1，以上判定/分支覆盖测试用例时发现不了的（需让判断2中的两条件分别为假、真）。;对于第一个判断：条件a1真时为T1,否则为T1 条件b==0真时为T2,否则为T2 对于第二个判断：条件a==2真时为T3,否则为T3 条件x1真时为T4,否则为T4 条件覆盖的测试用例（2个） 方案1：[(2,0,4),(2,0,3)] 覆盖ace T1,T2,T3,T4 [(1,0,1),(1,0,1)] 覆盖abd T1 ,T2, T3, T4 [(2,1,1),(2,1,2)] 覆盖abe T1, T2 , T3, T4 方案2：[(1,0,3),(1,0,4)] 覆盖abe T1 ,T2, T3, T4 [(2,1,1),(2,1,2)] 覆盖abe T1, T2 , T3, T4 ;判定/条件覆盖的测试用例（2个） [(2,0,4),(2,0,3)] 覆盖ace T1,T2,T3,T4 [(1,1,1),(1,1,1)] 覆盖abd T1, T2 , T3, T4 多重条件覆盖（4个） [(2,0,4),(2,0,3)] 覆盖ace T1,T2,T3,T4 [(1,1,1),(1,1,1)] 覆盖abd T1, T2 , T3, T4 [(2,1,1),(2,1,2)] 覆盖abe T1,T2,T3,T4 [(1,0,3),(1,0,4)] 覆盖abe T1, T2 , T3, T4;对包含每个判定只存在一种条件的程序的测试准则 设计出足够数量的测试用例，实现： 将每个判断的所有结果都至少执行一次 对包含多重条件判断的程序的测试准则 是设计出足够数量的测试用例，将每个判断的所有可能的条件结果的组合;以上的每种方法都能提供一组有用的测试用例，但都不能单独提供一个完整的测试用例集合，用以下策略可得到较好的测试结果： 如果规格说明中输入条件有明显的逻辑关系以及与结果的因果关系，应该首先使用因果图分析或判定表 在任何情况下都应该使用边界值分析方法，而且是对输入和输出边界进行的分析，用以产生一系列补充的测试用例 应为输入和输出确定有效和无效的等价类，在必要时对上面确认的测试用例进行补充 使用错误猜测技术增加更多的测试用例 针对上述测试用例检查程序的逻辑结构，使用判定覆盖、条件覆盖、判定/条件覆盖或多重条件覆盖准则。如果为前4步确定的测试用例尚未满足覆盖准则，那么在可能的情况下，增加足够的测试用例，使覆盖准则得以满足。;练习;NextDate函数的设计、实现和测试 函数有3个参数：月份、日期和年；它们都具有整数值，且满足以下条件： 1=月份=12 1=日期=31 1812=年=2012 函数返回输入日期之后的那个日期；如果输入无效值，如2000年6月31日，输出指示相应变量超出取值范围；对于无效的日月年组合，如“1999年13月32日”输出“无效输入日期”。 要求： 每个人实现该函数，并设计一组测试用例 两人一组，互相测试对方的程序 提交源程