软件测试 郑人杰 许静 于波 第3章黑盒测试新.pptVIP

第三章 黑盒测试 问题1：三角形问题 接收三个整数a,b,c作为输入，用作三角形的边，程序输出由这三个边确定的三角形的类型：等边三角形、等腰三角形、不等边三角形、非三角形。 问题2：NextDate函数 输入三个变量（年、月、日），函数返回输入日期后面的那个日期。 1≤月份≤12 1≤日期≤31 1812 ≤年≤2012 3.1 等价类划分 3.1.1 等价类划分原则 等价类划分的办法是把程序的输入域划分成若干部分，然后从每个部分中选取少数代表性数据当作测试用例。 在分析需求规格说明的基础上划分等价类，列出等价类表。 等价类是指某个输入域的集合。 如果用集合中的一个输入条件作为测试数据进行测试不能发现程序中的错误，那么使用集合中的其它输入条件进行测试也不可能发现错误。 对揭露程序中的错误来说，集合中的每个输入条件是等效的。 有效等价类：有效等价类指的是对程序的规格说明是有意义的、合理的输入数据所构成的集合。在具体问题中，有效等价类可以有一个，也可以是多个。 无效等价类：无效等价类指对程序的规格说明是不合理的或无意义的输入数据所构成的集合。对于具体的问题，无效等价类至少应有一个，也可能有多个。 3.1.2 确定等价类原则 １．如果输入条件规定了取值范围或值的个数，则可确定一个有效等价类和两个无效等价类。 输入条件：…项数可以从1到999… 有效等价类为 “1≤ 项数≤ 999” 无效等价类为 “项数1” 及 “项数999” 值的个数 “学生选课允许2门至4门” 有效等价类： 选课2至4门 无效等价类： 只选一门课或未选课 选课超过4门 ２．输入条件规定了输入值的集合，或是规定了“必须如何”的条件，则可确定一个有效等价类和一个无效等价类。 例：“标识符以字母开头” 有效等价类： 以字母开头的字符串 无效等价类： 以非字母开头的字符串 ３．如果确知，已划分的等价类中各元素在程序中的处理方式是不同的，则应将此等价类进一步划小。 3.1.3 确定测试用例 １．设计一个测试用例，使其尽可能多地覆盖有效等价类，重复这一步，最终使得所有有效等价类均被覆盖。 ２．设计一个测试用例，使其只覆盖一个无效等价类，重复这一步，最终使得所有无效等价类均被覆盖。 有效等价类 覆盖有效等价类的测试用例： a b c 覆盖等价类号码 3 4 5 （1）--（7） 4 4 5 （1）--（7），（8） 4 5 5 （1）--（7），（9） 5 4 5 （1）--（7），（10） 4 4 4 （1）--（7），（11） 无效等价类 3.1.4 弱一般等价类 两变量x1, x2的函数 a?x1?d, 区间 [a, b), [b, c), [c, d] e?x2?g, 区间 [e, f), [f, g] 弱一般等价类：使用一个测试用例中的每个等价类(区间)的一个变量实现(单缺陷假设）。 三个测试用例使用每个等价类中的一个值 强一般等价类 基于多缺陷假设，需要等价类笛卡尔积的每个元素对应的测试用例 a?x1?d, 区间 [a, b), [b, c), [c, d] e?x2?g, 区间 [e, f), [f, g] 弱健壮等价类 弱：基于单缺陷假设 健壮：考虑无效值 对有效输入，使用每个有效等价类的一个值 对无效输入，测试用例将拥有一个无效值，并保持其余的值都是有效的。 强健壮等价类 基于多缺陷假设，从所有等价类的笛卡尔积的每一个元素中获得测试用例。 3.1.5 举 例—三角形问题 输出等价类 R1={a,b,c:有三条边的等边三角形} R2={a,b,c:有三条边的等腰三角形} R3={a,b,c:有三条边的不等边三角形} R4={a,b,c:三条边的不构成三角形} 弱一般等价类 弱健壮等价类 NextDate问题 三变量的有效区间 M1 ={月份：1≤月份≤12} D1 ={日期：1≤日期≤31} Y1 ={年：1812≤年≤2012} 无效等价类 M2 ={月份：月份＜1} M3 ={月份：月份＞12} D2 ={日期：日期＜ 1} D3 ={日期：日期＞ 31} Y2 ={年：年＜ 1812} Y3 ={年：年＞ 2012} 弱一般等价类 弱健壮测试用例 3.2 边界值测试 3.2.1 边界值分析 应遵循的原则： （1）如果输入条件规定了取值范围