第三篇 黑盒测试.pdf

第三章黑盒测试  概述  等价类划分  边界值分析  决策表分析  因果图  场景法 黑盒测试又称正确性测试，或功能测 试，是对产品的各功能进行验证，用于检 查产品是否达到用户要求的功能或者说检 查软件的功能是否符合规格说明。在测试 中，把程序看作一个不能打开的黑盒子， 在完全不考虑程序内部结构和内部特性的 情况下，在程序接口进行测试，它只检查 程序功能是否按照需求规格说明书的规定 正常使用，程序是否能适当地接收输入数 据而产生正确的输出信息。黑盒测试着眼 于程序外部结构，不考虑内部逻辑结构， 主要针对软件界面和软件功能进行测试。 输 程序 输 入 P 出 I O P=f （I, O ） 两个例子 三角形问题 NextDate函数 三角形问题 三角形问题：输入三个整数a 、b和c分别作 为三角形的三条边，程序判断由这三条边构 成的三角形类型是：等边三角形、等腰三角 形、一般三角形或非三角形 （不能构成一个 三角）。 输入三个整数a、b和c分别作为三角形的 三条边，要求a、b和c必须满足： Con 1．1≤a≤100 Con 4 ．ab+c Con 2 ．1≤b≤100 Con 5 ．ba+c Con 3 ．1≤c≤100 Con 6 ．ca+b 如果a、b和c满足Con1、Con2和Con3，则输出为四种情况之一： 1）．如果不满足条件Con 4、Con 5和Con 6中有一个，则程序 输出为 “非三角形”。 2 ）．如果三条边相等，则程序输出为 “等边三角形”。 3 ）．如果恰好有两条边相等，则程序输出为 “等腰三角形”。 4 ）．如果三条边都不相等，则程序输出为 “一般三角形”。 NextDate函数 NextDate是三个变量month 、day和year 的函数。 输出为输入日期后一天的日期。 例如，如果输入为：2003年10月29 日， 则NextDate函数的输出为：2003年10月30 日。 要求输入month、day和year都是整数值，满足： Con1． 1≤month≤12 Con2． 1≤day≤31 Con3． 1912≤year ≤2050 NextDate函数包括对day、month和year 的无效 输入值的响应定义，对无效逻辑组合定义。 例如对任意年的2月31日的响应。 如果Con1，Con2或Con3中任何一个条件失效，则NextDate都会 产生一个输出，指明相应的变量超出了取值范围。 例如，“month值不在1~12范围内”。 存在大量的无效day-month-year的组合。 NextDate函数中复杂性来源： 一是所讨论输人域的复杂性， 一是确定闰年的规则。 一年有365.2422天，因此，闰年被用来解决 “额外天” 等价类划分测试 等价类划分是一种典型的黑盒测试方法， 该方法完全不考虑程序的内部结构，只根 据对软件的要求和说明，即需求规格说明 书，把程序输入域划分成若干部分，然后 从每个部分中选取少数代表性数据为作测 试输入。 等价类划分 等价类划分把程序的输入域划分成若干个互不相 交的子集——等价类。 所谓等价类是指输入域的某个集合，等价类的并 便是整个输入域。 这对于测试有两个非常重要的意义： 表示整个输入域提供了一种形式的完备性， 而互不相交则可保证一种形式的无冗余性。 等价类划分