软件测试案例教程 教学课件 作者 周元哲 第一章 软件测试概述.ppt

静态测试可以完成以下工作： 2．找到以下问题的根源： ● 未使用过的变量； ● 不会执行到的代码； ● 未引用过的标号； ● 可疑的计算； ● 潜在的死循环。 静态测试可以完成以下工作： 3．提供程序缺陷的以下间接信息： ● 所用变量和常量的交叉引用表； ● 标识符的使用方式； ● 过程的调用层次； ● 是否违背编码规则。 （3）验证测试与确认测试 验证就是对诸如需求规格说明，设计规格说明和代码之 类的产品进行评估、审查和检查的过程，属于静态测试。 确认是“基于计算机的测试”过程，属于动态测试。 确认测试是对照软件需求规格说明书，对软件产 品进行评估以确定其是否满足需求规格的过程。 验证测试是对软件产品进行人工检查或评审。验证测试针对开发过程中的任何中间产品进行,是为确定某一开发阶段的产品是否满足在该阶段开始时提出的要求而对系统或部件进行评估的过程。 五、软件测试工具 软件测试工具分类 软件测试工具特征 软件测试工具选择 五、软件测试工具 软件测试自动化可以省去许多繁杂的工作，节省软件测试时间，提供比手工测试更好、更快的测试执行方式。因此，使用测试自动化和测试工具会对整个软件开发工作的质量、成本和周期带来非常显著的效果。 测试自动化是一门技术，但与测试技术存在很大区别。测试自动化希望通过自动化测试工具或其他手段，按照测试工程师的预定计划进行自动的测试，目的是减轻手工测试的劳动量，从而达到提高软件质量的目的。 　　（1）某些测试工具难于学习和使用，创建和修改测试脚本费时费力，相对人工测试而言，不一定节省时间。 　　（2）测试工具只能解决某一方便问题，应用范围狭窄，根据测试实际需要确定是否选用和选用什么样的测试工具。 　　（3）某些商业测试工具售价高昂。 软件测试工具也有如下不足： 测试工具分类 白盒测试工具 黑盒测试工具 测试设计和开发工具 测试执行和评估工具 测试管理工具 白盒测试工具 根据测试工具的原理不同，又可以分为静态测试工具和动态测试工具。 1.静态测试工具 静态测试工具是在不执行程序的情况下，分析软件的特性。 静态分析主要集中在需求文档、设计文档以及程序结构上，可以进行类型分析、接口分析、输入输出规格说明分析等。 常用的静态分析工具 McCabe Associates 公司开发的McCabe Visual Quality ToolSet分析工具； ViewLog公司开发的LogiScope分析工具； Software Research公司开发的TestWork/Advisor分析工具； Software Emancipation公司开发的Discover分析工具等。 按照职能不同，静态测试工具有以下类型 ： 代码审查 (Code Auditing) 一致性检查(Consistency Checking) 错误检查(Error Checking) 输入输出规格说明分析(I／O Specification Analysis) 数据流分析(Data Flow Analysis) 类型分析(Type Analysis) 单元分析(Unit Analysis) 复杂度分析 ●代码审查 代码审查工具能帮助人们了解不太熟悉的代码，了解代码相关性、跟踪程序逻辑、观看程序的图形表达，确认死代码，确定需要特别关照的域，检查源程序是否遵循了程序设计规则等。 ● 一致性检查 一致性检查检测程序的各单元是否使用了统一的记法或术语，这类工具通常用以检查是否遵循了设计规格说明书。 ● 错误检查 错误检查用以确定差异和分析错误严重性和原因。 ● 接口分析 接口分析检查程序单元之间接口的一致性，以及是否遵循了预先确定的规则或原则。 ● 输入输出规格说明分析 输入输出规格说明分析的目标是借助于分析输入输出规格说明生成测试输入数据。 ● 数据流分析 数据流分析检测数据的赋值与引用之间是否出现了不合理的现象，如引用未赋值的变量，对以前未曾引用变量的再次赋值等数据流异常现象。 ● 类型分析 类型分析检测命名的数据项和操作是否得到了正确的使用。通常类型分析用以检测某一实体的值域(或函数等)是否按正确的且一致的形式构成。 ● 单元分析 单元分析检测单元或构成实体的物理元件是否定义正确和使用—致。 ● 复杂度分析 复杂度分析有助于确定分析域中的风险，帮助软件测试工程师精确地计划他们的测试活动。 2. 动态测试工具 动态测试工具与静态测试工具不同，动态测试工具直接执行被测程序以提供测试支持。它所支持测试的范围十分广泛，包括功能确认与接口测试、覆盖率分析、性能分析、内存分析等。 常用动态测试工具 Compuware公司开发的DevPartner软件 Ra