基于Testbed和Polyspace的裝備軟件靜態(tài)測(cè)試研究.pdf

1、現(xiàn)代軟件測(cè)試研究發(fā)現(xiàn)：對(duì)于任何一個(gè)軟件或者系統(tǒng)所進(jìn)行的測(cè)試都應(yīng)當(dāng)是結(jié)合了靜態(tài)測(cè)試和動(dòng)態(tài)測(cè)試來(lái)進(jìn)行的，只做其中任何一項(xiàng)測(cè)試工作都會(huì)因?yàn)橥暾缘娜笔Ф鵁o(wú)法得到準(zhǔn)確的測(cè)評(píng)結(jié)論。在其它條件不變的情況下，如果能夠越早的發(fā)現(xiàn)軟件中的錯(cuò)誤，所造成損失的就會(huì)越少。靜態(tài)測(cè)試是對(duì)軟件中的需求說明書、設(shè)計(jì)說明書、程序源代碼等進(jìn)行非運(yùn)行的檢查，因此，能夠較早地發(fā)現(xiàn)軟件的缺陷。為了進(jìn)一步提高軟件測(cè)試結(jié)果可信度和優(yōu)化成本，必須做到在軟件測(cè)試項(xiàng)目中包含靜態(tài)測(cè)試。本文

2、分析了靜態(tài)質(zhì)量度量，提出了對(duì)軟件特性進(jìn)行評(píng)價(jià)的方法；探索了如何互補(bǔ)性的組合測(cè)試工具Testbed和PolySpace應(yīng)用到實(shí)際測(cè)試流程中，并在某艦載氣象雷達(dá)通信軟件的靜態(tài)測(cè)試中取得了驗(yàn)證；編制了靜態(tài)質(zhì)量分析報(bào)告規(guī)程。具體包括以下幾個(gè)方面：
　　 首先，從軟件測(cè)試的定義、目的和分類著手引入了軟件測(cè)試的整體概念，描述了軟件測(cè)試的重要性；剖析了不同測(cè)試類型中從是否執(zhí)行程序的角度劃分出來(lái)的靜態(tài)測(cè)試，了解了靜態(tài)測(cè)試技術(shù)的關(guān)鍵點(diǎn)在于代碼、界

3、面和文檔的測(cè)試。
　　 其次，分析了軟件質(zhì)量度量，繼而從軟件的靜態(tài)質(zhì)量度量基本概念和功能出發(fā)，研究了Halstead軟件科學(xué)度量法和McCabe程序環(huán)路復(fù)雜度度量法兩種軟件靜態(tài)度量方法，重點(diǎn)研究了靜態(tài)質(zhì)量模型及結(jié)合靜態(tài)質(zhì)量模型對(duì)軟件特性進(jìn)行評(píng)價(jià)的方法。
　　 再次，探索如何互補(bǔ)性的組合應(yīng)用測(cè)試工具Testbed和PolySpace到實(shí)際測(cè)試流程中，研究了如何完整的實(shí)現(xiàn)對(duì)使用Linux平臺(tái)和VC++語(yǔ)言開發(fā)的某艦載氣象雷達(dá)

4、通信軟件的靜態(tài)測(cè)試，并在實(shí)踐中了驗(yàn)證了工具使用的可行性。
　　 最后，通過對(duì)本文研究?jī)?nèi)容的總結(jié)，探索了如何在軟件靜態(tài)測(cè)試的靜態(tài)分析過程中找到相對(duì)完整全面的規(guī)則集，從而使靜態(tài)分析在模型構(gòu)造、路徑選擇等方面能夠選擇更好的策略，以此得到提高靜態(tài)分析的準(zhǔn)確度的效果。并結(jié)合軟件質(zhì)量度量的研究和艦載氣象雷達(dá)通信軟件靜態(tài)測(cè)試過程及結(jié)果的分析，探索了對(duì)于目前整個(gè)業(yè)界都沒有統(tǒng)一成熟的靜態(tài)測(cè)試流程和標(biāo)準(zhǔn)；在靜態(tài)測(cè)試流程中，還沒有具備廣泛代表性的作為