目 录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 报告所有违反编程规则的代码并以文本方式或图形反标注的方式显示
测试人员或编程人员可根据显示的信息对违反编程规则的代码进行修改
2 数据流分析LDRA Testbed 分析软件中全局变量、局域变量与过程参数的使用状况，并以图形显示、HTML 或 ASCII 文本报告方式表示，清楚地识别出变量使用引起的软件错误，此种方法既可使用于单元级，亦可使用于集成级、系统级
通过 Testbed 数据流分析功能，可方便地分析出软件中一些可能的程序欠缺，如：1
没使用的函数参数；2
不匹配的参数；3
变量未赋初值就引用；4
代码中有多余变量；5
给值传递参数赋值；6
无返回值的函数路径；7
函数的实参是全局变量
3 控制流分析控制
