软件工程：测试工具2.ppt

用等价类划分法设计测试用例的实例 ? 举例：计算两个 1-100 之间的整数的和。 ? 2. 设计测试用例 用例编号 加数 1 加数 2 和 所属等价类 UC01 25 6 31 2( 有效等价类 ) UC02 -1 1( 无效等价类 ) 0 提示请输 入 1-100 UC03 101 3( 无效等价类 ) 110 间整数 UC04 3.2 4( 无效等价类 ) 1.2 UC05 B 5( 无效等价类 ) A UC06 UC07 UC08 …… 6( 无效等价类 ) @ 7( 无效等价类 ) 空格 8( 无效等价类 ) …… …… # 空格 …… …… ? 另一个用等价类划分法设计测试用例的实例 在某一 PASCAL 语言版本中规定：“ 标识符 是由字母开头 ， 后跟字母或数字的任意组合 构成 。 有效字符数为 8 个 ， 最大字符数为 80 个 。” 并且规定：“ 标识符必须先说明 ， 再使用 。 ” “ 在同一说明语句中 ， 标识符至少必须 有一个 。” 用等价类划分的方法，建立输入等价类表 : ? 下面选取了 9 个测试用例，它们覆盖了所有的 等价类。 ① 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 ； (15) BEGIN ...... PAP := SIN (3.14 * 0.8) / 6 ； 边界值分析方法 ? 边界值分析也是一种黑盒测试方法，是对等价 类划分方法的补充。 ? 人们从长期的测试工作经验得知，大量的错误 是发生在输入或输出范围的边界上，而不是在 输入范围的内部。因此针对各种边界情况设计 测试用例，可以查出更多的错误。 举例 ? 比如，在做三角形计算时，要输入三角形的三 个边长： A 、 B 和 C 。 我们应注意到这三个数值 应当满足 A ＞ 0 、 B ＞ 0 、 C ＞ 0 、 A ＋ B ＞ C 、 A ＋ C ＞ B 、 B ＋ C ＞ A ，才能构成三 角形。但如果把六个不等式中的任何一个大于 号“＞”错写成大于等于号“≥”，那就不能 构成三角形。问题恰出现在容易被疏忽的边界 附近。 边界值分析方法 ? 这里所说的边界是指，相当于输入等价类和 输出等价类而言，稍高于其边界值及稍低于 其边界值的一些特定情况。 ? 使用边界值分析方法设计测试用例，首先应 确定边界情况。 应当选取正好等于，刚刚大 于，或刚刚小于边界的值做为测试数据 ，而 不是选取等价类中的典型值或任意值做为测 试数据。 Min- Min Min+ 取值范围 X1 Norm Max- Max Max+ 状试态测 ? 由于在黑盒测试阶段，程序内部的逻辑结构是无 从得知的，因此只能通过对状态的测试间接地加 以验证。 ? 软件状态（ software state ）是指软件当前所 处的条件或者模式。通常，访问所有的状态是可 以实现的，但除了极少数简单程序外，不可能以 走完所有分支的方式来达到每种状态，即必须选 择重要的内容进行测试。 建立状态转换图 ? 标识出软件可能进入的每一种独立状态。 ? 找出从一种状态转入另一种状态所需的输入和条 件。 ? 找出进