LDRA Testbed使用指南.docVIP

LDRA Testbed使用指南 简介 LDRA公司成立于1975年，具有丰富的软件质量保证和软件测试经验。LDRA工具套件功能强大、全面，不仅适用于主机平台的软件质量保证和软件测试，也适用于嵌入式软件的软件质量保证和软件测试。 LDRA为软件开发人员、测试人员以及项目管理人员提出了零缺陷软件开发（ZDSD），其工具套件能够完全集成并实现以下过程： 代码评审：Testbed提供强大的包括编码规则检查在内的静态分析功能和全面的静态分析报告，用户可以选择行业认可的标准，如MISRA C、DERA、AV C++等。 质量评审：Testbed提供软件质量的度量，以可视化的方法了解代码的复杂性；提供详细的函数调用关系和程序控制流程图；自动生成报告，提供软件质量文档。 设计评审：Testbed提供接口分析、识别潜在的错误程序变量，对所有过程参数以及函数的全局变量和返回值进行分析。 单元测试：Testbed可以自动生成测试驱动；随着源代码的改变，对需要修改的测试数据进行跟踪和报告；保存测试数据，以便回归测试。 测试验证：Testbed可以提供语句覆盖率；分支/判定覆盖率；LCSAJ基本路径覆盖率；调用覆盖率；分支判定条件覆盖率；分支条件覆盖率；数据流覆盖率等代码覆盖率分析指标。 测试管理：Testbed可以为评审提供整个系统的文档和版本控制，减少维护成本。 LDRA Testbed/Tbrun套件支持多种编程语言，包括Ada83/Ada95、C、C++、C#、Intel汇编 （80x86、8051、80C196等）、TI TMS320C2x/C2xx/C5x汇编、TI TMS320C3x/4x汇编。LDRA Testbed/Tbrun套件还支持多种嵌入式系统，包括ARM RealView Development Suite、Freescale CodeWarrior、GNU、IAR Embedded Workbench、Keil、Wind River TornadoDiab、TI Code Composer Studio等。 使用说明 主界面 启动C/C++ LDRA Testbed后，首先进入其主界面，如图 1所示： 图 1 单文件检查 选择源文件 打开File下拉菜单，选中Select File…选项，或者单击工具栏上的按钮，在弹出的Select File对话框中浏览并选择进行分析的源文件，如图 2所示： 图 2 分析域设置 当加载新的文件或文件集合时，LDRA Testbed将激活其向导对话框，进入分析域设置界面， 分析域设置允许用户修改Sysppvar.dat和Sysearch.dat文件，如图 3所示。 图 3 不在源文件中定义而在编译器的选项中定义的宏可以在Sysppvar.dat文件中定义。单击Sysppvar编辑框附近的按钮，选择Sysppvar.dat文件的存放位置，此时，后面的Create按钮自动变成Edit按钮，单击Edit按钮即可在Sysppvar.dat文件中添加宏定义了。宏定义的格式为：名字 数值或名字 (参数1, 参数2, …)。 Include文件的搜索目录可以通过Sysearch.dat文件来设置。单击Sysearch编辑框附近的按钮，选择Sysearch.dat文件的存放位置，此时，后面的Create按钮自动变成Edit按钮，单击Include Options…按钮，弹出Include File Analysis对话框，添加Include文件搜索目录，如图 4所示，选择搜索目录后，单击Add Search File，即可在Search Paths的列表框中看到新添加的搜索目录，添加完所有Include文件搜索目录后，单击确定按钮退回到分析域设置对话框，单击Continue按钮，完成设置。 图 4 检查分析域设置 打开Configure下拉菜单，选中Static Options…，弹出Static Configuration对话框，如图 5所示，对话框中包含以下设置： 指定Include文件搜索目录的Sysearch.dat文件 定义预处理器宏的Sysppvar.dat文件 工作路径 编码检查规则文件cpen.dat 图 5 打开Individual Results下拉菜单，再打开Souce Code级联菜单，选中Souce Code即可打开刚加载的源文件。 cpen.dat文件 cpen.dat文件包含各种编程标准，各条标准可以打开或关闭。 cpen.dat文件格式如下： 第一行：包含总的标准数量，例如 402 STANDARDS TEXT MUST BE 50 CHARS OR LESS。 标准行：文件中其他的行每行描述一条编程标准，例如： 2 1 0 2 S Lab