软件工程基之06 质量保证.ppt

三角形问题的边界值测试用例 用例 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位数字。 程序应接受符合条件的号码，拒绝不符合条件的号码。 （续）等价类表 方案 内容 输 入 预期 输出 地区码 前缀 后缀 ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? 测试用例 * 节点覆盖 即对于图G 中每个语法上可达的节点，测试用例所执行的测试路径的集合中至少存在一条测试路径访问该节点。 显然，节点覆盖和语句覆盖是等价的。 边覆盖 即对于图G 中每一个可到达的长度小于(无边图)等于1 的路径，测试用例所执行的测试路径的集合中至少存在一条测试路径游历该路径。 显然，边覆盖包含节点覆盖，且边覆盖也可以实现分支覆盖。 路径覆盖 路径覆盖测试就是设计足够的测试用例，覆盖程序中所有可能的路径。 测 试 用 例 通过路径 覆盖条件 【(2, 0, 4), (2, 0, 3)】 ace (L1) 【(1, 1, 1), (1, 1, 1)】 abd (L2) 【(1, 1, 2), (1, 1, 3)】 abe (L3) 【(3, 0, 3), (3, 0, 1)】 acd (L4) 基本路径测试 基本路径测试方法把覆盖的路径数压缩到一定限度内，程序中的循环体最多只执行一次。 它是在程序控制流图的基础上，分析控制构造的环路复杂性，导出基本可执行路径集合，设计测试用例的方法。设计出的测试用例要保证在测试中，程序的每一个可执行语句至少要执行一次。 程序环路复杂性 程序的环路复杂性给出了程序基本路径集中的独立路径条数，这是确保程序中每个可执行语句至少