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

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

2、rianTestrian.c 。 點擊select之后，可以在工具快捷按鈕欄的下方看見目前選擇的文件 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中的多個文件孤立的分析，不會分析文件間代碼的相互

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

4、。 點擊Testbed菜單configurestatic 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 w

5、hen include file not found “Include 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按鈕打開文

6、件sysppvar.dat，在此文件中添加相應(yīng)的宏定義，宏定義的方式可通過點擊藍(lán)色的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”不

7、彈窗提示，使用默認(rèn)值 ”Disable stop static analysis”彈窗，并停止分析 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é)果報告是否包含原代碼行號

8、和格式化后的代碼行號。 在選項卡Data Files中可以實現(xiàn)對編碼規(guī)則集的定制，在”Standards Model Editor”區(qū)域點擊按鈕”Launch Editor”可以打開編碼規(guī)則圖形化定制的畫面 其中列代表的是具體的規(guī)則條目，行代表的是規(guī)則集的名稱，通過選擇框的選擇可以把某條規(guī)則包含或剔除到規(guī)則集內(nèi)。 3.質(zhì)量評審報告設(shè)定 在Testbed菜單configurequality review reoport options點擊，彈出quality review report 對話框,在”Metpen configuration”區(qū)域可以設(shè)定質(zhì)量評審報告中每個度量元的上下限的閾值，即可

9、定制質(zhì)量模型以便生成質(zhì)量評審報告，點擊”C:LDRA_Toolsuitemetpen.dat”后的”Edit”按鈕，可打開質(zhì)量模型配置文件，修改此文件中度量元的上下限閾值即可修改質(zhì)量模型。 4.數(shù)據(jù)對象分析報告設(shè)定。 在菜單configuredata object analysis reoport options點擊，彈出data object analysis configuration 對話框, 設(shè)定數(shù)據(jù)對象分析報告中顯示的對象范圍。 三、分析項的選擇與分析過程 在Testbed菜單analysis select analysis點擊，彈出select analysis 對話框,在此對話框

10、中選擇要執(zhí)行的靜態(tài)分析項:main static analysis、complexity analysis、static data flow analysis、cross reference、information flow analysis、data object analysis,然后點擊start analysis 按鈕進(jìn)行分析。 四、分析結(jié)果（報告）查看 1.單個文件結(jié)果查看 點擊Testbed菜單Individual results可看到下拉項Source code、Text results、Graphical results分別顯示了分析結(jié)果，這三個下拉項均可展開，便于用戶查看詳細(xì)

11、的分類結(jié)果。 文本化的分析結(jié)果： 圖形化的分析結(jié)果 2.集(set)的結(jié)果查看 點擊Testbed菜單Set results可看到下拉項Text results、Graphical results 分別顯示了分析結(jié)果，每個下拉項均可展開，便于用戶查看詳細(xì)的分類結(jié)果。 3.報告內(nèi)容介紹 報告內(nèi)容 文本報告 Analysis scope report 分析范圍報告 Test manager report 測試管理報告，主要包含代碼評審和質(zhì)量評審的總體結(jié)果Code review report 代碼評審報告，包含編程規(guī)范檢查的違反情況 Quality review report 質(zhì)量評審報告，包含每個

12、函數(shù)的清晰性、可維護(hù)性和可測試 性總體指標(biāo)，以及質(zhì)量度量標(biāo)準(zhǔn)的每項度量值（格式化代碼信息、 函數(shù)信息、函數(shù)解釋信息、解釋與可執(zhí)行代碼比例信息、復(fù)雜度 信息、霍爾斯特德度量信息、循環(huán)嵌套信息、LCSAJ及不可達(dá)代 碼信息和數(shù)據(jù)流信息） Design review report 設(shè)計評審報告，包含函數(shù)的入?yún)⒓胺祷刂档男畔eformatted code 格式化后的代碼，可以查看規(guī)則違反情況 LCSAJ report LCSAJ報告，包括代碼中的LCSAJ的數(shù)量及劃分細(xì)節(jié) LCSAJ test case planner report 此報告以函數(shù)為單位列出LCSAJ的詳細(xì)情況，并給 出執(zhí)行此LCSA

13、J所有滿足的條件，可指導(dǎo)用戶設(shè)計測試用 例增加LCSAJ的覆蓋率 Data flow analysis report 數(shù)據(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)系分析，包 含強(qiáng)依賴、弱依賴、條件依賴，強(qiáng)定義、弱定義 Data object analysis report 數(shù)據(jù)對象報告，根據(jù)單個或一組對象信息獲取此對象的 所有數(shù)據(jù)分析情況 圖形報告 Static callgraph 靜態(tài)調(diào)用關(guān)系圖，反應(yīng)函數(shù)的層次及調(diào)