LDRATestbed静态分析报告操作步骤_第1页
LDRATestbed静态分析报告操作步骤_第2页
LDRATestbed静态分析报告操作步骤_第3页
LDRATestbed静态分析报告操作步骤_第4页
LDRATestbed静态分析报告操作步骤_第5页
已阅读5页,还剩6页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

实用标准使用LDRATestbed对代码进行静态分析静态分析的主要操作:①分析对象选择②分析前的设置③分析项的选择与分析过程④分析结果的查看详细操作如下:一、 分析对象的选择,即如何选择你的分析对象 (被分析的文件 );有两种方式:单个文件分析和以集(set)的形式分析,以集的形式分析可每次分析多个文件单个文件分析选择打开程序 LDRATestbed,点击 Testbed的菜单File selectfile 通过文件浏览窗口打 开 文 件 要 分 析 的 文 件 , 如C:\LDRA_Workarea\Examples\C_testbed_examples\Testrian\Testrian.c 。文档大全实用标准点击select 之后,可以在工具快捷按钮栏的下方看见目前选择的文件2. 以集(set)的形式分析选择① 创建集合(set), 设置集合属性打开程序 LDRATestbed,点击Testbed的菜单Set Select/Create/DeleteSets 弹出set创建窗口在图中上部的Select/CreateSets区域写入set的名字,然后点击下部的Create按钮创建set,此时会弹出set的属性设置对话框,有两种属性可以设置”Group”和”System;”此两种属性的区别:Group 只是把set中的多个文件孤立的分析,不会分析文件间代码的相互关系,可作为批量分析使用。文档大全实用标准System把set 中的多个文件作为一个工程来分析,能够分析文件间的代码的关联,一般都会采用此种属性。Set创建之后可在窗口中确认如下:其中demo为set的名字,system为set的属性,(0files) 代表set中目前没有文件② 向集合中添加文件点击Testbed的菜单Set List/Add/RemoveFilesinSets 弹出添加文件窗口点击图中的 Add按钮,通过文件浏览窗口可添加多个文件到 set中。二、 分析前的设置在分析前需要对工具进行简单的设置, 主要包括用户头文件的设置和编码规则集的设置。基本的静态设置,包含头文件和编译宏设置。点击Testbed菜单configure staticoption ,弹出staticanalysisoptin 对话框,在选项卡 Includefiles 中的内容是对头文件的设置,可关注的设置有,“AnalysisIncludefiles ”区域设定头文件的展开方式 (即分不分析头文件 ),建议选择第二种Analysisthefirstinstanceofeachfoundinclude“Interactiveincludefileanalysis”区域设定代码中出现头文件包含语句时,工具与用户的交互方式,建议选择第三种Displaydialog文档大全实用标准onlywhenincludefilenotfound“IncludeSearchDirectories”区域设置用户头文件的查找目录和系统头文件的处理方式按钮SearchOptions 可设置用户头文件的查找目录,可通过浏览方式添加目录按钮SystenInclude Search可设置系统头文件的展开方式,建议设为 Don’tExpand在选项卡 macros中设定用户代码编译宏的处理方式文档大全实用标准“sysppvar”区域是对编译宏的定义设置,对于在编译命令中定义的宏,而在代码中使用此宏影响代码的编译的情况,需要用户把此宏添加到工具的设置文件中,可点击EditDefault按钮打开文件sysppvar.dat,在此文件中添加相应的宏定义,宏定义的方式可通过点击蓝色的Example显示样例;“InteractiveconditionalPreprocessingOptions”区域是设置针对代码中未识别的宏的处理及交互方式;如果选中”InteractivePreprocessing”,当出现未识别的宏时会弹出对话框,让用户定义此宏,如果不选当出现未识别的宏则不弹窗口;”AutoMacro”设定宏的自动定义处理方式,”Enable–promtformacrovaule”弹窗提示并让用户指定宏值”Enable–nopromt,usedefault”不弹窗提示,使用默认值”Disable–stopstaticanalysis”弹窗,并停止分析2. 代码评审报告设定。在Testbed 菜单 configure codereviewreportoptions 点击,弹出 codereviewreport 对话框.在选项卡 ReportbasedConfiguration 中”ProgrammingStandardsModel ”区域中选择你要生成编码规则检查结果报告所使用的规则集的名字;在”AdditionalDetailforeachStandardsViolation”区域中设定在代码评审结果报告是否包含原代码行号和格式化后的代码行号。文档大全实用标准在选项卡DataFiles中可以实现对编码规则集的定制,在”StandardsModelEditor”区域点击按钮”LaunchEditor”可以打开编码规则图形化定制的画面文档大全实用标准其中列代表的是具体的规则条目,行代表的是规则集的名称,通过选择框的选择可以把某条规则包含或剔除到规则集内。质量评审报告设定文档大全实用标准在Testbed 菜单 configure qualityreviewreoportoptions 点击,弹出 qualityreviewreport 对话框,在”Metpenconfiguration ”区域可以设定质量评审报告中每个度量元的上下限的阈值,即可定制质量模型以便生成质量评审报告,点击”C:\LDRA_Toolsuite\metpen.dat”后的”Edit”按钮,可打开质量模型配置文件,修改此文件中度量元的上下限阈值即可修改质量模型。数据对象分析报告设定。在菜单configure dataobjectanalysisreoportoptions 点击,弹出 dataobjectanalysisconfiguration 对话框, 设定数据对象分析报告中显示的对象范围。文档大全实用标准三、分析项的选择与分析过程在Testbed菜单analysisselectanalysis点击,弹出selectanalysis对话框,在此对话框中选择要执行的静态分析项:mainstaticanalysis、complexityanalysis、staticdataflowanalysis、crossreference、informationflowanalysis、dataobjectanalysis,然后点击startanalysis按钮进行分析。文档大全实用标准四、 分析结果(报告)查看单个文件结果查看点击Testbed菜单Individual results 可看到下拉项 Sourcecode、Textresults 、Graphicalresults 分别显示了分析结果,这三个下拉项均可展开,便于用户查看详细的分类结果。文本化的分析结果:图形化的分析结果集(set)的结果查看点击Testbed菜单Setresults可看到下拉项Textresults、Graphicalresults分别显示了分析结果,每个下拉项均可展开,便于用户查看详细的分类结果。文档大全实用标准3. 报告内容介绍报告内容文本报告Analysisscopereport 分析范围报告Testmanagerreport 测试管理报告,主要包含代码评审和质量评审的总体结果Codereviewreport 代码评审报告,包含编程规范检查的违反情况Qualityreviewreport 质量评审报告,包含每个函数的清晰性、可维护性和可测试性总体指标,以及质量度量标准的每项度量值(格式化代码信息、函数信息、函数注释信息、注释与可执行代码比例信息、复杂度信息、霍尔斯特德度量信息、循环嵌套信息、 LCSAJ及不可达代码信息和数据流信息)Designreviewreport 设计评审报告,包含函数的入参及返回值的信息Reformattedcode 格式化后的代码,可以查看规则违反情况LCSAJreport LCSAJ 报告,包括代码中的 LCSAJ的数量及划分细节LCSAJtestcaseplannerreport 此报告以函数为单位列出 LCSAJ的详细情况,并给出执行此 LCSAJ所有满足的条件, 可指导用户设计测试用例增加LCSAJ的覆盖率Dataflowanalysisreport 数据流报告,包含变量的使用异常、函数接口参数、全局变量和函数调用关系Procedureheadercomment 函数头注释,可以自动生成函数头注释便于用户使用Userdefinedtypereport 用户自定义类型报告Crossreferencereport 交叉索引报告,包括所有数据项的分析,类型 属性Informationflowanalysisreport 信息流报告,对函数中变量的依赖关系分析,包含强依赖、弱依赖、条件依赖,强定义、弱定义Dataobjectanalysisreport 数据对象报告,根据单个或一组对象信息获取此对象的所有数据分析情况图形报告Staticcallgraph 静态调用关系图,反应函数的层次及调用关系Stat

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论