LDRATestbed静态分析报告操作步骤
使⽤LDRA Testbed对代码进⾏静态分析
静态分析的主要操作：
①分析对象选择
②分析前的设置
③分析项的选择与分析过程
④分析结果的查看
详细操作如下：
⼀、分析对象的选择，即如何选择你的分析对象(被分析的⽂件)；
有两种⽅式：单个⽂件分析和以集(set)的形式分析，以集的形式分析可每次分析多个⽂件
1.单个⽂件分析选择
自动弹窗代码
打开程序LDRA Testbed，点击Testbed的菜单File select file 通过⽂件浏览窗⼝打开⽂件要分析的⽂件，如C:\LDRA_Workarea\Examples\C_testbed_examples\Testrian\Testrian.c 。
点击select之后，可以在⼯具快捷按钮栏的下⽅看见⽬前选择的⽂件
2.以集(set)的形式分析选择
①创建集合(set)，设置集合属性
打开程序LDRA Testbed，点击Testbed的菜单Set Select/Create/Delete Sets 弹出set创建窗⼝
在图中上部的Select/Create Sets区域写⼊set的名字，然后点击下部的Create按钮创建set，此时会弹出set的属性设置对话框，有两种属性可以设置”Group”和”System;”
此两种属性的区别：
Group 只是把set中的多个⽂件孤⽴的分析，不会分析⽂件间代码的相互关系，可作为批量分析使⽤。
System把set中的多个⽂件作为⼀个⼯程来分析，能够分析⽂件间的代码的关联，⼀般都会采⽤此种属性。
Set创建之后可在窗⼝中确认如下：
其中demo为set的名字，system为set的属性，(0 files)代表set中⽬前没有⽂件
②向集合中添加⽂件
点击Testbed的菜单Set→List/Add/Remove Files in Sets 弹出添加⽂件窗⼝
点击图中的Add按钮，通过⽂件浏览窗⼝可添加多个⽂件到set中。
⼆、分析前的设置
在分析前需要对⼯具进⾏简单的设置，主要包括⽤户头⽂件的设置和编码规则集的设置。
1.基本的静态设置，包含头⽂件和编译宏设置。
点击Testbed菜单configure→static option，弹出static analysis optin对话框，在选项卡Include files中的内容是对头⽂件的设置，可关注的设置有，
“Analysis Include files”区域设定头⽂件的展开⽅式(即分不分析头⽂件)，建议选择第⼆种
Analysis the first instance of each found include
“Interactive include file analysis”区域设定代码中出现头⽂件包含语句时，⼯
具与⽤户的交互⽅式，建议选择第三种Display dialog
only when include file not found
“Include Search Directories”区域设置⽤户头⽂件的查⽬录和系统头⽂件的处
理⽅式
按钮Search Options可设置⽤户头⽂件的查⽬录，可通
过浏览⽅式添加⽬录
按钮Systen Include Search可设置系统头⽂件的展开⽅式，
建议设为Don’t Expand
在选项卡macros中设定⽤户代码编译宏的处理⽅式
“sysppvar”区域是对编译宏的定义设置，对于在编译命令中定义的宏，⽽在代码中使⽤此宏影响代码的编译的情况，需要⽤户把此宏添加到⼯具的设置⽂件中，可点击Edit Default按钮打开⽂件sysppvar.dat，在此⽂件中添加相应的宏定义，宏定义的⽅式可通过点击蓝⾊的Example显⽰样例；
“Interactive conditional Preprocessing Options”区域是设置针对代码中未识别的宏的处理及交互⽅式；如果选中” Interactive Preprocessing”，当出现未识别的宏时会弹出对话框，让⽤户定义此宏，如果不选当出现未识别的宏则不弹窗
⼝；”AutoMacro”设定宏的⾃动定义处理⽅式，
”Enable – promt for macro vaule”弹窗提⽰并让⽤户指定宏值
”Enable – no promt, use default”不弹窗提⽰，使⽤默认值
”Disable – stop static analysis”弹窗，并停⽌分析
2.代码评审报告设定。
在Testbed菜单configure code review report options点击，弹出code review report 对话框.
在选项卡Report based Configuration中”Programming Standards Model”区域中选择你要⽣成编码规则检查结果报告所使⽤的
规则集的名字；
在”Additional Detail for each Standards Violation”区域中设定在代码评审结果报告是否包含原代码⾏号和格式化后的代码⾏号。
在选项卡Data Files中可以实现对编码规则集的定制，在”Standards Model Editor”区域点击按钮”Launch Editor”可以打开编码规则图形化定制的画⾯
其中列代表的是具体的规则条⽬，⾏代表的是规则集的名称，通过选择框的选择可以把某条规则包含或剔除到规则集内。

版权声明：本站内容均来自互联网，仅供演示用，请勿用于商业和其他非法用途。如果侵犯了您的权益请与我们联系QQ:729038198，我们将在24小时内删除。