LDRA-Testbed靜態(tài)分析操作步驟

1、使用LDRA Testbed對代碼進行靜態(tài)分析靜態(tài)分析的主要操作：分析對象選擇分析前的設(shè)置分析項的選擇與分析過程分析結(jié)果的查看詳細操作如下：一、 分析對象的選擇，即如何選擇你的分析對象(被分析的文件)；有兩種方式：單個文件分析和以集(set)的形式分析，以集的形式分析可每次分析多個文件1. 單個文件分析選擇翻開程序LDRA Testbed，點擊Testbed的菜單Fileàselect file 通過文件瀏覽窗口翻開文件要分析的文件，如C:LDRA_WorkareaExamplesC_testbed_examplesTestrianTestrian.c 。點擊select之后，可以在

2、工具快捷按鈕欄的下方看見目前選擇的文件2. 以集(set)的形式分析選擇 創(chuàng)立集合(set),設(shè)置集合屬性翻開程序LDRA Testbed，點擊Testbed的菜單SetàSelect/Create/Delete Sets 彈出set創(chuàng)立窗口在圖中上部的Select/Create Sets區(qū)域?qū)懭雜et的名字，然后點擊下部的Create按鈕創(chuàng)立set，此時會彈出set的屬性設(shè)置對話框，有兩種屬性可以設(shè)置Group和System;此兩種屬性的區(qū)別：Group 只是把set中的多個文件孤立的分析，不會分析文件間代碼的相互關(guān)系，可作為批量分析使用。System 把set中的多個文件作為一個

3、工程來分析，能夠分析文件間的代碼的關(guān)聯(lián)，一般都會采用此種屬性。Set創(chuàng)立之后可在窗口中確認如下：其中demo為set的名字，system為set的屬性，(0 files)代表set中目前沒有文件 向集合中添加文件點擊Testbed的菜單SetàList/Add/Remove Files in Sets 彈出添加文件窗口點擊圖中的Add按鈕，通過文件瀏覽窗口可添加多個文件到set中。二、 分析前的設(shè)置在分析前需要對工具進行簡單的設(shè)置，主要包括用戶頭文件的設(shè)置和編碼規(guī)那么集的設(shè)置。1. 根本的靜態(tài)設(shè)置，包含頭文件和編譯宏設(shè)置。點擊Testbed菜單configureàstati

4、c option，彈出static analysis optin對話框，在選項卡Include files中的內(nèi)容是對頭文件的設(shè)置，可關(guān)注的設(shè)置有，“Analysis Include files 區(qū)域設(shè)定頭文件的展開方式(即分不分析頭文件)，建議選擇第二種 Analysis the first instance of each found include“Interactive include file analysis 區(qū)域設(shè)定代碼中出現(xiàn)頭文件包含語句時，工具與用戶的交互方式，建議選擇第三種Display dialog only when include file not found“Inc

5、lude Search Directories 區(qū)域設(shè)置用戶頭文件的查找目錄和系統(tǒng)頭文件的處理方式 按鈕Search Options可設(shè)置用戶頭文件的查找目錄，可通過瀏覽方式添加目錄 按鈕Systen Include Search可設(shè)置系統(tǒng)頭文件的展開方式，建議設(shè)為Dont Expand在選項卡macros中設(shè)定用戶代碼編譯宏的處理方式“sysppvar 區(qū)域是對編譯宏的定義設(shè)置，對于在編譯命令中定義的宏，而在代碼中使用此宏影響代碼的編譯的情況，需要用戶把此宏添加到工具的設(shè)置文件中，可點擊Edit Default按鈕翻開文件sysppvar.dat，在此文件中添加相應(yīng)的宏定義，宏定義的方式可通

6、過點擊藍色的Example顯示樣例；“Interactive conditional Preprocessing Options 區(qū)域是設(shè)置針對代碼中未識別的宏的處理及交互方式；如果選中 Interactive Preprocessing，當(dāng)出現(xiàn)未識別的宏時會彈出對話框，讓用戶定義此宏，如果不選當(dāng)出現(xiàn)未識別的宏那么不彈窗口；AutoMacro設(shè)定宏的自動定義處理方式，Enable promt for macro vaule 彈窗提示并讓用戶指定宏值Enable no promt, use default 不彈窗提示，使用默認值Disable stop static analysis 彈窗，并停

7、止分析2. 代碼評審報告設(shè)定。在Testbed菜單configureàcode review report options點擊，彈出code review report 對話框.在選項卡Report based Configuration中Programming Standards Model區(qū)域中選擇你要生成編碼規(guī)那么檢查結(jié)果報告所使用的規(guī)那么集的名字；在Additional Detail for each Standards Violation區(qū)域中設(shè)定在代碼評審結(jié)果報告是否包含原代碼行號和格式化后的代碼行號。在選項卡Data Files中可以實現(xiàn)對編碼規(guī)那么集的定制，在Stan

8、dards Model Editor區(qū)域點擊按鈕Launch Editor可以翻開編碼規(guī)那么圖形化定制的畫面其中列代表的是具體的規(guī)那么條目，行代表的是規(guī)那么集的名稱，通過選擇框的選擇可以把某條規(guī)那么包含或剔除到規(guī)那么集內(nèi)。3. 質(zhì)量評審報告設(shè)定在Testbed菜單configureàquality review reoport options點擊，彈出quality review report 對話框,在Metpen configuration區(qū)域可以設(shè)定質(zhì)量評審報告中每個度量元的上下限的閾值，即可定制質(zhì)量模型以便生成質(zhì)量評審報告，點擊 C:LDRA_Toolsuitemetpen.

9、dat后的Edit按鈕，可翻開質(zhì)量模型配置文件，修改此文件中度量元的上下限閾值即可修改質(zhì)量模型。4. 數(shù)據(jù)對象分析報告設(shè)定。在菜單configureàdata object analysis reoport options點擊，彈出data object analysis configuration 對話框, 設(shè)定數(shù)據(jù)對象分析報告中顯示的對象范圍。三、 分析項的選擇與分析過程在Testbed菜單analysisàselect analysis點擊，彈出select analysis 對話框,在此對話框中選擇要執(zhí)行的靜態(tài)分析項:main static analysis、com

10、plexity analysis、static data flow analysis、cross reference、information flow analysis、data object analysis,然后點擊start analysis 按鈕進行分析。四、 分析結(jié)果報告查看1. 單個文件結(jié)果查看點擊Testbed菜單Individual results可看到下拉項Source code、Text results、Graphical results分別顯示了分析結(jié)果，這三個下拉項均可展開，便于用戶查看詳細的分類結(jié)果。文本化的分析結(jié)果：圖形化的分析結(jié)果2. 集(set)的結(jié)果查看點擊T

11、estbed菜單Set results可看到下拉項Text results、Graphical results分別顯示了分析結(jié)果，每個下拉項均可展開，便于用戶查看詳細的分類結(jié)果。3. 報告內(nèi)容介紹報告內(nèi)容文本報告Analysis scope report 分析范圍報告Test manager report 測試管理報告，主要包含代碼評審和質(zhì)量評審的總體結(jié)果Code review report 代碼評審報告，包含編程標(biāo)準(zhǔn)檢查的違反情況Quality review report 質(zhì)量評審報告，包含每個函數(shù)的清晰性、可維護性和可測試性總體指標(biāo)，以及質(zhì)量度量標(biāo)準(zhǔn)的每項度量值格式化代碼信息、函數(shù)信息、函

12、數(shù)注釋信息、注釋與可執(zhí)行代碼比例信息、復(fù)雜度信息、霍爾斯特德度量信息、循環(huán)嵌套信息、LCSAJ及不可達代碼信息和數(shù)據(jù)流信息Design review report 設(shè)計評審報告，包含函數(shù)的入?yún)⒓胺祷刂档男畔eformatted code 格式化后的代碼，可以查看規(guī)那么違反情況LCSAJ report LCSAJ報告，包括代碼中的LCSAJ的數(shù)量及劃分細節(jié)LCSAJ test case planner report 此報告以函數(shù)為單位列出LCSAJ的詳細情況，并給出執(zhí)行此LCSAJ所有滿足的條件，可指導(dǎo)用戶設(shè)計測試用例增加LCSAJ的覆蓋率Data flow analysis report 數(shù)

13、據(jù)流報告，包含變量的使用異常、函數(shù)接口參數(shù)、全局變量和函數(shù)調(diào)用關(guān)系Procedure header comment 函數(shù)頭注釋，可以自動生成函數(shù)頭注釋便于用戶使用User defined type report 用戶自定義類型報告Cross reference report 交叉索引報告，包括所有數(shù)據(jù)項的分析，類型 屬性Information flow analysis report 信息流報告，對函數(shù)中變量的依賴關(guān)系分析，包含強依賴、弱依賴、條件依賴，強定義、弱定義Data object analysis report 數(shù)據(jù)對象報告，根據(jù)單個或一組對象信息獲取此對象的所有數(shù)據(jù)分析情況圖形報告Static callgraph 靜態(tài)調(diào)用關(guān)系圖，反響函數(shù)的層次及調(diào)用關(guān)系Sta