LDRA Testbed使用指南Word下载.docx
- 文档编号:19064421
- 上传时间:2023-01-03
- 格式:DOCX
- 页数:14
- 大小:256.18KB
LDRA Testbed使用指南Word下载.docx
《LDRA Testbed使用指南Word下载.docx》由会员分享,可在线阅读,更多相关《LDRA Testbed使用指南Word下载.docx(14页珍藏版)》请在冰豆网上搜索。
随着源代码的改变,对需要修改的测试数据进行跟踪和报告;
保存测试数据,以便回归测试。
测试验证:
Testbed可以提供语句覆盖率;
分支/判定覆盖率;
LCSAJ基本路径覆盖率;
调用覆盖率;
分支判定条件覆盖率;
分支条件覆盖率;
数据流覆盖率等代码覆盖率分析指标。
测试管理:
Testbed可以为评审提供整个系统的文档和版本控制,减少维护成本。
LDRATestbed/Tbrun套件支持多种编程语言,包括Ada83/Ada95、C、C++、C#、Intel汇编
(80x86、8051、80C196等)、TITMS320C2x/C2xx/C5x汇编、TITMS320C3x/4x汇编。
LDRATestbed/Tbrun套件还支持多种嵌入式系统,包括ARMRealViewDevelopmentSuite、FreescaleCodeWarrior、GNU、IAREmbeddedWorkbench、Keil、WindRiverTornado&
Diab、TICodeComposerStudio等。
2使用说明
2.1主界面
启动C/C++LDRATestbed后,首先进入其主界面,如图1所示:
图1
2.2单文件检查
2.2.1选择源文件
打开File下拉菜单,选中SelectFile…选项,或者单击工具栏上的
按钮,在弹出的Select
File对话框中浏览并选择进行分析的源文件,如图2所示:
图2
2.2.2分析域设置
当加载新的文件或文件集合时,LDRATestbed将激活其向导对话框,进入分析域设置界面,
分析域设置允许用户修改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按钮,单击IncludeOptions…按钮,弹出IncludeFileAnalysis对话框,添加Include文件搜索目录,如图4所示,选择搜索目录后,单击AddSearchFile,即可在SearchPaths的列表框中看到新添加的搜索目录,添加完所有Include文件搜索目录后,单击确定按钮退回到分析域设置对话框,单击Continue按钮,完成设置。
图4
2.2.3检查分析域设置
打开Configure下拉菜单,选中StaticOptions…,弹出StaticConfiguration对话框,如图5所示,对话框中包含以下设置:
指定Include文件搜索目录的Sysearch.dat文件
定义预处理器宏的Sysppvar.dat文件
工作路径
编码检查规则文件cpen.dat
图5
打开IndividualResults下拉菜单,再打开SouceCode级联菜单,选中SouceCode即可打开刚加载的源文件。
2.2.3.1cpen.dat文件
cpen.dat文件包含各种编程标准,各条标准可以打开或关闭。
cpen.dat文件格式如下:
第一行:
包含总的标准数量,例如
402STANDARDSTEXTMUSTBE50CHARSORLESS。
标准行:
文件中其他的行每行描述一条编程标准,例如:
2102SLabelnamereused。
MISRA/DERA12
标准行第一列中的数用于LDRA内部文档表示本条标准在cpen.dat文件中的序号,如果为0,则表示本标准和当前的实现无关,用户不能修改该数字。
标准行第二列中的数用于打开或关闭本条标准,0表示关闭,1表示打开。
标准行第三列中的数用于某些标准的限幅系数,这些标准在文本描述中包含字符串“***”。
标准行第四列中的数用于程序内部表示本条标准,用户不能修改。
标准行第五列中的字符表示本条标准在什么分析中应用,S表示静态分析,C表示复杂性分析,D表示静态数据流分析,I表示信息流分析,X表示交叉引用,Q表示质量报告。
2.2.4删除已存在的工作文件
如果源文件之前已经被分析过,并有工作文件产生,则应先删除这些已存在的工作文件。
打开Analysis下拉菜单,选中DeleteWorkfiles…,弹出DeleteWorkfiles对话框,如图6所示,单击OK按钮,即可删除所有工作文件。
如果没有工作文件存在,Analysis下拉菜单中的DeleteWorkfiles…选项是灰色的。
图6
2.2.5质量模型设置
打开Configure下拉菜单,选中QualityReportOptions…,弹出QualityReport对话框,
如图7所示,在ProgrammingStandardsModel的下拉列表中选择适当的编程标准模型,研发中心的嵌入式软件一般选择MISRA-C2。
图7
在OptionalConfiguration标签页中,单击StandardConfigurationFile(REPFILE)中的Edit按钮,打开Creport.dat文件,如图8所示,该文件指定了哪些规则是强制性的,哪些不是,用户可以创建自己的过滤条件。
图8
2.2.6选择分析选项
打开Analysis下拉菜单,选择SelectAnalysis…,弹出SelectAnalysis对话框,对话框中列
出了所有可能的分析模块,点击分析模块左边的复选框即选中相应的分析模块。
LDRATestbed要求某些分析模块必须在另外一些分析模块之前执行,如果没有执行,单击StartAnalysis按钮后,会出现提示对话框,如图9所示。
正确选择分析模块后,单击StartAnalysis按钮,LDRATestbed开始执行这些分析步骤。
图9
2.2.7查看分析结果
打开IndividualResults下拉菜单,选择TextResults级联菜单中的OverviewReport选项,
将打开OverviewReport,通过该报告可以了解检查的总体结果,如图10所示。
图10
通过检查的函数QualityResult为Pass,违反编程规则的函数QualityResult为Fail,进一步点击函数名,将显示该函数违反编程规则的摘要,如图11所示,摘要包含源代码行数、规则描述和具体标准等信息,点击Source即可跳到源代码中相应的位置。
图11
打开IndividualResults下拉菜单,选择TextResults级联菜单中的QualityReport选项,
将打开QualityReport,在OverallQualitySummary表中,显示编程规则的违反次数。
图12
点击图12中编程规则的超链接,进入如图13所示的画面,对编程规则进行举例说明。
图13
另外,LDRATestbed还生成很多其它分析结果,具体可以查看IndividualResults下拉菜单中的TextResults级联菜单和GraphicalResults级联菜单。
2.3多文件检查
2.3.1创建源文件集合
打开Set下拉菜单,选择Select/Create/DeleteSets...,弹出Select/Create/DeleteSet对话框,如图14所示,在Select/CreateSet组合框中输入待创建的集合名,如CON711_GROUP,单击Create按钮,弹出提示对话框,要求用户设置新建集合的属性,Group还是System,如图15所示,选择属性后,完成新集合的创建,对话框消失。
图14
图15
打开Set下拉菜单,选择Select/Create/DeleteSets...,在弹出的Select/Create/DeleteSet对话框中可以看到新建的集合已经显示在集合列表中了,选中新建的集合,单击下方的Select按钮。
打开Set下拉菜单,选择List/Add/RemoveFilesinSet…选项,在弹出的List/Add/Remove
FilesinSet对话框中添加源文件到新建的集合中,如图16所示,源文件添加完毕,单击OK按钮,LDRATestbed将激活其向导对话框,进入分析域设置界面,请参考2.2.2分析域设置。
图16
2.3.1.1文件集合的属性
LDRATestbed创建的文件集合有两种属性可以设置:
GROUP:
对集合中每个文件单独进行分析,即批处理,在分析过程中,如果中间遇到错误,分析将继续进行。
SYSTEM:
在静态分析和复杂性分析过程中,依次对集合中每个文件进行分析,分析的结果用于后续的系统/集成测试,优化全局的数据流和交叉引用。
在分析过程中,如果中间遇到错误,分析过程停止。
2.3.2删除已存在的工作文件
请参考2.2.4删除已存在的工作文件。
2.3.3质量模型设置
请参考2.2.5质量模型设置。
2.3.4选择分析选项
请参考2.2.6选择分析选项。
2.3.5查看分析结果
对于文件集合,有两种类型的分析结果:
IndividualResultsFiles:
各个源文件的分析结果。
SystemorGroupResults:
文件集合整体的一个分析结果。
2.3.5.1查看单文件的分析结果
打开IndividualResults下拉菜单,选择SelectResultsFile…选项,在弹出的对话框中选中
待查看分析结果的文件,单击OK按钮,该文件即被选中,如图17所示。
也可以在主界面中的下拉菜单中选择待查看的文件,如图18所示。
图17
图18
选中待查看的文件后,可以通过打开IndividualResults下拉菜单,查看TextResults和GraphicalResults级联菜单中的各类分析结果。
2.3.5.2查看文件集合的分析结果
打开System/GroupResults下拉菜单,查看TextResults和GraphicalResults级联菜单中
的各类分析结果。
2.4使用分级的MISRA规则
由于MISRA规则严格而全面,实际开发过程中很难完全符合,因此,对MISRA规则进行
分级处理,分为三个等级:
Level-1、Level-2和Level-3,其中,Level-1描述了关键的编程规则,是必须遵守的,Level-2描述了除Level-1以外的次重要的编程规则,Level-3描述了除Level-1和Level-2以外其它使代码更完美的编程规则。
LDRATestbed的编程规则在数据文件CPEN.DAT中定义,检查结果在数据文件Creport.dat中定义,根据分级的MISRA规则生成三份Creport.dat文件,Creport_MustHave.DAT、CPEN_ShouldHave.DAT和CPEN_NiceHave.DAT分别对应Level-1、Level-2和Level-3三个等级的检查结果。
使用方法:
1.备份LDRATestbed安装目录下C的文件夹,因为,其中有些配置文件将被修改。
2.将Creport_MustHave.DAT、CPEN_ShouldHave.DAT和CPEN_NiceHave.DAT数据文件和ctbend.dat数据文件拷贝到LDRATestbed安装目录下C文件夹中。
3.打开Configure下拉菜单,选中QualityReportOptions…,在弹出QualityReport对话框中选中OptionalConfiguration标签页,指定标准配置文件Creport_MustHave.dat、Creport_ShouldHave.dat或Creport_NiceHave.dat就可以对代码进行不同等级的检查。
4.其他设置参考2.2单文件检查和2.3多文件检查。
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- LDRA Testbed使用指南 Testbed 使用指南