第10章数据流测试第11章结构性测试回顾.pptVIP

第10章 数据流测试 数据流图—把数据源、数据接受、数据存储和数据处理作为节点描述的一个图形，数据之间的逻辑体现为节点之间的边。 数据流测试—根据代码中变量的使用情况进行的测试。 关注的是变量接收值的点和使用（引用）这些值的点间的结构。 数据流测试 两种主要形式的数据流测试方法： 定义/使用测试：提供一组基本定义和一种统一的测试覆盖指标结构； 程序片测试 从程序图入手！ 数据流测试 针对定义/引用异常缺陷： 变量被定义，但从来没有引用； 使用的变量没有被定义； 变量在使用之前被定义两次。 定义/使用测试 基本表示 P：程序 G（P）：程序图 V：程序变量集合 PATHS（P）：P中所以路径集合 基本定义 定义节点、使用节点、谓词使用、计算使用、 定义-使用路径、定义清除路径 定义/使用测试 例子 佣金问题 程序图——DD路径图 找出所有变量，每个变量的定义节点、使用节点； 找出各变量的定义-使用路径和定义清除路径； 定义/使用路径测试覆盖指标 Rapps-Weyuker数据流指标 全路径 全边 全节点 全定义准则 全使用准则 全谓词使用/部分计算使用准则 全计算使用/部分谓词使用准则 全定义-使用路径准则 基于程序片的测试 假设片S（V，n）是一个变量上的片，即集合V由单一变量v组成。 如果语句片段n是v的一个定义节点，则n包含在该片中。 如果语句片段n是v的使用节点，则n不包含在该片中。 其他变量的谓词使用和计算使用（不是片集合V中的v），要包含其执行会影响变量v取值的扩展。 如果不管是否包含语句片段，v的值都保持不变，那么排除该语句片段。 输出使用节点、定位使用节点、迭代使用节点，都不在片中。 程序片风格 不出现在语句片段n里的变量v（v属于V），永远不建立S（V，n）； 在一个变量上建立片； 对所以赋值定义节点都建立片； 对谓词使用节点建立片； 非谓词使用节点上的片无意义； 使片可编译； 第11章 结构性测试回顾 结构性测试用做对功能性测试的交叉检查，如何能够产生强有力的结果。 功能性测试用例的漏洞和冗余问题 测试效率指标（由结构覆盖来表述） 使用哪些覆盖指标对漏洞和冗余问题进行指导 测试效率指标 将功能性测试技术有效性与结构性测试进展指标相关联。 功能性测试技术——产生一组测试用例 结构性测试指标——以可计算的内容表示 指标定义 覆盖C（M，S） 冗余R（M，S） 净冗余NR（M，S） 白盒测试工具 白盒测试一般针对被测源程序进行的测试，发现的故障可以定位到代码。根据测试工具和工作原理的不同，白盒测试的自动化工具可以分为 静态测试工具 动态测试工具 静态测试工具 静态测试是在不执行程序的情况下分析软件的特性。静态分析主要集中在软件需求文档、设计文档以及程序结构方面，可以进行类型分析、接口分析、输入/输出规格说明分析等。 常用的静态测试工具有 McCabe公司的Quality ToolSet分析工具 ViewLog公司的LogiScope分析工具 Software Research公司的TestWork/Advisor分析工具 Software Emancipation公司的Discover分析工具 静态测试工具 完成的职能： 代码审查 一致性检查 错误检查 接口分析 输入/输出规格说明分析检查 数据流分析 类型分析 单元分析 复杂度分析 动态测试工具 动态测试直接执行被测程序以提供测试活动。 动态测试工具具有功能确认、接口测试、覆盖率分析等性能。 主要有 Compuware公司的DerPartner IBM公司的Rational Purify、Rational PureCoverage 动态测试工具 动态测试工具的类型 功能确认与接口测试：包括对各模块功能、模块间的接口、局部数据结构、主要执行路径、错误处理等方面进行测试。 覆盖测试：覆盖率分析对所涉及的程序结构元素进行度量，以确定测试执行的充分性。 * *