软件工程 06 质量保证.ppt

④ 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）是指软件当前所处的条件或者模式。通常，访问所有的状态是可以实现的，但除了极少数简单程序外，不可能以走完所有分支的方式来达到每种状态，即必须选择重要的内容进行测试。 建立状态转换图 标识出软件可能进入的每一种独立状态。 找出从一种状态转入另一种状态所需的输入和条件。 找出进入或退出某种状态时的设置条件及输出结果。 根据状态转换图设计测试用例 每种状态至少访问一次 测试看起来是最常见和最普遍的状态转换 测试状态之间最不常用的分支 测试所有错误状态及其返回值 测试状态的随机转换 静态分析方法 不实际运行程序，通过检查和阅读等手段来发现错误并评估代码质量的软件测试技术。 作用 通过对代码标准及质量的监控提高代码可靠性 尽可能早地通过对源代码的检查发现缺陷 组织代码审核定位易产生错误的模块 非常有效的质量保证手段 越来越多地被采用 通用评审过程 评审过程就是执行静态分析的过程。IEEE Standard for Software Reviews and Audits定义了以下6 个步骤。 1、计划 2、概述 3、准备 4、评审会议 5、返工 6、跟踪 静态分析的主要内容 检查需求 检查设计 检查代码 需求 设计 编码 其它 缺陷产生的原因 静态分析类型 同事审查 适用于初次审查，是要求最低的正式方法，也称为伙伴审查 走查 开发组内部进行的 审查 以会议形式，由开发组、测试组和相关人员(QA、产品经理等)联合进行。 作业 1、用等价类划分方法设计足够的测试用例进行如下测试。要求：在对应表格中完善等价类表和对应的测试用例。 某镇的行政代码有3部分组成： 地区：空白或3位数字； 前缀：非‘0’或‘1’开头的3位数字； 后缀：任意4位数字。 程序应接受符合条件的号码，拒绝不符合条件的号码。 （续）等价类表 方案 内容 输 入 预期 输出 地区码 前缀 后缀 ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?