软件工程——共同演进的方法与实践课件作者田文洪第七章节测试技术.pptVIP

什么样的状态信息？ 在什么地方，通过什么样的方式提供？ 什么情况下显示？ 显示多长时间？ 再从划分出的等价类中按以下原则选择测试用例：(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，才能构成三角形。但如果把六个不等式中的任何一个大于号“＞”错写成大于等于号“≥”，那就不能构成三角形。问题恰出现在容易被疏忽的边界附近。 这里所说的边界是指，相当于输入等价类和输出等价类而言，稍高于其边界值及稍低于其边界值的一些特定情况。 使用边界值分析方法设计测试用例，首先应确定边界情况。应当选取正好等于，刚刚大于，或刚刚小于边界的值做为测试数据，而不是选取等价类中的典型值或任意值做为测试数据。  状态测试 由于在黑盒测试阶段，程序内部的逻辑结构是无从得知的，因此只能通过对状态的测试间接地加以验证。 软件状态（software state）是指软件当前所处的条件或者模式。通常，访问所有的状态是可以实现的，但除了极少数简单程序外，不可能以走完所有分支的方式来达到每种状态，即必须选择重要的内容进行测试。 建立状态转换图 标识出软件可能进入的每一种独立状态。 找出从一种状态转入另一种状态所需的输入和条件。 找出进入或退出某种状态时的设置条件及输出结果。 根据状态转换图设计测试用例 每种状态至少访问一次 测试看起来是最常见和最普遍的状态转换 测试状态之间最不常用的分支 测试所有错误状态及其返回值 测试状态的随机转换 静态分析方法 不实际运行程序，通过检查和阅读等手段来发现错误并评估代码质量的软件测试技术。 作用 通过对代码标准及质量的监控提高代码可靠性 尽可能早地通过对源代码的检查发现缺陷 组织代码审核定位易产生错误的模块 非常有效的质量保证手段 越来越多地被采用 通用评审过程 评审过程就是执行静态分析的过程。IEEE Standard for Software Reviews and Audits定义了以下6 个步骤。 1、计划 2、概述 3、准备 4、评审会议 5、返工 6、跟踪 静态分析的主要内容 检查需求 检查设计 检查代码 需求 设计 编码 其它 缺陷产生的原因 检查需求 需求的标准 完整性 是否完整描述一个功能 正确性 是否正确反应客户要求 可行性 必要性 Gold plating? 无二义性 会引起歧义吗 可验证性