LDRA-Testbed静态分析操作步骤.docx

《LDRA-Testbed静态分析操作步骤.docx》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、使用LDRATestbed对代码进行静态分析静态分析的主要操作：①分析对象选择②分析前的设置③分析项的选择与分析过程④分析结果的查看详细操作如下：一、分析对象的选择，即如何选择你的分析对象(被分析的文件)；有两种方式：单个文件分析和以集(set)的形式分析，以集的形式分析可每次分析多个文件1.单个文件分析选择打开程序LDRATestbed，点击Testbed的菜单Fileàselectfile通过文件浏览窗口打开文件要分析的文件，如C:LDRA_WorkareaExamplesC_testbe

2、d_examplesTestrianTestrian.c。点击select之后，可以在工具快捷按钮栏的下方看见目前选择的文件1.以集(set)的形式分析选择①创建集合(set),设置集合属性打开程序LDRATestbed，点击Testbed的菜单SetàSelect/Create/DeleteSets弹出set创建窗口在图中上部的Select/CreateSets区域写入set的名字，然后点击下部的Create按钮创建set，此时会弹出set的属性设置对话框，有两种属性可以设置”Group”和”

3、System;”此两种属性的区别：Group只是把set中的多个文件孤立的分析，不会分析文件间代码的相互关系，可作为批量分析使用。System把set中的多个文件作为一个工程来分析，能够分析文件间的代码的关联，一般都会采用此种属性。Set创建之后可在窗口中确认如下：其中demo为set的名字，system为set的属性，(0files)代表set中目前没有文件①向集合中添加文件点击Testbed的菜单SetàList/Add/RemoveFilesinSets弹出添加文件窗口点击图中的Add按钮，通

4、过文件浏览窗口可添加多个文件到set中。一、分析前的设置在分析前需要对工具进行简单的设置，主要包括用户头文件的设置和编码规则集的设置。1.基本的静态设置，包含头文件和编译宏设置。点击Testbed菜单configureàstaticoption，弹出staticanalysisoptin对话框，在选项卡Includefiles中的内容是对头文件的设置，可关注的设置有，“AnalysisIncludefiles”区域设定头文件的展开方式(即分不分析头文件)，建议选择第二种Analysisthefirs

5、tinstanceofeachfoundinclude“Interactiveincludefileanalysis”区域设定代码中出现头文件包含语句时，工具与用户的交互方式，建议选择第三种Displaydialogonlywhenincludefilenotfound“IncludeSearchDirectories”区域设置用户头文件的查找目录和系统头文件的处理方式按钮SearchOptions可设置用户头文件的查找目录，可通过浏览方式添加目录按钮SystenIncludeSearch可设置系统

6、头文件的展开方式，建议设为Don’tExpand在选项卡macros中设定用户代码编译宏的处理方式“sysppvar”区域是对编译宏的定义设置，对于在编译命令中定义的宏，而在代码中使用此宏影响代码的编译的情况，需要用户把此宏添加到工具的设置文件中，可点击EditDefault按钮打开文件sysppvar.dat，在此文件中添加相应的宏定义，宏定义的方式可通过点击蓝色的Example显示样例；“InteractiveconditionalPreprocessingOptions”区域是设置针对代码中未

7、识别的宏的处理及交互方式；如果选中”InteractivePreprocessing”，当出现未识别的宏时会弹出对话框，让用户定义此宏，如果不选当出现未识别的宏则不弹窗口；”AutoMacro”设定宏的自动定义处理方式，”Enable–promtformacrovaule”弹窗提示并让用户指定宏值”Enable–nopromt,usedefault”不弹窗提示，使用默认值”Disable–stopstaticanalysis”弹窗，并停止分析1.代码评审报告设定。在Testbed菜单configur

8、eàcodereviewreportoptions点击，弹出codereviewreport对话框.在选项卡ReportbasedConfiguration中”ProgrammingStandardsModel”区域中选择你要生成编码规则检查结果报告所使用的规则集的名字；在”AdditionalDetailforeachStandardsViolation”区域中设定在代码评审结果报告是否包含原代码行号和格式化后的代码行号。在选项卡DataFiles中可以实现对编码规