LDRA-Testbed静态分析操作步骤

1、使用ldra testbe取寸代码进行静态分析静态分析的主要操作：分析对象选择分析前的设置分析项的选择与分析过程分析结果的查看 详细操作如下：一、分析对象的选择，即如何选择你的分析对象（被分析的文件）；有两种方式：单个文件分析和以集（set）的形式分析，以集的形式分析可每次分析多个文 件1 .单个文件分析选择llx打开程序ldra testbed,点击testbed的菜单file通过文件浏览窗口打开文件要分析的 文件，如 c:ldra_workareaexamplesc_testbed_examplestestriantestrian.c 。c/c+ ldra testbed versiond

2、ieanalysis tfirun idtvolvs 1口select file.select frevi ously analysedl. file. . .select file from msvc v6 proj ectselect file or set from tcfsave file or set to t£frecent setsrecant filasejit点击select之后，可以在工具快捷按钮栏的下方看见目前选择的文件2 .以集（set）的形式分析选择创建集合（set）,设置集合属性打开程序 ldra testbed,点击 testbed 的菜单 set se

3、lect/create/delete sets 弹出 set 创 建窗口在图中上部的 select/create sets区域写入set的名字，然后点击下部的create按钮创建set,此时会弹出set的属性设置对话框，有两种属性可以设置" groupt' system; "此两种属性的区别：group只是把set中的多个文件孤立的分析，不会分析文件间代码的相互关系，可作为 批量分析使用。system把set中的多个文件作为一个工程来分析，能够分析文件间的代码的关联，一般都会采用此种属性。set创建之后可在窗口中确认如下:其中demo为set的名字，system为s

4、et的属性，（0 files）代表set中目前没有文件向集合中添加文件点击 testbed 的菜单 set list/add/remove files in sets 弹出添加文件窗口点击图中的add按钮，通过文件浏览窗口可添加多个文件到set中。分析前的设置在分析前需要对工具进行简单的设置，主要包括用户头文件的设置和编码规则集的设置。1.基本的静态设置，包含头文件和编译宏设置。点击 testbed 菜单 configure static option ,弹出 static analysis optin 对话框，在选项卡include files中的内容是对头文件的设置，可关注的设置有，“an

5、alysis include files区域设定'头文件的展开方式（即分不分析头文件）,建议选择第二种analysis the first instance of each found include“interactiveinclude ”区域设定代码中出现头文件包含语句时，工具与用户的交互方式， 建议选择第三种 display dialog only when include found“include search directories区域设置用户头文件的查找目录和系统头文件的处理方式按钮search options可设置用户头文件的查找目录，可通过浏览方式添加目录按钮syst

6、en include search可设置系统头文件的展开方式，建 议设为 don' t expandibtlkle fil its | ndhge如w wnelud. fil.*-t7ncar-tetcvbfil* 邮,2|.尸,霄f) 比 同址下史" i?t. i醍1 社姐 131*;©，6 levtoatif£ild® atisiitm： iiie firl jnat.kr.ce £ eazls tijr-d lnclude：12 ilial«c for all #lncjuls 工1 h.ustr皿匕二知 ij产，-l3

7、l inct-azk1 ae-5 l t i final viyti9。：1!； *“ lh 吓町 di fill a g cmly 福珀* irsjcluie file 匕曲七 f amid口 sai dcfidlt f&r rtv flits cr ：4te11bjlp&* §留中氐 dirtatcrise-m*u gpt 1 pn3- .sts ten juclujdc seaxck. _ ,sjseecr ck - dala fil* t«r 与war & on l l orisjvtrm 宏帝wif<uil( »«

8、rck - 5*hg iir(i) - luitilldir)$ gn.*11k凄1i £二七 <s 4d.立lt sysfiires, d«t& iiit £tir rtea iles or sets,ci ililhjll' p xlsl lt iyse-tr tx d.-e.tvilu)!# inclt%ihl5 - trucox m*3juludw 51修.寻111口1® leit-* 1 ricl"3.cle sta.ten ent unndi 壬:.ud ( 甲iutl亡 r ke-adftr. h."

9、;1" phdd idj pth i* rititti i&cludtt ： sqa ct<iacl>jd«>|.kfl»d«r it )renoive * 3 connenl ( / mdijile *keide-i.)叫 gw 以口在选项卡macros中设定用户代码编译宏的处理方式“sysppvar区域是对编译宏的定义设置，对于在编译命令中定义的宏，而在代码中使用此宏影响代码的编译的情况，需要用户把此宏添加到工具的设置文件中，可点击editdefault按钮打开文件 sysppvar.dat,在此文件中添加相应的宏定义，宏定

10、义的方式可通 过点击蓝色的example显示样例；“interactive conditional preprocessing options 区域是设置针对代码中未识别的宏的处理 及交互方式；如果选中"interactive preprocessing ,当出现未识别的宏时会弹出对话框， 让用户定义此宏，如果不选当出现未识别的宏则不弹窗口；"automacro”设定宏的自动定义处理方式，"enable - promt for macro vaule窗提示并让用户指定宏值"enable - no promt, use default弹窗提示，使用默认值&

11、quot;disable - stop static analysis窗，并停止分析2.代码评审报告设定。在 testbed 菜单 configure code review report options 点击， 弹出 code review report 对 话框.在选项卡 report based configuration 中“programmingstandards model”区域中选择你要 生成编码规则检查结果报告所使用的规则集的名字；在"additional detail for each standards violation区域中设定在代码评审结果报告是否包 含原代

12、码行号和格式化后的代码行号。在选项卡data files中可以实现对编码规则集的定制，在 "standards model editor区域点 击按钮"launch editor可以打开编码规则图形化定制的画面其中列代表的是具体的规则条目，行代表的是规则集的名称，通过选择框的选择可以把 某条规则包含或剔除到规则集内。lora reoorl fa e editor -5ufie editviewheibslwlic*" uh/1包房l. dm* flw 1 口也r»ftil.fa fl -* | qqai jupurt 彰”lcaj i3fululi i

13、h£lvfcmi d*ru e htumbtrdvfiultstrengthdexriplinncastcert cms-econformcwecunomer .amplel'1cprocedure name r-eused.zseb2mlabel name rwied.7而=»,s3mmjore 什也口 e ecutabe ne4c tinatte-d linp5 in file7lr 回4mo<rdkite extrrds' refotmrflcd lifirv叵eve-t二 a5cernipiy th 匚lbli/e叵丁l(zg0procedij

14、irff pointer declared.z口引i-ihd7cjump oul of ptfoceclrt.邑vi匚回玄cempty el&e c jur.匣b71口因n9cais«inm#rt qp«r dtion in 看中*£匕*h0j回11no brackets to loop bcdy added by letbecf>巨n/12mno cradc«! ic(>dd«-d by l>cib#d)b叵金£回13maoto detecisd.iti-1t|l/l-<nl|二ed二4二ilm p二

15、：sert二尸 _ f三匚 c m-匚dm匕 二，：,!二仁曰二.三后rd二一7 飞三二i tzr三一己匚w *三匚 sezti二，：*三二 三三-a 一二i三-:z3 .质量评审报告设定在 testbed 菜单 configure quality review reoport options ,点击， 弹出 quality review report对话框，在"metpen configuration区域可以设定质量评审报告中每个度量元的上下限的阈值，即可定制质量模型以便生成质量评审报告，点击"c:ldra_toolsuitemetpen.dat后的" edi暇

16、钮，可打开质量模型配置文件，修改此文件中度量元的上下限阈值即可修 改质量模型。4 .数据对象分析报告设定。在菜单 configure data object analysis reoport options 点击，弹出 data object analysis configuration对话框，设定数据对象分析报告中显示的对象范围。分析项的选择与分析过程在testbed菜单analysis select analysis点击，弹出select analysis对话框，在此对话框中 选择要执行的静态分析项：main static analysis > complexity analysis

17、、static data flow analysis、cross reference、information flow analysis、data object analysis,然后点击 start analysis 按 钮进行分析。results plea«e select from the following05 tstic analysisgqnfiwre 回| ccmpletitv0 static 匚色冶 fkj叫 analysis0 cfoii reffittrtcc叵 ir4ormaion flow arnlysis叵i dataobiect anasttconfigu

18、ie.i mczd匚 t+tt caw fldmei| . generafe instiumenled program|j) 匚 enableekmi semantic analiwis build i n对njmefitarl frogram(sj execute intslmmemted program(s| dynamic coverage analysis i i dynamic dataset arabis profile an利很dynamic data flow coverageselection shortcutsbs fosl foolqo plh config prcmpt

19、s四、分析结果(报告)查看1.单个文件结果查看点击 testbed 菜单 individual results 可看至u下拉项 source code、text results、graphicalresults分别显示了分析结果，这三个下拉项均可展开，便于用户查看详细的分类结 果。文本化的分析结果:1工t*idliq. resultss-e i gje 31yll-3 con£i ,gyr e vl ewkei i'll 向 tx) eb ae /-p- vwk -j!l ttat rviullskmini 网帛 sc op nr r«pcrlgrirbi cd r

20、esull 1 's*l«t eea'ilts ? i 工mthjjiitit 也 & so81itju tgt爪也it. b 工世fil.htrl i强例tist ms启不r f.4e>»r< cf£ci1jttst vsijiptr eepsrt (xtml) 匚作& reri 6vr i-np.sr t gciiyutlity hetew(ascii)qu.-kj.i ly ksv-l 4>- report iktuljni|jk sc_teb lh c d_ex:削 n p 1七小d- iqidesign

21、jeevi ev keport mwl)rq form kt ted. ccdamplecy2testbed ex amplerlcsaj kepor tlcsaj 1由wt cae flsnnty rejicrtd3 0 fl4w3 rsy artfr*c«4ure h履加 cotmuislt«g xdmiith。li >ti ri/qhluttr dafixwi lyptscl 4££ ki ci"iu"cl"iy xap-oir tclt 工4 refei eate vf iinitfoinnilticrn pl

22、ow flrilysi? k*p&rt(ascn.data 3bj tel is lepot l 01rsnl)图形化的分析结果a 0. 2.0 气箝6 - 2013 ldra ltd.cuffto&er id：soasei 寿ure vi ewscut 喧4 c$14select ke suits file. .工工wtjrunriiuqil source filestiti c caller-e.pkzurremt cover tge ex a cited / hot ex e cut e d callerajh donhibiiiied coverag.e exezule

23、dl / uol executed. callprapci r口fpr总'f pitss/1f*3 1 cal 1 t:phlira tbviimiss hiei ai chy gi aph51 iti c flc*pr ipk二urieuil ccrwetejile 亡七2al / mu l 徐*etuaej fzd, 包 opki rm pie slc_le stb cdl_iex8 niplcsi岑七5&也ld ki ri 4t£1 arity ki*虱imples_(estbed_example<>i 弧>03m号昭立皿 f tt tdbi

24、li ty ki v .130 clstatic eu cwt-ssynsnic bar cl&j is2.集(set)的结果查看点击 testbed 菜单 set results 可看到下拉项 text results、graphical results 分别显示了 分析结果，每个下拉项均可展开，便于用户查看详细的分类结果。3. 报告内容介绍报告内容文本报告analysis scope report test manager report code review report quality review report分析范围报告测试管理报告，主要包含代码评审和质量评审的总体结果代码评审报告，包含编程规范检查的违反情况质量评审报告， 包含每个函数的清晰性、 可维护性和可测试性总体指标，以及质量度量标准的每项度量值（格式化代码信息、函数信息、函数注释信息、注释与可执行代码比例信息、复杂度信design review