等价类划分例子.docVIP

假设有一个把数字串转变成整数的函数。运行程序的计算机字长16位，用二进制补码表示整数。这个函数是用PASCAL语言编写的，它的说明如下： function strtoint(dstr：shortstr)：integer； 函数的参数类型是shortstr，它的说明是； type shortstr＝array[1..6]of char； 被处理的数字串是右对齐的，也就是说，如果数字串比六个字符短，则在它的左边补空格。 如果数字串是负的，则负号和最高位数字紧相邻（负号在最高位数字左边一位）。 考虑到PASCAL编译程序固有的检错功能，测试时不需要使用长度不等于6的数组做实在参数，更不需要使用任何非字符数组类型的实在参数。 分析这个程序的规格说明，可以划分出如下等价类： 有效输入的等价类有 ⑴ 1～6个数字字符组成的数字串（最高位数字不是零）； ⑵ 最高位数字是零的数字串； ⑶ 最高位数字左邻是负号的数字串； 无效输入的等价类有 ⑷ 空字符串（全是空格）； ⑸ 左部填充的字符既不是零也不是空格； ⑹ 最高位数字右面由数字和空格混合组成； ⑺ 最高位数字右面由数字和其他字符混合组成； ⑻ 负号与最高位数字之间有空格； 合法输出的等价类有 ⑼ 在计算机能表示的最小负整数和零之间的负整数； ⑽ 零； ⑾ 在零和计算机能表示的最大正整数之间的正整数； 非法输出的等价类有 ⑿ 比计算机能表示的最小负整数还小的负整数； ⒀ 比计算机能表示的最大正整数还大的正整数。 因为所用的计算机字长16位，用二进制补码表示整数，所以能表示的最小负整数是-32768，能表示的最大正整数是32767。 根据上面划分出的等价类，可以设计出下述测试方案（注意，每个测试方案由三部分内容组成）： ⑴ l～6个数字组成的数字串，输出是合法的正整数。 输入：‘ 1’ 预期的输出：1 ⑵ 最高位数字是零的数字串，输出是合法的正整数。 输入：‘000001’ 预期的输出：1 ⑶ 负号与最高位数字紧相邻，输出合法的负整数 输入：‘-00001’ 预期的输出：-1 ⑷ 最高位数字是零，输出也是零。 输入：‘000000’ 预期的输出：0 ⑸ 太小的负整数。 输入：‘-47561’ 预期的输出：“错误——无效输入” ⑹ 太大的正整数。 输入：‘132767’ 预期的输出：“错误—无效输入” ⑺ 空字符串。 输入：‘ ’ 预期的输出：“错误——没有数字” ⑻ 字符串左部字符既不是零也不是空格 输入：‘×××××1 预期的输出：“错误——填充错” ⑼ 最高位数字后面有空格。 输入：‘ 1 2’ 预期的输出：“错误——无效输入” ⑽ 最高位数字后面有其他字符。 输入：‘ 1××2’ 预期的输出：“错误——无效输入’ ⑾ 负号和最高位数字之间有空格 输入：‘ - 12’ 预期的输出：“错误——负号位置错” 例如，为了测试前述的把数字串转变成整数的程序，除了上一小节已经用等价划分法设计出的测试方案外，还应该用边界值分析法再补充下述测试方案： ⑿ 使输出刚好等于最小的负整数。 输入：‘-32768’ 预期的输出为：-32768 ⒀ 使输出刚好等于最大的正整数。 输入：‘32767’ 预期的输出：32767 原来用等价划分法设计出来的测试方案⑸最好改为： ⒁ 使输出刚刚小于最小的负整数。 输入：‘-32769’ 预期的输出：“错误——无效输入 原来的测试方案⑹最好改为： ⒂ 使输出刚刚大于最大的正整数。 输入：‘32768’ 预期的输出：“错误——无效输入”