一、软件测试技术的分类二、等价类的划分三、边界值分析法.ppt

第三部分（章）黑盒测试方法 一、软件测试技术的分类 二、等价类的划分 三、边界值分析法 四、因果图法 五、判定表 六、域测试模型 8597960 一、软件测试技术的分类 静态黑盒测试 动态黑盒测试 静态白盒测试 动态白盒测试 静态与动态 静态——只是检查和审阅 动态——运行和使用软件 黑盒与白盒 黑盒：软件测试人员只需知道软件要做什么即可，无法看到盒子中是如何运行的。 白盒：软件测试人员可以访问程序员的代码，并通过检查代码来测试，可以看到盒子里面。 静态黑盒测试 对产品说明书进行高级审查 设身处地为用户着想 研究现有的标准和规范 审查和测试同类软件 静态黑盒测试 测试标准： 1、公司惯用语和约定 2、行业要求 3、国家标准 4、硬件和网络标准 5、图形用户界面（GUI）。 产品描述属性检查清单 完整 准确 精确 一致 合理 代码无关 可测试 产品描述用语检查清单 是否有绝对、肯定和切实认定的叙述，针对其设计用例。 比较模糊的用语。某些、有时····· 功能清单是否有等等、诸如此类、依此类推，无法测试的词汇。 在性能上不确定的说法。 隐藏大量需要说明的功能 如果·····那么·····（没有否则）。 静态黑盒测试的小结 标准 产品描述属性检查 产品描述用语检查 黑盒测试的测试用例设计 等价类划分 边界值分析 因果图 判定表 域测试模型 二、等价类划分 等价类划分是一种典型的黑盒测试方法，使用这一方法时，完全不考虑程序的内部结构，只依据程序的规格说明来设计测试用例。 等价类划分方法把所有可能的输入数据，即程序的输入域划分成若干部分，然后从每一部分中选取少数有代表性的数据做为测试用例。 使用这一方法设计测试用例要经历划分等价类（列出等价类表）和选取测试用例两步。 划分等价类等价类是指某个输入域的子集合。在该子集合中，各个输入数据对于揭露程序中的错误都是等效的。测试某等价类的代表值就等价于对这一类其它值的测试。 等价类的划分有两种不同的情况：① 有效等价类：是指对于程序的规格说明来说，是合理的，有意义的输入数据构成的集合。 ② 无效等价类：是指对于程序的规格说明来说，是不合理的，无意义的输入数据构成的集合。 在设计测试用例时，要同时考虑有效等价类和无效等价类的设计。 划分等价类等价类的原则。(1) 如果输入条件规定了取值范围，或值的个数，则可以确立一个有效等价类和两个无效等价类。 例：在程序的规格说明中，对输入条件有一句话： “…… 项数可以从1到999 ……” 则有效等价类是“1≤项数≤999” 两个无效等价类是“项数＜1”和“项 数＞999”。在数轴上表示成: 例：程序规格说明中提到： “……学生允许选修2至4门课……” 则有效等价类是“选课2至4门” 两个无效等价类是“只选一门或未选课”和“选课超过4门”。 (2) 如果输入条件规定了输入值的集合，或者是规定了“必须如何”的条件，这时可确立一个有效等价类和一个无效等价类。  例：在Pascal语言中对变量标识符规定为“以字母打头的……串”。那么所有以字母打头的构成有效等价类，而不在此集合内（不以字母打头）的归于无效等价类。 例：某程序的规格说明中提到的输入条件包括： “……统计全国各省、市、自治区的人口…… ” 则有效等价类是“国内省、市、自治区”， 无效等价类是“非国内省、市、自治区”。 (3) 如果输入条件是一个布尔量，则可以确定一个有效等价类和一个无效等价类。(4) 如果规定了输入数据的一组值，而且程序要对每个输入值分别进行处理。这时可为 每一个输入值确立一个有效等价类，此外针对这组值确立一个无效等价类，它是所有不允许的输入值的集合。 例5：在教师上岗方案中规定对教授、副教授、讲师和助教分别计算分数，做相应的处理。因此可以确定4个有效等价类为教授、副教授、讲师和助教，一个无效等价类，它是所有不符合以上身分的人员的输入值的集合。 (5) 如果规定了输入数据必须遵守的规则，则可以确立一个有效等价类（符合规则）和若干个无效等价类（从不同角度违反规则）。  例6，Pascal语言规定 “一个语句必须以分号‘;’结束”。这时，可以确定一个有效等价类 “以‘;’结束”，若干个无效等价类 “以‘:’结束”、“以‘,’结束”、“以‘ ’结束”、“以LF结束”等。 确立测试用例在确立了等价类之后，建立等价类表，列出所有划分出的等价类。 再从划分出的等价类中按以下原则选择测试用例：(1) 为每一个等价类规定一个唯一编号；(2) 设计一个新的测试用例，使其尽可能多地覆盖尚未被覆盖的有效等价类，重复这一步，直到所有的有效等价类都被覆盖为止；（3）设计一个新的测试用例，使其仅覆盖一个尚未被覆盖的无效等价类，重复