Testbed學(xué)習(xí)總結(jié)V1.0

1、. . 目 錄1.testbed 功能介紹 . 11.1編程標(biāo)準(zhǔn)驗(yàn)證 . 11.2數(shù)據(jù)流分析 . 11.3軟件度量分析 . 11.4質(zhì)量報(bào)告生成 . 22.使用 testbed 進(jìn)行編碼規(guī)則的定制和檢查. 23.靜態(tài)分析報(bào)告 . 53.1靜態(tài)分析質(zhì)量報(bào)告單 . 53.2程序質(zhì)量度量報(bào)告單 . 63.3度量指標(biāo)解釋 . 73.4度量指標(biāo)的獲取 . 9. . 1. testbed 功能介紹1.1編程標(biāo)準(zhǔn)驗(yàn)證編程標(biāo)準(zhǔn)驗(yàn)證是高可靠性軟件開發(fā)不可缺少的軟件質(zhì)量保證方法，使用ldra testbed 自動(dòng)地驗(yàn)證應(yīng)用軟件是否遵循了所選擇的編程規(guī)則。編程規(guī)則由軟件項(xiàng)目管理者根據(jù)自身項(xiàng)目的特點(diǎn)并參考現(xiàn)有的成熟的

2、軟件編程標(biāo)準(zhǔn)制定，如dera （歐洲防務(wù)標(biāo)準(zhǔn)），misra（汽車軟件標(biāo)準(zhǔn)），ldra testbed 依據(jù)此規(guī)則搜索應(yīng)用程序，并判斷代碼是否違反所制定的編程規(guī)則。ldra testbed 報(bào)告所有違反編程規(guī)則的代碼并以文本方式或圖形反標(biāo)注的方式顯示。測試人員或編程人員可根據(jù)顯示的信息對違反編程規(guī)則的代碼進(jìn)行修改。1.2數(shù)據(jù)流分析ldra testbed分析軟件中全局變量、 局域變量及過程參數(shù)的使用狀況，并以圖形顯示、 html 或 ascii文本報(bào)告方式表示，清晰地識別出變量使用引起的軟件錯(cuò)誤，此種方法既可使用于單元級，亦可使用于集成級、系統(tǒng)級。通過 testbed 數(shù)據(jù)流分析功能，可方便地分

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

4、結(jié)點(diǎn)度量 (control flow knots)；lcsaj 密度度量 (lcsaj density) ；扇入/扇出度量；循環(huán)深度度量；mccabe 圈復(fù)雜度；halstead 軟件科學(xué)度量；. . mccabe 基本圈復(fù)雜度；注釋行度量；代碼可達(dá)性度量；等等。1.4質(zhì)量報(bào)告生成ldra testbed自動(dòng)生成各種質(zhì)量報(bào)告供測試人員分析，包括代碼規(guī)則檢查報(bào)告、軟件度量報(bào)告、數(shù)據(jù)流報(bào)告、交叉索引報(bào)告，報(bào)告形式可以為ascii文本或html 超文本，報(bào)告支持文件級與系統(tǒng)級。1.5代碼可視化顯示testbed 提供調(diào)用圖與控制流程圖，顯示被測系統(tǒng)的調(diào)用關(guān)系及每個(gè)子程序的控制流程。使用此功能用戶可快

5、速理解被測軟件系統(tǒng)，并方便軟件維護(hù)。2. 使用 testbed 進(jìn)行編碼規(guī)則的定制和檢查ldra testbed可通過編輯編碼規(guī)則文件cpen.dat/cppen.dat 實(shí)現(xiàn)編碼規(guī)則的定制，下面將具體介紹：1. 啟動(dòng) testbed，在 file 菜單下選擇 select file 選項(xiàng)，選擇要分析的文件；選擇好要分析的文件，點(diǎn)擊select 按鈕完成。2. 點(diǎn)擊菜單欄中的configure，在下拉菜單中點(diǎn)擊static options 選項(xiàng)，將會出現(xiàn)如下窗口，點(diǎn)擊cpen.dat 后的 edit 按鈕，按照提示編輯cpen.dat。若存在已編輯好的編碼規(guī)則文件，可按旁邊的瀏覽鍵直接指定該d

6、at 文件，則下面第 3 步可以省略。. . 3. 編輯第 2 列,根據(jù)實(shí)際需求，將對應(yīng)編碼規(guī)則置“ 0”或“1”，置“0”代表該條編碼規(guī)則無效，置“1”代表該條編碼規(guī)則有效。4. 點(diǎn)擊菜單欄中的 configure， 在下拉菜單中點(diǎn)擊quality report options 選項(xiàng)，將會出現(xiàn)如下窗口，在programming standard model 下拉框中選擇“ standard”。. . 5. 點(diǎn)擊菜單欄中的analysis，在下拉菜單中點(diǎn)擊select analysis，將會出現(xiàn)如下窗口，選擇前3 項(xiàng)，點(diǎn)擊 start analysis 按鈕，開始進(jìn)行靜態(tài)分析。6. 靜態(tài)分析結(jié)

7、束后，點(diǎn)擊菜單欄中的individual results，選擇下拉菜單 text results 中的 quality report(html) ，查看質(zhì)量報(bào)告。. . 3. 靜態(tài)分析報(bào)告3.1靜態(tài)分析質(zhì)量報(bào)告單表 1 靜態(tài)分析質(zhì)量報(bào)告單審查項(xiàng)目測試容技術(shù)要求審查結(jié)果控制流分析是否存在不可達(dá)代碼否是否存在不合理的循環(huán)結(jié)構(gòu)否是否存在浮點(diǎn)相等比較否是否使用goto 語句否函數(shù)是否存在多個(gè)出口否函數(shù)是否存在多個(gè)入口否數(shù)據(jù)流分析是否存在沒使用的函數(shù)參數(shù)否函數(shù)是否存在路徑無返回值否是否存在函數(shù)的實(shí)參是全局變量否代碼中是否存在多余變量否是否存在變量使用前未初始化否是否存在參數(shù)與期望的作用不匹配否表達(dá)式分析

8、是否出現(xiàn)表達(dá)式中的括號使用不當(dāng)否. . 審查項(xiàng)目測試容技術(shù)要求審查結(jié)果是否存在數(shù)組下標(biāo)越界否是否存在被零除否switch 語句是否缺少default 否case語句是否缺少break 否在非賦值表達(dá)式中是否使用賦值操作符否接口分析是否存在形參與實(shí)參在類型、數(shù)量、順序及維數(shù)等使用上的不一致性否是否存在模塊與外部數(shù)據(jù)庫的接口不一致性否是否存在各模塊之間接口的不一致性否3.2程序質(zhì)量度量報(bào)告單表 2 程序質(zhì)量度量報(bào)告單度量元描述指標(biāo)違反個(gè)數(shù)所在軟件具體描述文本度量軟件單元的語句數(shù)=20% 扇入數(shù)調(diào)用該函數(shù)的上層函數(shù)的個(gè)數(shù)7 扇出數(shù)函數(shù)調(diào)用下層函數(shù)的個(gè)數(shù)7 函數(shù)參數(shù)函數(shù)參數(shù)=7 圈復(fù)雜度=10 基本復(fù)

9、雜度=4 . . 控制流結(jié)點(diǎn)數(shù)=2 控制流基本結(jié)點(diǎn)數(shù)=5 循環(huán)深度=5 lcsaj密度文件 lcsaj密度=50 lcsajs總數(shù)/ 不可達(dá) lcsajs =10 不可達(dá)代碼行數(shù)=10 不可達(dá)分支數(shù)=20 3.3度量指標(biāo)解釋圈復(fù)雜度 (v(g) 圈復(fù)雜度的計(jì)算方法很簡單，計(jì)算公式為：v(g)=e-n+2 。其中，e表示控制流圖中邊的數(shù)量， n 表示控制流圖中節(jié)點(diǎn)的數(shù)量。mccabe & associates 建議圈復(fù)雜度到10，因?yàn)楦叩娜?fù)雜度使測試變得更加復(fù)雜而且增大了軟件錯(cuò)誤產(chǎn)生的概率?；緩?fù)雜度 (ev(g) 基本復(fù)雜度是用來衡量程序非結(jié)構(gòu)化程度的，非結(jié)構(gòu)成分降低了程序的質(zhì)量，增

10、加了代碼的維護(hù)難度，使程序難于理解。因此，基本復(fù)雜度高意味著非結(jié)構(gòu)化程度高， 難以模塊化和維護(hù)。 實(shí)際上，消除了一個(gè)錯(cuò)誤有時(shí)會引起其它的錯(cuò)誤。將流程圖中的結(jié)構(gòu)化部分簡化成一個(gè)點(diǎn)，計(jì)算簡化以后流程圖的圈復(fù)雜度就是基本復(fù)雜度。計(jì)算公式為：. . ev(g)=v(g)-m 其中， m 是流程圖中的結(jié)構(gòu)化子圖（出口和入口唯一）的數(shù)量?？刂屏鹘Y(jié)點(diǎn)數(shù) (knots) 當(dāng)兩條控制流相交時(shí)，就產(chǎn)生一個(gè)控制流結(jié)點(diǎn)?？刂屏鹘Y(jié)點(diǎn)數(shù)表示流程圖中控制流相交的個(gè)數(shù)。基本節(jié)點(diǎn)數(shù) (essential knots) 將流程圖中的結(jié)構(gòu)化部分簡化成一個(gè)點(diǎn)，簡化以后流程圖的結(jié)點(diǎn)數(shù)是基本節(jié)點(diǎn)數(shù)。lcsaj 密度(lcsaj densitys) lcsaj 密度是一個(gè)描述軟件可維護(hù)性的概念,它是指當(dāng)改變一行代碼時(shí)， 對其它線性代碼順序和跳轉(zhuǎn)的影響程度，值越大說明影響的測試路徑相對越多，因此系統(tǒng)可維護(hù)性越低。. . 圈復(fù)雜度及控制流結(jié)點(diǎn)數(shù)示意圖3.4度量指標(biāo)的獲取點(diǎn)擊菜單欄中的individual results/system results，選擇下拉菜單text results 中的 metric report(html) ，查看度量報(bào)告。復(fù)雜度度量lcsaj 和代碼可達(dá)性度量. . 注釋行度量. . 扇入/扇出度量. . 3.5原始記錄保留點(diǎn)擊菜單欄中的in