实现黑软件工程.pptVIP

复习 白盒测试 逻辑覆盖 语句覆盖 判定覆盖 条件覆盖 判定/条件覆盖 条件组合覆盖 路径覆盖 内容 黑盒测试 调试 软件可靠性 7.7 黑盒测试技术 黑盒测试又称功能测试，着重测试软件的功能。 黑盒测试主要发现下述类型的错误： （1）功能不正确或遗漏了功能 （2）界面错误 （3）数据结构错误或外部数据库访问错误 （4）性能错误 （5）初始化和终止错误 7.7.1 等价类划分法 1. 思想 等效性原理：将分类的数据取其子集中一个数据做测试与子集中其他数据测试的效果是等效的。 子集中的一个数据能测出软件错误，那么子集中的其余数据也能测出错误；相反，子集中的一个数据测试不出程序错误，子集中的其余数据也测不出错误。 7.7.1 等价类划分法 2. 方法 （1）把程序的输入数据集合按输入条件划分为若干个等价类，每一个等价类相对于输入条件表示为一组有效或无效的输入。 （2）为每一等价类设计一个测试用例。 7.7.1 等价类划分法 3. 等价类分类 有效等价类：指对于程序的规格说明来讲，是合理的、有意义的输入数据构成的集合。利用它，可以检验程序是否实现了规格说明预先规定的功能和性能。 无效等价类：指对程序的规格说明来讲，是不合理的、无效的输入数据构成的集合。利用它可以检查程序中的功能和性能的实现是否有不符合规格说明要求的地方。 7.7.1 等价类划分法 4. 等价类划分启发式规则 如果某个输入条件规定了输入值的范围(其数值为1～999)，则可划分为一个有效等价类(大于等于1而小于等于999的数)和两个无效的等价类(小于1的数、大于999的数)。 如果某个输入条件规定了输入数据的个数(如每名学生一学期内只能选修1～3门课程)，则可划分为一个有效等价类(选修1～3门课程)和两个无效等价类(不选修、选修超过3门)。 7.7.1 等价类划分法 4. 等价类划分启发式规则 如果某个输入条件规定了一组可能的值，而且程序可以对每个输入值分别进行处理（如出差时交通工具的类型必须是火车、汽车或轮船），可以为每一组确定一个有效等价类（火车、汽车和轮船三种），同时对一组值确定一个无效等价类（如飞机）。 7.7.1 等价类划分法 4. 等价类划分启发式规则 如果某个输入条件规定了必须成立的条件（比如标识符的第一个字符必须是字母，后面可以是数字或字母），则可划分为一个有效等价类（第一个字符是字母）和多个无效等价类（第一个字符不是字母、第一个是字母后面包含特殊字符）。 7.7.1 等价类划分法 4. 等价类划分启发式规则 如果规定了输入数据为整数，则可以划分为正整数、零和负整数三个有效等价类。 如果输入条件是一个布尔量，则可以确定一个有效等价类和一个无效等价类。 如果程序的处理对象是表格，应该使用空表，以及含一项或多项记录的表格。 7.7.1 等价类划分法 5. 设计测试用例，过程如下： （1）为每个等价类规定一个惟一的编号。 （2）设计一个新的测试用例，使其尽可能多地覆盖未被覆盖的有效等价类，此项工作重复进行，直到所有的有效等价类都被覆盖为止。 （3）设计一个新的测试用例，使其覆盖一个(而且仅仅一个)尚未被覆盖的无效等价类，此项工作重复进行，直到所有的无效等价类都被覆盖为止。 7.7.1 等价类划分法 原因： 某些程序中对某一输入错误的检查往往会屏蔽对其他输入错误的检查。 例，某程序的功能说明规定：输入书的类型可为精装本、平装本或线装本，数量为1～999册。 若测试用例的输入数据类型为“活页”，且书目的数量为“0”，此情况覆盖了两个不合理的条件(类型和数量都是错误的)。 当程序检查到书的类型错误时，就可能不再去检查数量是否也是错误的。 7.7.1 等价类划分法 6. 案例一 变量的命名规则一般规定如下：变量名的长度不多于40个字符；第一个字符必须为英文字母；其他字母可以英文字母、数字以及下划线的任意组合。 请用等价分类法设计测试用例。 7.7.1 等价类划分法 划分等价类如下表所示： 7.7.1 等价类划分法 设计测试用例如下表所示： 7.7.1 等价类划分法 6. 案例二 Pascal语言将数字串转换为整数的函数说明如下： Function strtoint (dstr: shorstr):integer; type shorstr=array[1··6] of char 7.7.1 等价类划分法 Pascal编译程序有检测字符串超界的功能，所以数字串不等于六的数组可不设计测试用例。 Pascal编译能检测数组类型，所以也不需要为非字符数组类型做测试数据。 由于所用计算机字长16位，所以用二进制数表示的范围为－32768～32767。 7.7.1 等价类划分法 有效输入等价类有： ① 1～6个数字组成的数字串(最高位数字不是零) ② 最高位