基于仿真的嵌入式C語(yǔ)言軟件覆蓋測(cè)試分析

　隨著嵌入式系統(tǒng)的廣泛應(yīng)用，人們對(duì)嵌入式系統(tǒng)軟件的質(zhì)量提出了更高的要求，而作為保證軟件質(zhì)量最有效手段的測(cè)試技術(shù)，也越來(lái)越受到關(guān)注。目前嵌入式軟件的開發(fā)語(yǔ)言以C等高級(jí)語(yǔ)言為主，因此，對(duì)這些高級(jí)語(yǔ)言的測(cè)試顯得尤為重要。
　　目前實(shí)用的嵌入式系統(tǒng)測(cè)試平臺(tái)卞要由國(guó)外廠商開發(fā)，比較具有代表性的測(cè)試平臺(tái)有Telelogic公司的Logi-scope .Metrowerk公司的CodeTest， Windriver公司的CoverageScope和IPL公司的Cantata等。國(guó)外廠商的嵌入式系統(tǒng)測(cè)試平臺(tái)功能較強(qiáng)，技術(shù)較先進(jìn)，但一套測(cè)試系統(tǒng)價(jià)格往往高達(dá)數(shù)萬(wàn)到十多萬(wàn)美元，極大增加了嵌入式系統(tǒng)的開發(fā)成木，無(wú)法得到普遍的應(yīng)用，影響了國(guó)內(nèi)嵌入式系統(tǒng)的開發(fā)質(zhì)量。
　　國(guó)內(nèi)的嵌入式系統(tǒng)測(cè)試平臺(tái)有基于目標(biāo)開發(fā)的測(cè)試系統(tǒng)。電子科技大學(xué)研究了基于目標(biāo)的嵌入式軟件測(cè)試系統(tǒng)，實(shí)現(xiàn)了對(duì)匯編語(yǔ)言進(jìn)行自動(dòng)插裝，并實(shí)現(xiàn)基木的覆蓋測(cè)試功能。但由于嵌入式軟件需要基于硬件電路進(jìn)行調(diào)試，當(dāng)軟件程序?qū)懭胗布娐泛螅绻娐饭ぷ鞑徽Ｉ踔翢o(wú)法工作，則難以斷定問(wèn)題所在，這就限制了嵌入式軟件測(cè)試必須按照先硬件后軟件的模式進(jìn)行。
　　木系統(tǒng)實(shí)現(xiàn)了基于仿真的嵌入式C語(yǔ)言軟件覆蓋測(cè)試分析。通過(guò)有效的詞法語(yǔ)法分析、自動(dòng)插裝、測(cè)試用例的生成和加入、動(dòng)態(tài)仿真運(yùn)行及覆蓋報(bào)告分析等模塊對(duì)源代碼進(jìn)行覆蓋分析，縮短了嵌入式系統(tǒng)開發(fā)周期，有效地解決了傳統(tǒng)手工測(cè)試程序運(yùn)行效率低、繁瑣等問(wèn)題，保證了嵌入式軟件系統(tǒng)高效穩(wěn)定的運(yùn)行。
　　1嵌入式軟件測(cè)試系統(tǒng)框圖
　　嵌入式軟件測(cè)試系統(tǒng)的結(jié)構(gòu)框圖如圖1所示。它卞要由5部分組成：程序的預(yù)處理過(guò)程（包括詞法語(yǔ)法分析）程序的自動(dòng)插裝過(guò)程、測(cè)試用例的加入、動(dòng)態(tài)仿真運(yùn)行及覆蓋報(bào)告分析。
　　被測(cè)試程序首先經(jīng)過(guò)預(yù)處理。由于源程序中存在宏定義次件包含和條件編譯等預(yù)處理命令，因此在進(jìn)行詞法分析前必須進(jìn)行預(yù)處理，將宏展開，以利于查找變量詞法分析是將預(yù)處理階段產(chǎn)生的中間代碼分解成單獨(dú)的詞的表示，語(yǔ)法分析是將輸入字符串識(shí)別為單詞符號(hào)流，卞要用來(lái)確定插裝的位置，在一些關(guān)鍵的字段和函數(shù)處插