嵌入式軟件的可測試性研究.pdf

1、隨著數(shù)字信息化的高速發(fā)展，嵌入式系統(tǒng)已經(jīng)進入到我們?nèi)粘Ｉ钪械母鱾€方面。嵌入式系統(tǒng)由硬件和軟件組成。與普通軟件相比，嵌入式軟件的測試難度更大，并且越來越受到關(guān)注?？蓽y試性是軟件重要的質(zhì)量特征，對軟件度量分析可以預測軟件的可測試性，并且能更好地管理測試工作，幫助項目經(jīng)理合理地安排項目進度，同時可以協(xié)助開發(fā)人員更好地計劃和監(jiān)測測試進展，協(xié)調(diào)測試人員對代碼重點部分投入更多的測試資源，從而確保嵌入式軟件的質(zhì)量。從上世紀90年代開始，軟件的可測試

2、性分析已成為計算機學科的研究方向，也將會成為本世紀的研究熱點。
　　 在本文中，首先總結(jié)現(xiàn)存的軟件可測試性方法，介紹嵌入式系統(tǒng)和嵌入式軟件的基礎(chǔ)理論知識和軟件可測試性的定義，分析軟件測試、軟件驗證及軟件可測試性三者的關(guān)系，為靜動態(tài)模型奠定理論基礎(chǔ)。接著基于DRR模型介紹嵌入式軟件靜態(tài)可測試性度量方法，并依據(jù)軟件規(guī)格說明書或程序代碼實現(xiàn)軟件的可測試性度量，并設(shè)計了依據(jù)代碼特征進行靜態(tài)可測試性度量的系統(tǒng)。然后在錯誤/失效模型和PIE