嵌入式軟件的可測(cè)試性研究.pdf

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

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