Testbed學習總結(jié)

1、1. Testbed 功能介紹 錯誤! 未定義書簽。編程標準驗證 錯誤!未定義書簽。數(shù)據(jù)流分析 錯誤!未定義書簽。軟件度量分析 錯誤!未定義書簽。質(zhì)量報告生成 錯誤!未定義書簽。2. 使用 Testbed 進行編碼規(guī)則的定制和檢查 錯誤 ! 未定義書簽。3. 靜態(tài)分析報告 錯誤!未定義書簽。靜態(tài)分析質(zhì)量報告單 錯誤!未定義書簽。程序質(zhì)量度量報告單 錯誤!未定義書簽。度量指標解釋 錯誤!未定義書簽。度量指標的獲取 錯誤!未定義書簽。1. Testbed功能介紹1.1 編程標準驗證編程標準驗證是高可靠性軟件開發(fā)不可缺少的軟件質(zhì)量保證方法，使用LDRATestbed自動地驗證應用軟件是否遵循了所選擇

2、的編程規(guī)則。編程規(guī)則由軟件項目管理者根據(jù)自身項目的特點并參考現(xiàn)有的成熟的軟件編程標準制定，如DERA(歐洲防務標準)，MISRA(汽車軟件標準)，LDRATestbed依據(jù)此規(guī)則搜索應用 程序，并判斷代碼是否違反所制定的編程規(guī)則。LDRA Testbed報告所有違反編程規(guī)則的代碼并以文本方式或圖形反標注的方式顯示。測試人員或編程人員可根據(jù)顯示的信息對違反編程規(guī)則的代碼進行修改。1.2 數(shù)據(jù)流分析LDRATestbed分析軟件中全局變量、局域變量及過程參數(shù)的使用狀況，并以 圖形顯示、HTMLS ASCII文本報告方式表示，清晰地識別出變量使用引起的軟 件錯誤，此種方法既可使用于單元級，亦可使用于

3、集成級、系統(tǒng)級。通過Testbed數(shù)據(jù)流分析功能，可方便地分析出軟件中一些可能的程序欠缺，如：1、用錯的局部或全局變量；2、不匹配的參數(shù)；3、遺漏的標號或代碼；4、未定義的變量；等等，其中經(jīng)常會發(fā)現(xiàn)程序中有未定義的變量情況發(fā)生。1.3 軟件度量分析對于軟件開發(fā)工程師、項目負責人及高級管理者來說，軟件質(zhì)量的管理與監(jiān) 控是非常困難的且費時。LDRA Testbed很好地解決了這一問題，使得管理者很 容易地收集正在開發(fā)的軟件系統(tǒng)的相關(guān)信息并判斷軟件是否滿足軟件質(zhì)量標準 要求，從而達到對軟件項目的質(zhì)量跟蹤與控制。Testbed提供數(shù)據(jù)文件接口，用 戶可基于現(xiàn)行軟件標準自行定義適合本系統(tǒng)或項目的軟件質(zhì)量

4、模型。LDRA Testbed支持下列主要軟件度量元分析：控制流結(jié)點度量(Control Flow Knots) ;LCSAJ 密度度量(LCSAJ Density);扇入/扇出度量；循環(huán)深度度量；McCabe圈復雜度；Halstead軟件科學度量；McCabe基本圈復雜度；注釋行度量；代碼可達性度量；等等。1.4 質(zhì)量報告生成LDRATestbed 自動生成各種質(zhì)量報告供測試人員分析，包括代碼規(guī)則檢查報告、軟件度量報告、數(shù)據(jù)流報告、交叉索引報告，報告形式可以為ASCII 文本或HTM圜文本，報告支持文件級與系統(tǒng)級。1.5 代碼可視化顯示Testbed 提供調(diào)用圖與控制流程圖，顯示被測系統(tǒng)的調(diào)

5、用關(guān)系及每個子程序的控制流程。使用此功能用戶可快速理解被測軟件系統(tǒng)，并方便軟件維護。2. 使用 Testbed 進行編碼規(guī)則的定制和檢查LDRATestbed 可通過編輯編碼規(guī)則文件實現(xiàn)編碼規(guī)則的定制，下面將具體介紹：1. 啟動Testbed,在File 菜單下選擇Select File 選項，選擇要分析的文 件；選擇好要分析的文件，點擊Select 按鈕完成。2. 點擊菜單欄中的Configure ，在下拉菜單中點擊Static Options 選項，將會出現(xiàn)如下窗口，點擊后的 Edit 按鈕，按照提示編輯。若存在已編輯好的編碼規(guī)則文件，可按旁邊的瀏覽鍵直接指定該dat 文件，則下面第3 步

6、可以省略。3. 編輯第 2 列 , 根據(jù)實際需求，將對應編碼規(guī)則置“0”或“1”，置“0”代表該條編碼規(guī)則無效，置“1”代表該條編碼規(guī)則有效。4. 點擊菜單欄中的Configure ， 在下拉菜單中點擊Quality Report Options選項，將會出現(xiàn)如下窗口，在Programming Standard Model 下拉框中選擇“ Standard ”。5. 點擊菜單欄中的Analysis ，在下拉菜單中點擊Select Analysis ，將會3 項，點擊Start Analysis 按鈕，開始進行靜態(tài)分析。6.靜態(tài)分析結(jié)束后，點擊菜單欄中的Individual Results ,選

7、擇下拉菜單Text Results 中的 Quality Report(HTML),查看質(zhì)量報告。3.靜態(tài)分析報告3.1靜態(tài)分析質(zhì)量報告單表1靜態(tài)分析質(zhì)量報告單審查項目測試內(nèi)容技術(shù)要求審查結(jié)果控制流分析是否存在不可達代碼否是否存在不合理的循環(huán)結(jié)構(gòu)否是否存在浮點相等比較否是否使用goto語句否函數(shù)是否存在多個出口否函數(shù)是否存在多個入口否數(shù)據(jù)流分析是否存在沒使用的函數(shù)參數(shù)否函數(shù)是否存在路徑無返回值否是否存在函數(shù)的實參是全局變量否代碼中是否存在多余變量否是否存在艾重使用前未初始化否是否存在參數(shù)與期望的作用小匹配否表達式分析是否出現(xiàn)表達式中的括號使用不當否是否存在數(shù)組下標越界否是否存在被零除否SWIT

8、CH句是否缺少 DEFAULT否CASE句是否缺少 BREAK否在非賦值表達式中是否使用賦值操作符否接口分析是否存在形參與實參在類型、數(shù)量、順序及維數(shù) 等使用上的不一致性否是否存在模塊與外部數(shù)據(jù)庫的接亦一致性否是否存在各模塊之間接口的不一致性否3.3度量指標解釋表2程序質(zhì)量度量報告單描述指標違反 個數(shù)所在軟件具體描述計軟件單元的 語句數(shù)=20%扇入數(shù)調(diào)用該函數(shù)的上層函數(shù)的個數(shù)7扇出數(shù)函數(shù)調(diào)用卜層 函數(shù)的個數(shù)7函數(shù)參數(shù)函數(shù)參數(shù)=7圈復雜度=10基本復雜度=4控制流 結(jié)點數(shù)=2控制流基本結(jié)點數(shù)=5循環(huán)深度=5LCSAJ密度文件LCSAJ密度=50LCSAJs總數(shù)/、可達 LCSAJs=10不可達代

9、碼行 數(shù)=10不口達分支數(shù)=20圈復雜度(V(G)圈復雜度的計算方法很簡單，計算公式為：V(G尸E-N+2。其中，E表示控制流圖中邊的數(shù)量，N表示控制流圖中節(jié)點的數(shù)量。McCabe & Associates建議圈復雜度到10,因為高的圈復雜度使測試變得更 加復雜而且增大了軟件錯誤產(chǎn)生的概率?；緩碗s度(EV(G)基本復雜度是用來衡量程序非結(jié)構(gòu)化程度的，非結(jié)構(gòu)成分降低了程序的質(zhì) 量，增加了代碼的維護難度，使程序難于理解。因此，基本復雜度高意味著非結(jié) 構(gòu)化程度高，難以模塊化和維護。實際上，消除了一個錯誤有時會引起其它的錯 誤。將流程圖中的結(jié)構(gòu)化部分簡化成一個點，計算簡化以后流程圖的圈復雜度就是基本

10、復雜度。計算公式為：EV(G)=V(G)-M其中，M是流程圖G中的結(jié)構(gòu)化子圖(出口和入口唯一)的數(shù)量。控制流結(jié)點數(shù)(Knots)當兩條控制流相交時，就產(chǎn)生一個控制流結(jié)點?？刂屏鹘Y(jié)點數(shù)表示流程圖中 控制流相交的個數(shù)?；竟?jié)點數(shù)(Essential Knots)將流程圖中的結(jié)構(gòu)化部分簡化成一個點，簡化以后流程圖的結(jié)點數(shù)是基本節(jié)點數(shù)。LCSAJ 密度(LCSAJ Densitys)LCSAJ密度是一個描述軟件可維護性的概念，它是指當改變一行代碼時，對 其它線性代碼順序和跳轉(zhuǎn)的影響程度，值越大說明影響的測試路徑相對越多，因此系統(tǒng)可維護性越低。圈復雜度及控制流結(jié)點數(shù)示意圖3.4度量指標的獲取點擊菜單欄中的Individual Results/System Results ,選擇下拉菜單 Text Results 中的 Metric Report(HTML),查看度量報告。復雜度度量LCSAJ和代碼可達性度量注釋行度量扇入/扇出度量3.5 原始記錄保留點擊菜單欄中的Individua