LDRA Testbed使用指南

《LDRA Testbed使用指南》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、LDRATestbed使用指南1简介LDRA公司成立于1975年，具有丰富的软件质量保证和软件测试经验。LDRA工具套件功能强大、全面，不仅适用于主机平台的软件质量保证和软件测试，也适用于嵌入式软件的软件质量保证和软件测试。LDRA为软件开发人员、测试人员以及项目管理人员提出了零缺陷软件开发（ZDSD），其工具套件能够完全集成并实现以下过程：Ø代码评审：Testbed提供强大的包括编码规则检查在内的静态分析功能和全面的静态分析报告，用户可以选择行业认可的标准，如MISRAC、DERA、AVC++等

2、。Ø质量评审：Testbed提供软件质量的度量，以可视化的方法了解代码的复杂性；提供详细的函数调用关系和程序控制流程图；自动生成报告，提供软件质量文档。Ø设计评审：Testbed提供接口分析、识别潜在的错误程序变量，对所有过程参数以及函数的全局变量和返回值进行分析。Ø单元测试：Testbed可以自动生成测试驱动；随着源代码的改变，对需要修改的测试数据进行跟踪和报告；保存测试数据，以便回归测试。Ø测试验证：Testbed可以提供语句覆盖率；分支/判定覆盖率；LCSAJ基本路径覆盖率；调用覆盖率；分支

3、判定条件覆盖率；分支条件覆盖率；数据流覆盖率等代码覆盖率分析指标。Ø测试管理：Testbed可以为评审提供整个系统的文档和版本控制，减少维护成本。LDRATestbed/Tbrun套件支持多种编程语言，包括Ada83/Ada95、C、C++、C#、Intel汇编（80x86、8051、80C196等）、TITMS320C2x/C2xx/C5x汇编、TITMS320C3x/4x汇编。LDRATestbed/Tbrun套件还支持多种嵌入式系统，包括ARMRealViewDevelopmentSuite

4、、FreescaleCodeWarrior、GNU、IAREmbeddedWorkbench、Keil、WindRiverTornado&Diab、TICodeComposerStudio等。2使用说明2.1主界面启动C/C++LDRATestbed后，首先进入其主界面，如图1所示：图11.1单文件检查1.1.1选择源文件打开File下拉菜单，选中SelectFile…选项，或者单击工具栏上的按钮，在弹出的SelectFile对话框中浏览并选择进行分析的源文件，如图2所示：图21.1.1分析域设置

5、当加载新的文件或文件集合时，LDRATestbed将激活其向导对话框，进入分析域设置界面，分析域设置允许用户修改Sysppvar.dat和Sysearch.dat文件，如图3所示。图3不在源文件中定义而在编译器的选项中定义的宏可以在Sysppvar.dat文件中定义。单击Sysppvar编辑框附近的按钮，选择Sysppvar.dat文件的存放位置，此时，后面的Create按钮自动变成Edit按钮，单击Edit按钮即可在Sysppvar.dat文件中添加宏定义了。宏定义的格式为：<名字><数值>或<

6、名字>(<参数1>,<参数2>,…)。Include文件的搜索目录可以通过Sysearch.dat文件来设置。单击Sysearch编辑框附近的按钮，选择Sysearch.dat文件的存放位置，此时，后面的Create按钮自动变成Edit按钮，单击IncludeOptions…按钮，弹出IncludeFileAnalysis对话框，添加Include文件搜索目录，如图4所示，选择搜索目录后，单击AddSearchFile，即可在SearchPaths的列表框中看到新添加的搜索目录，添加完所有Incl

7、ude文件搜索目录后，单击确定按钮退回到分析域设置对话框，单击Continue按钮，完成设置。图41.1.1检查分析域设置打开Configure下拉菜单，选中StaticOptions…，弹出StaticConfiguration对话框，如图5所示，对话框中包含以下设置：Ø指定Include文件搜索目录的Sysearch.dat文件Ø定义预处理器宏的Sysppvar.dat文件Ø工作路径Ø编码检查规则文件cpen.dat图5打开IndividualResults下拉菜单，再打开SouceCode级

8、联菜单，选中SouceCode即可打开刚加载的源文件。1.1.1.1cpen.dat文件cpen.dat文件包含各种编程标准，各条标准可以打开或关闭。cpen.dat文件格式如下：Ø第一行：包含总的标准数量，例如402STANDARDSTEXTMUSTBE50CHARSORLESS。Ø标准行：文件中其他的行每行描述一条编程标准，例如：2102SLabelnamereused。MISRA/DERA12Ø标准行第一列中的数用于LDRA内部文档表示本条标准在cpen.dat文件中的序号，