2010年軟件水平考試軟件測(cè)評(píng)師自動(dòng)化測(cè)試(6)

　　定義質(zhì)量模型

　　RuleChecker 預(yù)定義了50 個(gè)的編程規(guī)則：名稱約定(如：局部變量用小寫(xiě)等);表示約定(如：每行一條指令); 限制(如：不能用GOTO 語(yǔ)句，不能修改循環(huán)體中的計(jì)數(shù)器等)。用戶可以從這些規(guī)則中選擇，也可以用Tcl 、腳本和編程語(yǔ)言定義新的規(guī)則。此外，還提供50 個(gè)面向安全-關(guān)鍵系統(tǒng)的編程規(guī)則。

　　Audit 以ISO9126 模型作為質(zhì)量評(píng)價(jià)模型的基礎(chǔ)。質(zhì)量評(píng)價(jià)模型描述了從Halstend 、McCabe 的度量方法學(xué)和VERILOG 引入的質(zhì)量方法學(xué)中的質(zhì)量因素(可維護(hù)性、可重用性、等)和質(zhì)量準(zhǔn)則(可測(cè)試性、可讀性、等)。

　　工程項(xiàng)目領(lǐng)導(dǎo)或質(zhì)量管理人員可以根據(jù)準(zhǔn)則、應(yīng)用軟件的生存周期、合同需求等，挑選并采納適用于項(xiàng)目需求的質(zhì)量模型。

　　驗(yàn)證、評(píng)審和改進(jìn)代碼

　　RuleChecker 用所選的規(guī)則對(duì)源代碼進(jìn)行驗(yàn)證。指出所有不符合編程規(guī)則的代碼，并提出改進(jìn)源代碼的解釋和建議。RulrChecker 通過(guò)文本編輯器直接訪問(wèn)源代碼并指出需要糾正的位置。

　　Audit 將被評(píng)價(jià)的軟件與規(guī)定的質(zhì)量模型進(jìn)行比較，用圖形形式顯示軟件質(zhì)量的級(jí)別，因此，質(zhì)量人員可以把精力集中到需要修改的代碼部分。對(duì)度量元素和質(zhì)量模型不一致的地方作出解釋并提出糾正的方法。

　　2)LOGISCOPE 用于測(cè)試階段

　　定義測(cè)試準(zhǔn)則

　　LOGISCOPE 推薦對(duì)指令(IB)、邏輯路徑(DDP)和調(diào)用路徑(PPP)的覆蓋測(cè)試。此外對(duì)安全-關(guān)鍵軟件還提供了MC/DC 的覆蓋測(cè)試。

　　測(cè)試的有效性

　　TestChecker 產(chǎn)生每個(gè)測(cè)試的測(cè)試覆蓋信息和累計(jì)信息。用直方圖顯示覆蓋比率，并根據(jù)測(cè)試運(yùn)行情況實(shí)時(shí)在線更改。隨時(shí)顯示新的測(cè)試所反映的測(cè)試覆蓋情況。

　　TestChecker 允許所有的測(cè)試運(yùn)行依據(jù)其有效性進(jìn)行管理。用戶可以減少那些用于非回歸測(cè)試的測(cè)試。

　　測(cè)試的優(yōu)化

　　在測(cè)試階段的第一步，執(zhí)行的測(cè)試是功能性(黑箱)測(cè)試。其目的是檢查所期望的功能是否已實(shí)現(xiàn)。在測(cè)試初期，覆蓋率會(huì)迅速增加。象樣的測(cè)試工作一般能達(dá)到70%的覆蓋率。但是，要提高此比率是十分困難的。主要是由于測(cè)試用例覆蓋了相同的測(cè)試路徑。這時(shí)，需要對(duì)測(cè)試策略做一些改變。執(zhí)行結(jié)構(gòu)化(白箱)測(cè)試，即，要檢測(cè)沒(méi)有執(zhí)行過(guò)的邏輯路徑，定義新的測(cè)試用例覆蓋這些路徑。

　　在執(zhí)行測(cè)試期間，當(dāng)測(cè)試策略改變時(shí)，綜合的運(yùn)用TestChecker 檢測(cè)關(guān)鍵因素以提高效率。將TestChecker與Audit 配合使用能夠幫助用戶分析未測(cè)試的代碼。

　　用戶可以顯示所關(guān)心的代碼，并通過(guò)對(duì)執(zhí)行未覆蓋的路徑的觀察得到有關(guān)的信息。信息以圖形(控制流圖)和文本(偽代碼和源文件)的形式提交，并在其間建立導(dǎo)航關(guān)聯(lián)。

　　TestChecker 管理系統(tǒng)聲明新的測(cè)試、生成有關(guān)文檔、定義啟動(dòng)命令、以及自動(dòng)執(zhí)行的方法。

　　3)LOGISCOPE 用于維護(hù)階段

　　人們廣泛的認(rèn)識(shí)到應(yīng)用系統(tǒng)的維護(hù)費(fèi)用與開(kāi)發(fā)費(fèi)用基本相等。經(jīng)驗(yàn)表明50%的軟件維

　　護(hù)時(shí)間化在對(duì)結(jié)構(gòu)、邏輯和運(yùn)行的理解上。LOGISCOPE 可以大大的減少對(duì)未知系統(tǒng)的理解所需的時(shí)間。

　　Audit 將應(yīng)用系統(tǒng)的框架以文件形式(部件文件間的關(guān)系)和調(diào)用圖的形式(函數(shù)和過(guò)程間的關(guān)系)可視化。函數(shù)的邏輯結(jié)構(gòu)以控制流圖的形式顯示。在控制流圖上選定一個(gè)節(jié)點(diǎn)，即可得到相對(duì)應(yīng)的代碼�？梢栽诓煌�的抽象層上對(duì)應(yīng)用系統(tǒng)進(jìn)行分析，不同層次間的導(dǎo)航，促進(jìn)對(duì)整體的理解。