电子科技大学软件工程质量保证剖析.ppt

确立测试用例 在确立了等价类之后，建立等价类表，列出所有划分出的等价类。 确立测试用例 再从划分出的等价类中按以下原则选择测试用例：(1) 为每一个等价类规定一个唯一编号；(2) 设计一个新的测试用例，使其尽可能多地覆盖尚未被覆盖的有效等价类，重复这一步，直到所有的有效等价类都被覆盖为止；(3) 设计一个新的测试用例，使其仅覆盖一个尚未被覆盖的无效等价类，重复这一步，直到所有的无效等价类都被覆盖为止。 等价类划分法实例 在某一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，才能构成三角形。 但如果把六个不等式中的任何一个大于号“＞”错写成大于等于号“≥”，那就不能构成三角形。问题恰出现在容易被疏忽的边界附近。 这里所说的边界是指，相当于输入等价类和输出等价类而言，稍高于其边界值及稍低于其边界值的一些特定情况。 使用边界值分析方法设计测试用例，首先应确定边界情况。应当选取正好等于，刚刚大于，或刚刚小于边界的值做为测试数据，而不是选取等价类中的典型值或任意值做为测试数据。  三角形问题的边界值测试用例 用例 A B C 预期输出 1 100 100 1 等腰三角形 2 100 100 2 等腰三角形 3 100 100 100 等边三角形 4 100 100 199 等腰三角形 5 100 100 200 非三角形 6 100 1 100 等腰三角形 7 100 2 100 等腰三角形 8 100 100 100 等边三角形 9 100 199 100 等腰三角形 10 100 200 100 非三角形 11 1 100 100 等腰三角形 12 2 100 100 等腰三角形 13 100 100 100 等边三角形 14 199 100 100 等腰三角形 15 200 100 100 非三角形 状态测试 由于在黑盒测试阶段，程序内部的逻辑结构是无从得知的，因此只能通过对状态的测试间接地加以验证。 软件状态（software state）是指软件当前所处的条件或者模式。通常，访问所有的状态是可以实现的，但除了极少数简单程序外，不可能以走完所有分支的方式来达到每种状态，即必须选择重要的内容进行测试。 建立状态转换图 标识出软件可能进入的每一种独立状态。 找出从一种状态转入另一种状态所需的输入和条件。 找出进入或退出某种状态时的设置条件及输出结果。 根据状态转换图设计测试用例 每种状态至少访问一次 测试看起来是最常见和最普遍的状态转换 测试状态之间最不常用的分支 测试所有错误状态及其返回值 测试状态的随机转换 静态分析方法 不实际运行程序，通过检查和