软件工程测试工程解析.ppt

(4) 条件组合覆盖：每个判定表达式中条件的各种可能组合都至少出现一次。 入口 A 1 AND B=0 T A=2 OR X 1 T X = X / A X = X + 1 返回 F F 全部可能的条件组合为： ① A1, B=0 ② A1, B? 0 ③ A?1, B=0 ④ A?1, B? 0 ⑤ A=2, X1 ⑥ A=2, X? 1 ⑦ A ? 2, X1 ⑧ A ? 2, X? 1 问题：没有测试到（T F）的情形,没有覆盖所有的路径。 e c a b d 条件组合覆盖 4种覆盖对比 4种覆盖标准的对比 发 弱 现 错 误 能 力 强 语句覆盖 每条语句至少执行一次 判定覆盖 每个判定的每个分支至少执行一次 条件覆盖 每个判定的每个条件应取到各种可能的值 条件组合覆盖 每个判定中各条件的每一种组合至少出现 一次 控制流图覆盖测试 控制流图覆盖测试是将代码转变为控制流图，基于 其进行测试的技术。 节（结）点覆盖 边覆盖 路径覆盖 符号○为控制流图的一个节点，表示一个或多个无分支的PDL语句或源程序语句。箭头为边，表示控制流的方向。 程序的控制流图 在选择或多分支结构中，分支的汇聚处应有一个汇聚结点。 边和结点圈定的区域叫做区域，当对区域计数时，图形外的区域也应记为一个区域。 如果判断中的条件表达式是由一个或多个逻辑运算符 (OR, AND, NAND, NOR) 连接的复合条件表达式，则需要改为一系列只有单个条件的嵌套的判断。 判断结构的CFG表达 节点1代表了测试条件xy，有不止一条出边，称为决策节点。节点4 有不止一条入边，称为汇合节点。 * * * * 软件工程 第七章 测试技术 测试的基本概念 1 静态分析方法 4 小结 5 黑盒测试方法 3 白盒测试方法 2 本章学习目标 1 2 3 掌握基本的白盒测试和黑盒测试方法。 了解软件测试的目标、评估准则、软件静态分析的通用评审过程等及主要类型。 理解软件测试的定义、常用术语、基本原则和代码审查。 软件测试的重要性 据推测，由于软件缺陷而引起的损失额每年高达595 亿美元。这一数字相当于美国国内生产总值的0.6%。 软件测试是软件开发过程中包装软件质量、提高软件可靠性的最主要的手段之一，它是在软件产品在交付之前，对分析、设计、编码等开发工作的最后检查和复审。 在整个软件系统的开发过程中，软件测试占了其中40~50%的工作量。 软件测试的定义 定义1 软件测试在IEEE Standard.610.12中定义如下：在某种指定的条件下对操作系统或组件，观察或记录结果，对系统或组件的某些方面进行评估的过程。 定义2 软件测试在IEEE Standard.829中定义如下：分析软件各项目以检测现有的结果和应有结果之间的差异（即软件缺陷），并评估软件各项目的特征的过程。 其他定义 其他定义如下：软件投入运行前,对软件需求分析、设计规格说明和编码的最终复审，是软件质量保证的关键步骤 。 软件测试的对象 软件测试的对象： 软件测试不等于程序测试。 软件测试贯穿于软件定义和开发的整个过程。 软件开发过程中所产生的需求规格说明、概要设计规格说明、详细设计规格说明以及源程序都是软件测试的对象。 软件测试的常用术语 1.软件缺陷 至少满足下列一个条件才称发生了一个软件缺陷： 软件未实现产品说明书要求的功能。 软件出现了产品说明书指明不能出现的错误。 软件实现了产品说明书未提到的功能。 软件未实现产品说明书虽未明确提及但应该实现的目标。 软件难以理解、不易使用、运行缓慢或者——从测试员的角度看——最终用户会认为不好。 软件缺陷的定义 定义 在IEEE729-1983对缺陷有一个标准的定义：从产品内部看，缺陷是软件产品开发或维护过程中存在的错误、毛病等各种问题；从产品外部看，缺陷是系统所需要实现的某种功能的失效或违背。 软件测试的常用术语 2.验证和确认 验证（Verification）： 保证软件特定开发阶段的输出已经正确完整地实现了规格说明 确认（Validation）: 根据原始需求检查开发结果的过程称为确认 举例 验证：我们是否正确地完成了产品？ 确认：我们是否完成了正确的产品？ 软件测试的常用术语 3.测试与质量保证 软件测试人员的目标是尽早找出软件缺陷，并确保缺陷得以修复 软件质量保证人员的主要职责是创建和执行改进软件开发过程并防止软件缺陷发生的标准和方法 人员职责上有交叉 软件测试的常用术语 4.质量与可靠性 功能性（functionality）：系统所需具备的能力的所有特征。 可靠性（reliability）：软件产品在具体使用中持续地提供其功能的能力。 可用性（usab