Testbed学习总结材料V1.0.docVIP

实用文档 PAGE 文案大全 目 录 TOC \o 1-3 \h \z \u 1. Testbed功能介绍 1 1.1 编程标准验证 1 1.2 数据流分析 1 1.3 软件度量分析 1 1.4 质量报告生成 2 2. 使用Testbed 进行编码规则的定制和检查 2 3. 静态分析报告 5 3.1 静态分析质量报告单 5 3.2 程序质量度量报告单 6 3.3 度量指标解释 7 3.4 度量指标的获取 8 Testbed功能介绍 编程标准验证 编程标准验证是高可靠性软件开发不可缺少的软件质量保证方法，使用LDRA Testbed 自动地验证应用软件是否遵循了所选择的编程规则。编程规则由软件项目管理者根据自身项目的特点并参考现有的成熟的软件编程标准制定，如DERA（欧洲防务标准），MISRA（汽车软件标准），LDRA Testbed依据此规则搜索应用程序，并判断代码是否违反所制定的编程规则。LDRA Testbed报告所有违反编程规则的代码并以文本方式或图形反标注的方式显示。测试人员或编程人员可根据显示的信息对违反编程规则的代码进行修改。 数据流分析 LDRA Testbed分析软件中全局变量、局域变量及过程参数的使用状况，并以图形显示、HTML或ASCII文本报告方式表示，清晰地识别出变量使用引起的软件错误，