软件工程第二篇.ppt

⑴ 划分经验 ? 当规定了输入范围时： 一、等价划分(Equivalence Partitioning) —— 适用于黑盒测试 An equivalence class represents a set of valid or invalid states for input conditions , so that there is no particular reason to choose one element over another as a class representative. ? 当规定了输入的一组值，且对不同值做不同处理时：例：教工分房方案中，按教授、副教授、讲师、助教分别计分 ? 有效类4个；无效类1个 ? 当规定了输入的规则时： 例：(PASCAL) 语言规定，每个语句以“ ；” 结 束? 有效类1个；无效类若干（以“ ，”结束、以“ ：”结束、以空格结束等等） ? 当输入为整型时：有效类可分为Z+、0、Z— 三种 ? 当处理表格时：有效类可分为空表、含一项的表、含多项的表等 注：① 以上经验亦适用于输出数据； ② 不需要测试编译程序肯定能发现的错误。 ⑵ 设计步骤 ? 设计一个新方案以尽可能多地覆盖尚未被覆盖的有效等价类；重复这一步骤直到所有有效类都被覆盖为止。 ? 设计一个新方案以覆盖一个且仅一个尚未被覆盖的无效等价类；重复这一步骤直到所有无效类都被覆盖为止。（通常程序执行一个错误后即不继续检测其它错误，故每次只测一个无效类） 例：考察一个把数字串转变成整数的函数。用二进制补码表示整数，机器字长16位，即整数范围最小为- 32768，最大为32767。函数及参数的PASCAL说明如下： function StrToInt (dstr : shortstr) : integer; type shortstr = array [1..6] of char; 要求被处理的数字串是右对齐的，即在少于6个字符的串左边补空格。负号在最高位数字左边一位。 试用等价划分法设计测试方案。 解：首先根据规格说明划分等价类。考虑到PASCAL编译器的固有检错功能，测试时不需要使用长度不等于6的数组，也不需要用非字符数组类型的参数。 有效输入类： ①1~6个数字字符组成的数字串（最高位非0）； ②最高位为0的数字串； ③最高位左邻负号的数字串； 无效输入类： ④空字符串（6位空格）；⑤左边补位的既非0亦非空格； ⑥最高位右边含有空格； ⑦最高位右边含有其它非数字字符； ⑧负号与最高位间有空格； 下面根据等价划分，设计出一套测试方案： ①1~6个数字字符组成的数字串，最高位非0；输出 为合法正整数。 输入： 预期输出：1 ②最高位为0的数字串，输出为合法正整数。 输入： 预期输出：1 有效输出类： ⑨ 在合法范围内的负整数； 10 11 0 ； 在合法范围内的正整数； 无效输出类： 小于 - 32768的负整数； 大于 32767正整数。 12 13 0 0 0 0 0 1 1 ③负号与最高位数字相临；输出合法负整数。 输入： 预期输出：-1 - 0 0 0 0 1 ④最高位为0；输出0。 输入： 预期输出：0 0 0 0 0 0 0 ⑤太小的负整数。 输入： 预期输出：“错误，无效输入” - 3 2 7 6 9 ⑥太大的正整数。 输入： 预期输出：“错误，无效输入” 3 2 7 6 8 ⑦空字符串。 输入： 预期输出：“错误：没有数字” a a a a a 1 ⑨最高位右边也含空格。 输入： 预期输出：“错误：无效输入” 1 2 ⑩最高位右边含其它非数字字符。 输入： 预期输出：“错误：无效输入” 0 0 1 x x 2 负号与最高位间有空格。 输入： 预期输出：“错误：负号位置非法” 11 -