目 录
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
1. Testbed功能介绍
1.1 编程标准验证
编程标准验证是高可靠性软件开发不可缺少的软件质量保证方法，使用LDRA Testbed 自动地验证应用软件是否遵循了所选择的编程规则。编程规则由软件项目管理者根据自身项目的特点并参考现有的成熟的软件编程标准制定，如DERA（欧洲防务标准），MISRA（汽车软件标准），LDRA Testbed依据此规则搜索应用程序，并判断代码是否违反所制定的编程规则。LDRA Testbed报告所有违反编程规则的代码并以文本方式或图形反标注的方式显示。测试人员或编程人员可根据显示的信息对违反编程规则的代码进行修改。 1.2 数据流分析
LDRA Testbed分析软件中全局变量、局域变量及过程参数的使用状况，并以图形显示、HTML或ASCII文本报告方式表示，清晰地识别出变量使用引起的软件错误，此种方法既可使用于单元级，亦可使用于集成级、系统级。
通过 Testbed数据流分析功能，可方便地分析出软件中一些可能的程序欠缺，如：
1、用错的局部或全局变量； 2、不匹配的参数； 3、遗漏的标号或代码；
4、未定义的变量；
等等，其中经常会发现程序中有未定义的变量情况发生。 1.3 软件度量分析
对于软件开发工程师、项目负责人及高级管理者来说，软件质量的管理与监控是非常困难的且费时。LDRA Testbed很好地解决了这一问题，使得管理者很容易地收集正在开发的软件系统的相关信息并判断软件是否满足软件质量标准要求，从而达到对软件项目的质量跟踪与控制。Testbed 提供数据文件接口，用户可基于现行软件标准自行定义适合本系统或项目的软件质量模型。
LDRA Testbed 支持下列主要软件度量元分析： ? 控制流结点度量(Control Flow Knots)；
? ? ? ? ?
LCSAJ 密度度量(LCSAJ Density)； 扇入/扇出度量； 循环深度度量； McCabe 圈复杂度； Halstead软件科学度量；
? McCabe 基本圈复杂度； ? 注释行度量；
? 代码可达性度量；等等。
1.4 质量报告生成
LDRA Testbed自动生成各种质量报告供测试人员分析，包括代码规则检查报告、软件度量报告、数据流报告、交叉索引报告，报告形式可以为ASCII文本或HTML超文本，报告支持文件级与系统级。 1.5 代码可视化显示
Testbed提供调用图与控制流程图，显示被测系统的调用关系及每个子程序的控制流程。使用此功能用户可快速理解被测软件系统，并方便软件维护。
2. 使用Testbed 进行编码规则的定制和检查
LDRA Testbed可通过编辑编码规则文件cpen.dat/cppen.dat实现编码规则的定制，下面将具体介绍：
1. 启动Testbed，在File 菜单下选择Select File 选项，选择要分析的文件；
选择好要分析的文件，点击Select 按钮完成。
2. 点击菜单栏中的Configure，在下拉菜单中点击Static Options 选项，将会出现如下窗口，点击cpen.dat 后的Edit 按钮，按照提示编辑cpen.dat。若存在已编辑好的编码规则文件，可按旁边的浏览键直接指定该dat 文件，则下面第3步可以省略。