软件工程知识重点资料.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的数组做实参，更不需要使用任何非字符数组类型的实参。 分析这个程序的规格说明，可以划分出如下等价类。 有