软件工程-实现.ppt

有助于等价类划分的启发式规则： （1） 如果规定了输入值的范围，则可划分出一个有效的等价类，两个无效的等价类； （2） 如果规定了输入数据的个数，则类似地也可以划分出一个有效的等价类和两个无效的等价类； （3） 如果规定了输入数据的一组值，而且程序对不同输入值做不同处理，则每个允许的输入值是一个有效的等价类，此外还有一个无效的等价类； （4） 如果规定了输入数据必须遵循的规则，则可以划分出一个有效的等价类(符合规则)和若干个无效的等价类(从各种不同角度违反规则)； （5） 如果规定了输入数据为整型，则可以划分出正整数、零和负整数等3个有效类； （6） 如果程序的处理对象是表格，则应该使用空表，以及含一项或多项的表。 例 1 某城市的电话号码由三部分组成，这三部分的名称与内容分别是： 地区码：空白或三位数字 前 缀：非0或1开头的三位数字 后 缀：四位数字 假设被测程序能接受一切符合上述规定的电话号码，拒绝所有不符合规定的号码。 1. 确定等价类 有效等价类： 地区码的有效等价类： （1）空白 （2）3位数字 前缀的有效等价类： （3）200~999的3位数字 后缀的有效等价类： （4）4位数字 无效等价类： 地区码的无效等价类： （5）有非数字字符 （6）少于3位数 （7）多于3位数 前缀的无效等价类： （8）有非数字字符 （9）少于3位数 （10）多于3位数 （11）起始位为0 （12）起始位为1 后缀的无效等价类： （13）有非数字字符 （14）少于4位数 （15）多于4位数 2. 确定测试方案 （1）地区码空白，输出有效 输 入： 2762345 预期输出：有效 （2）地区码有三位数字，输出有效 输 入：6595235432 预期输出：有效 （3）前缀是200~999之间的3位数字，输出有效 输 入：4294189853 预期输出：有效 （4）后缀是4位数字，输出有效 输 入：4295865656 预期输出：有效 （5）地区码有非数字字符，输出无效 输 入：6 预期输出：无效 （6）地区码少于3位数字，输出无效 输 入：424189823 预期输出：无效 （7）地区码多于3位数字，输出无效 输 入：42135659859 预期输出：无效 （8）前缀有非数字字符，输出无效 输 入： 6592%55636 预期输出：无效 （9）前缀少于3位数字，输出无效 输 入：423489853 预期输出：无效 （10）前缀多于3位数字，输出无效 输 入：42165659859 预期输出：无效 （11）前缀起始位为0，输出无效 输 入：6890255636 预期输出：无效 （12）前缀起始位为1，输出无效 输 入：9591255665 预期输出：无效 （13）后缀有非数字字符，输出无效 输 入：421656598#9 预期输出：无效 （14）后缀少于4位数字，输出无效 输 入：689625563 预期输出：无效 （15）后缀多于4位数字，输出无效 输 入：95982556655 预期输出：无效 例 2 某函数完成长度为6的数字串转变成整数的功能，假设运行程序的计算机字长为16位，用二进制补码表示整数。要求被处理的字符串是右对齐的，即如果数字串比6个字符短，则左端补空格；如果数字串是负的，则负号和最高位数字紧相邻。 7.7.2 边界值分析 （12）使输出刚好等于最小的负整数 输入：-32768 预期的输出：-32768 （13）使输出刚好等于最大的正整数 输入：32767 预期的输出：32767 （14）使输出刚好小于最小的负整数 输入：-32769 预期的输出：“错误-无效输入” （15）使输出刚好大于最大的正整数 输入：32768 预期的输出： “错误-无效输入” 7.7.3 错误推测 7.8 调试 调试作为成功测试的后果出现，是在测试发现错误之后排除错误的过程。 7.8.1 调试过程 调试过程的两种结果： ①找到了问题的原因并把问题改正和排除掉了； ②没找出问题的原因。 7.8.2 调试途径 1. 蛮干法 2. 回溯法 从发现症状的地方开