软件工程导论_13.ppt

软件工程导论 陈丹琪 灾害信息工程系 本节课内容 第七章　实现 7.1、编码 7.2、软件测试基础 7.3、单元测试 7.4、集成测试 7.5、确认测试 7.6、白盒测试技术 7.7、黑盒测试技术 7.8、调试 7.9、软件可靠性 黑盒测试技术 黑盒测试——已知产品应该具有的功能，通过在程序接口进行的测试来检验是否每个功能都能按照规格说明书的规定正常使用。 黑盒测试又称为功能测试、数据驱动测试或行为测试。一般由测试工程师负责实施。 黑盒测试是与白盒测试技术互补的方法。它很可能发现白盒测试不易发现的其他不同类型的错误。 白盒测试在测试过程的早期阶段进行，而黑盒测试则主要用在测试过程的后期。 黑盒测试技术 应用黑盒测试技术可以设计出满足下述标准的测试用例集： 所设计出的测试用例能够减少为达到合理测试而需要设计的附加测试用例的数目。 所设计出的测试用例能够指出是否存在某些类型的错误，而不是仅仅告诉我们与特定测试相关的错误是否存在。 黑盒测试方法主要有： 等价划分 边界值分析 错误推测 没有一种方法能提供一组完整的测试用例来检查程序的全部功能，在实际测试中应该把各种方法结合起来使用。 等价划分 等价划分——首先把程序的输入域划分成若干个数据类（等价类：有效、无效），然后从划分出的每个输入数据种类中选取少量最有代表性的输入数据作为测试数据，以便用较小的代价测试出较多的程序错误。 使用等价划分法设计测试方案时，注意： 要同时考虑有效等价类和无效等价类的设计。 还要分析输出数据的等价类，以便根据输出数据的等价类导出对应的输入数据等价类。 划分等价类的启发式规则 等价划分 等价划分法测试用例设计步骤： 1. 划分等价类：列举出所有有效和无效等价类，并为每个等价类规定一个唯一的编号。 2. 设计一个新的测试方案以尽可能多地覆盖尚未被覆盖的有效等价类，复重这一步骤直到所有有效等价类都被覆盖为止。 3. 设计一个新的测试方案，使它覆盖一个而且只覆盖一个尚未被覆盖的无效等价类，重复这一步骤直到所有无效等价类都被覆盖为止。 等价划分 例1.在某一PASCAL语言版本中规定：“标识符是由字母开头，后跟字母或数字的任意组合。有效字符数为8个，最大字符数为80个。”并且规定：“标识符必须先说明，再使用。在同一说明语句中，标识符至少必须有一个。” 按照等价类的划分原则，建立输入等价类。 等价划分 选取测试用例，覆盖所有的等价类。 ① var x, T1234567:real； begin x:=3.414；T1234567:=2.732； …… (1),(2),(4),(8),(9),(12),(14) 有效标识符 ② var :real; (3) 无效标识符 ③ var x, :real; (5) ④ var real; (6) ⑤ var T12345......:real； (7)多于80个字符 ⑥ var T$:char； (10) ⑦ var GOTO:integer； (11) ⑧ var 2T:real； (13) ⑨ var PAR:real； begin PAP:=2.5+(3.14*0.8)/6； …… (15) 等价划分 例2.输入三个整数a、b和c分别作为三角形的3条边，通过程序判断由这3条边构成的三角形类型是：等边三角形、等腰三角形、一般三角形或非三角形。请从输出域定义等价类，设计测试用例。 按照等价类的划分原则，建立输出等价类。 选取测试用例，覆盖所有的等价类。 输出 有效等价类 无效等价类 构成何种三角形 等边三角形 （1） 非三角形（4） 等腰三角形（2） 一般三角形（3） a b c 预期结果 覆盖等价类 5 5 5 等边三角形 1 2 2 3 等腰三角形 2 3 4 5 一般三角形 3 4 1 2 非三角形 4 等价划分 例3.某一报表处理系统，要求用户输入处理报表的日期。假设日期限制在1990年1月至1999年12月，即系统只能对该段时间内的报表进行处理。如果用户输入的日期不在此范围内，则显示输入错误信息。该系统规定日期由年、月的6位数字字符组成，前4位代表年，后两位代表月。现用等价类划分法设计测试用例，来测试程序的“日期检查功能” 。 等价划分 按照等价类的划分原则，建立输入