第课白盒测试.pptVIP

软件测试 龚宇辉 电信学院 第三章 白盒测试 3.1 控制流测试 3.2 数据流测试 3.3 程序插装 3.4 程序变异测试 3.5 白盒测试工具 3.6 软件缺陷分析 白盒测试工具 静态工具：是在不执行程序的情况下分析软件的特性时使用的。 主要集中在需求文档、设计文档以及程序结构上，可以进行类型分析、接口分析、输入输出规格说明分析等。 根据职能不同，分为以下几种类型： 代码审查、一致性检查、错误检查、接口分析、输入/输出规格说明分析检查、数据流分析、类型分析、单元分析、复杂度分析 常用工具： McCabe公司的Quality ToolSet分析工具、ViewLog公司的LogiScope分析工具等。 使用时要应用对应的质量模型文件或编码规范集。 白盒测试工具 动态工具：是在直接执行被测程序的同时来使用的。 类型： 功能确认与接口测试 包括对各模块功能、模块间的接口、局部数据结构、主要执行路径、错误处理等方面进行的测试。 覆盖测试 覆盖率分析对所涉及的程序结构元素进行度量，以确定测试执行的充分性。 常用工具： IBM公司的Rational Purify、Rational PrueCoverage以及Compuware公司的DerPartner等。 白盒测试工具 动态工具应用实例—Rational PureCoverage 使用Rational PureCoverage可以完成以下