目 录1Testbed 功能介绍 11.1 编程规则验证 11.2 数据流分析 11.3 控制流分析 11.4 表达式分析 21.5 接口分析 21.6 软件质量度量分析 22 使用 Testbed 进行编码规则的定制和检查 22.1 确定测试需求 22.2 建立测试工程 22.3 定制代码分析规则 22.4 配置 Report 选项 22.5 分析执行与结果查看 23 结果分析与测试报告编写 23.1 质量度量信息的猎取 23.2 程序质量度量报告单 23.3 静态分析质量报告单 2附录 A：静态分析推举规则使用说明 21Testbed 功能介绍1.1 编程规则验证编程标准验证是高可靠性软件开发不可缺少的软件质量保证方法，使用LDRA Testbed 自动地验证应用软件是否遵循了所选择的编程规则。编程规则由软件项目管理者根据自身项目的特点并参考现有的成熟的软件编程标准制定，如 DERA（欧洲防务标准），MISRA（汽车软件标准），LDRA Testbed 依据此规则搜索应用程序，并推断代码是否违反所制定的编程规则。LDRA Testbed 报告所有违反编程规则的代码并以文本方式或图形反标注的方式显示。测试人员或编程人员可根据显示的信息对违反编程规则的代码进行修改。1.2 数据流分析LDRA Testbed 分析软件中全局变量、局域变量与过程参数的使用状况，并以图形显示、HTML 或 ASCII 文本报告方式表示，清楚地识别出变量使用引起的软件错误，此种方法既可使用于单元级，亦可使用于集成级、系统级。 通过 Testbed 数据流分析功能，可方便地分析出软件中一些可能的程序欠缺，如：1. 没使用的函数参数；2. 不匹配的参数；3. 变量未赋初值就引用；4. 代码中有多余变量；5. 给值传递参数赋值；6. 无返回值的函数路径；7. 函数的实参是全局变量。1.3 控制流分析控制流分析检查以下容：1. 不可达代码；2. 不合理的循环结构；3. 存在浮点相等比较；4. 函数存在多个出口；5. 函数存在多个入口。1.4 表达式分析表达式分析检查以下容：1. 表达式中的括号使用不当；2. 数组下标越界；3. 存在被零除；4. SWITCH 语句缺少 DEFAULT；5. CASE 语句缺少 BREAK；6. 存在混合运算；7. 对指针进行逻辑比较；8. 在逻辑表达式中使用赋值操作符。1.5 接口分析接口分析检查以下容：1. 实参和形参个数不匹配；2. 实参和形参类型不匹配；3. 函数参数定义的结构和调用的结构不一致。1.6 软件质量度量分析对于软件开发工程师、项目负责人与高级管理者来说，软件质量的管理与监控是非常困难...
