1、嵌入式應(yīng)用的不斷增長(zhǎng)以及嵌入式系統(tǒng)復(fù)雜性的不斷提高,要求嵌入式軟件的規(guī)模和復(fù)雜性也不斷提高,而作為保證軟件質(zhì)量最有效手段的測(cè)試技術(shù),也越來越受到關(guān)注。當(dāng)前軟件測(cè)試主要以傳統(tǒng)的覆蓋測(cè)試為基礎(chǔ)進(jìn)行手工測(cè)試,難以突破傳統(tǒng)的測(cè)試模式,并且嵌入式軟件與硬件具有強(qiáng)耦合關(guān)系,測(cè)試方法也專一,這些都給測(cè)試帶來很大的困難。因此迫切需要一種能夠智能分析錯(cuò)誤的面向宿主的嵌入式軟件測(cè)試工具。
　　 本文設(shè)計(jì)一個(gè)嵌入式軟件測(cè)試系統(tǒng)TestImp,該系統(tǒng)具

2、有兩個(gè)主要功能:實(shí)現(xiàn)傳統(tǒng)覆蓋測(cè)試自動(dòng)化；運(yùn)用支持向量機(jī)算法智能預(yù)測(cè)嵌入式軟件中潛在錯(cuò)誤。
　　 首先,本文在對(duì)國(guó)外嵌入式軟件測(cè)試工具及其實(shí)現(xiàn)方法進(jìn)行細(xì)致分析的基礎(chǔ)上,設(shè)計(jì)了面向宿主的嵌入式軟件白盒覆蓋測(cè)試系統(tǒng)；在Windows平臺(tái)下對(duì)源程序進(jìn)行了預(yù)處理,包括詞法分析和語法分析；著重研究了靜態(tài)自動(dòng)插裝的方法:設(shè)計(jì)改進(jìn)的插裝算法完成對(duì)嵌入式軟件源程序進(jìn)行插裝；并根據(jù)邏輯覆蓋準(zhǔn)則分別生成語句、分支測(cè)試用例。
　　 其次,本文提

3、出一種面向宿主的測(cè)試方法,即在仿真環(huán)境下,通過宿主機(jī)上運(yùn)行的測(cè)試系統(tǒng)與仿真環(huán)境下運(yùn)行的虛擬嵌入式系統(tǒng)之間的聯(lián)機(jī)通信來接收串口傳送回的插裝收集的控制流信息,并通過分析該信息計(jì)算出執(zhí)行測(cè)試用例后得到的語句覆蓋與分支覆蓋率。
　　 再次,本文從嵌入式軟件中提取程序?qū)傩圆蛔兞?并經(jīng)過編配屬性槽轉(zhuǎn)換為支持向量機(jī)所需的特征向量,再通過對(duì)可揭錯(cuò)誤屬性和不可揭錯(cuò)誤屬性樣本的學(xué)習(xí),產(chǎn)生具有預(yù)測(cè)潛在錯(cuò)誤功能的模型,然后運(yùn)用該模式對(duì)需預(yù)測(cè)的程序進(jìn)行屬