软件工程知识重点资料.ppt

* * * * * * * * * * * * 7.7.1 等价划分 划分出等价类以后，根据等价类设计测试方案时主要使用下面两个步骤。 设计一个新的测试方案以尽可能多地覆盖尚未被覆盖的有效等价类，复重这一步骤直到所有有效等价类都被覆盖为止。 设计一个新的测试方案，使它覆盖一个而且只覆盖一个尚未被覆盖的无效等价类，重复这一步骤直到所有无效等价类都被覆盖为止。（大于最大值或者小于最小值） * * 7.7.1 等价划分 下面用等价划分法设计一个简单程序的测试方案。 假设有一个把数字串转变成整数的函数。运行程序的计算机字长16位，用二进制补码表示整数。 这个函数是用PASCAL语言编写的，它的说明如下： function strtoint(dstr:shortstr):integer； 函数的参数类型是shortstr，它的说明是： type shortstr=array［1..6］of char； 被处理的数字串是右对齐的，也就是说，如果数字串比六个字符短，则在它的左边补空格。如果数字串是负的，则负号和最高位数字紧相邻(负号在最高位数字左边一位)。 * * 7.7.1 等价划分 考虑到PASCAL编译程序固有的检错功能，测试时不需要使用长度不等于6的数组做实参，更不需要使用任何非字符数组类型的实参。 分析这个程序的规格说明，可以划分出如下等价类。 有效输入的等价类有 1～6个数字字符组成的数字串(最高位数字不是零)； 最高位数字是零的数字串； 最高位数字左邻是负号的数字串。 * * 7.7.1 等价划分 无效输入的等价类有 空字符串(全是空格)； 左部填充的字符既不是零也不是空格； 最高位数字右面由数字和空格混合组成； 最高位数字右面由数字和其他字符混合组成；  负号与最高位数字之间有空格。 合法输出的等价类有 在计算机能表示最小负整数和零之间的负整数； 零； 在零和计算机能表示最大正整数之间的正整数。 * * 7.7.1 等价划分 非法输出的等价类有 比计算机能表示的最小负整数还小的负整数； 比计算机能表示的最大正整数还大的正整数。 因为所用的计算机字长16位，用二进制补码表示整数，所以能表示的最小负整数是-32768，能表示的最大正整数是32767。 根据上面划分出的等价类，可以设计出下述测试方案(注意，每个测试方案由三部分内容组成)。 1～6个数字组成的数字串，输出是合法的正整数。 输入：‘ 1’ 预期的输出：1 * * 7.7.1 等价划分 最高位数字是零的数字串，输出是合法的正整数。 输入：‘000001’ 预期的输出：1 负号与最高位数字紧相邻，输出合法的负整数。 输入：‘-00001’ 预期的输出：-1 最高位数字是零，输出也是零。 输入：‘000000’ 预期的输出：0 太小的负整数。 输入：‘-47561’ 预期的输出：“错误——无效输入” * * 7.7.1 等价划分 太大的正整数。 输入：‘132767’ 预期的输出：“错误——无效输入” 空字符串。 输入：‘ ’ 预期的输出：“错误——没有数字” 字符串左部字符既不是零也不是空格。 输入：‘╳ ╳ ╳ ╳ ╳ 1’ 预期的输出：“错误——填充错” * * 7.7.1 等价划分 最高位数字后面有空格。 输入：‘ 1 2’ 预期的输出：“错误——无效输入” 最高位数字后面有其他字符。 输入：‘1 ╳ ╳ 2’ 预期的输出：“错误——无效输入” 负号和最高位数字之间有空格。 输入：‘- 12’ 预期的输出：“错误——负号位置错” * * 7.7.2 边界值分析 经验表明，处理边界情况时程序最容易发生错误。 例如，许多程序错误出现在下标、纯量、数据结构和循环等的边界附近。 因此，设计使程序运行在边界情况附近的测试方案，暴露出程序错误的可能性更大一些。 * * 7.7.2 边界值分析 使用边界值分析方法设计测试方案首先应该确定边界情况，这需要经验和创造性，通常输入等价类和输出等价类的边界，就是应该着重测试的程序边界情况。 按照边界值分析法，应该选取刚好等于、稍小于和稍大于等价类边界值的数据作为测试数据，而不是选取每个等价类内的典型值或任意值作为测试数据。 * * 7.7.2 边界值分析 用边界分析法补充上一小节测试方案： 使输出刚好等于最小的负整数 输入：‘-32768’ 预期输出： -32768 使输出刚好等于最大的正整数 输入：‘32767’ 预期输出： 32767 * * 7.7.2 边界值分析 使输出刚好小于最小的负整数 输入：‘-32769’ 预期输