6.软件测试方法和技术.pptVIP

* * * * * * * * * * * * * * * * * 2维 输入条件规定了输入值的集合 为每一个等价类规定一个唯一的编号 设计测试用例，使其尽可能多的覆盖尚未覆盖的有效等价类 重复这一步骤，直到所有的有效等价类都被覆盖为止 设计一个新的测试用例，使其仅覆盖一个未被覆盖的无效等价类 重复这一步骤，直到所有的无效等价类都被覆盖为止 * * * * * * * 2维 * * * * * * * * * * * * * * 边界值分析法测试用例 例：有二元函数f(x,y)，其中x∈[1,12]，y∈[1,31]。 则采用边界值分析法设计的测试用例是： { 1,15, 2,15, 11,15, 12,15, 6,15, 6,1, 6,2, 6,30, 6,31 } 推论：对于一个含有n个变量的程序，采用边界值分析法测试程序会产生4n+1个测试用例。 练习：有函数f(x,y,z)，其中x∈[1900,2100]，y∈[1,12]，z∈[1,31]的。请写出该函数采用边界值分析法设计的测试用例。 { 2000,6,1, 2000,6,2, 2000,6,30, 2000,6,31, 2000,1,15, 2000,2,15, 2000,11,15, 2000,12,15, 1900,6,15, 1901,6,15, 2099,6,15, 2100,6,15, 2000,6,15 } 健壮性测试 健壮性测试是作为边界值分析的一个简单的扩充，它除了对变量的5个边界值分析取值外，还需要增加一个略大于最大值(max+)以及略小于最小值(min-)的取值，检查超过极限值时系统的情况。因此，对于有n个变量的函数采用健壮性测试需要6n+1个测试用例。 实例 三角形问题的边界值分析测试用例 在三角形问题描述中，除了要求边长是整数外，没有给出其它的限制条件。在此，我们将三角形每边边长的取范围值设值为[1, 100] 。 说明：如果程序规格说明中没有显式地给出边界值，则可以在设计测试用例前先设定取值的下限值和上限值。 边界值分析法测试举例 测试用例 a b c 预期输出 Test 1 Test2 Test3 Test4 Test5 60 60 60 50 50 60 60 60 50 50 1 2 60 99 100 等腰三角形 等腰三角形 等边三角形 等腰三角形 非三角形 Test6 Test7 Test8 Test9 60 60 50 50 1 2 99 100 60 60 50 50 等腰三角形 等腰三角形 等腰三角形 非三角形 Test10 Test11 Test12 Test13 1 2 99 100 60 60 50 50 60 60 50 50 等腰三角形 等腰三角形 等腰三角形 非三角形 边界值分析法 例如：测试一个排序程序的边界值分析法的例子，其边界条件有： 排序序列为空； 排序序列仅有一个数据； 排序序列为满，用猜错法补充一下测试用例； 排序序列已经按要求排好序； 排序序列的顺序与要求的顺序恰好相反； 排序序列中的所有数据全部相等。 因为错误最容易发生在边界值附近，所以边界值分析法对于多变量函数的测试很有效，尤其是对于像C/C++数据类型要求不是很严格的语言有利 。 错误推测法 这个错误到底在哪？ 因果图 因果图法最终生成的是决策表。利用因果图生成测试用例的基本步骤如下： （1）分析软件规格说明中哪些是原因（即输入条件或输入条件的等价类），哪些是结果（即输出条件），并给每个原因和结果赋予一个标识符。 （2）分析软件规格说明中的语义，找出原因与结果之间、原因与原因之间对应的关系， 根据这些关系画出因果图。 （3）由于语法或环境的限制，有些原因与原因之间、原因与结果之间的组合情况不可能出现。为表明这些特殊情况，在因果图上用一些记号表明约束或限制条件。 （4）把因果图转换为决策表。 （5）根据决策表中的每一列设计测试用例。 因果图法测试举例 实例1: 用因果图法测试以下程序。 程序的规格说明要求：输入的第一个字符必须是#或*，第二个字符必须是一个数字，此情况下进行文件的修改；如果第一个字符不是#或*，则给出信息N，如果第二个字符不是数字，则给出信息M。 解题步骤： （1）分析程序的规格说明，列出原因和结果。 （2）找出原因与结果之间的因果关系、原因与原因之间的约束关系，画出因果图。 （3）将因果图转换成决策表。 （4）根据（3）中的决策表，设计测试用例的输入数据和预期输出。 因果图法测试举例 原因 结果 c1：第一个字符是# e1：给出信息N c2：第一个字符是* e2：修改文件 c3：第二个字符是一个数字