Testbed 静态测试使用指南 V11
Testbed 静态测试使用指南 V11 是一份详细的测试指南,旨在帮助用户熟悉 Testbed 静态测试工具的使用和操作。该指南涵盖了 Testbed 的功能介绍、编程规则验证、数据流分析、控制流分析、表达式分析、接口分析、软件质量度量分析等方面的内容。
1. Testbed 功能介绍
Testbed 是一种静态测试工具,能够自动地验证应用软件是否遵循了所选择的编程规则。它可以检查代码中的错误,提供详细的分析报告,并帮助开发者改进代码质量。
2. 编程规则验证
编程规则验证是 Testbed 的一个主要功能。它可以根据用户选择的编程规则,自动地检查代码是否符合该规则。 LDRA Testbed 报告所有违反编程规则的代码,并以文本方式或图形反标注的方式显示。
3. 数据流分析
数据流分析是 Testbed 的另一个重要功能。它可以分析软件中全局变量、局域变量及过程参数的使用状况,并以图形显示、HTML 或 ASCII 文本报告方式表示。这可以帮助开发者快速地识别出变量使用引起的软件错误。
4. 控制流分析
控制流分析检查以下内容:不可达代码、不合理的循环结构、存在浮点相等比较、函数存在多个出口、函数存在多个入口等。这可以帮助开发者检查代码中的逻辑错误和结构问题。
5. 表达式分析
表达式分析检查以下内容:表达式中的括号使用不当、数组下标越界、存在被零除、SWITCH 语句缺少 DEFAULT、CASE 语句缺少 BREAK、存在混合运算、对指针进行逻辑比较、在逻辑表达式中使用赋值操作符等。
6. 接口分析
接口分析检查以下内容:实参和形参个数不匹配、实参和形参类型不匹配、函数参数定义的结构和调用的结构不一致等。
7. 软件质量度量分析
软件质量度量分析是 Testbed 的一个重要功能。它可以收集正在开发的软件系统的相关信息,并判断软件是否满足软件质量标准要求。Testbed 提供数据文件接口,用户可基于现行软件标准自行定义适合本系统或项目的软件质量模型。
8. 使用 Testbed 进行编码规则的定制和检查
LDRA Testbed 可通过编辑编码规则文件 cpen.dat/cppen.dat 实现编码规则的定制。用户可以根据需要,确定测试对象、测试内容、测试“类型”,并在 Testbed 中建立测试工程。