基于51系列的嵌入式軟件測(cè)試系統(tǒng)研究與實(shí)現(xiàn).pdf

1、隨著嵌入式系統(tǒng)的廣泛應(yīng)用,人們對(duì)嵌入式系統(tǒng)軟件的質(zhì)量提出了更高的要求,而作為保證軟件質(zhì)量最有效手段的測(cè)試技術(shù),也越來(lái)越受到關(guān)注.由于匯編語(yǔ)言具有良好的實(shí)時(shí)性以及在此基礎(chǔ)上積累了豐富的使用經(jīng)驗(yàn),因而被廣泛的使用.但由于匯編語(yǔ)言的實(shí)時(shí)高效性導(dǎo)致匯編語(yǔ)言編程缺乏規(guī)范性,這給匯編語(yǔ)言軟件的度量和測(cè)試帶來(lái)了極大的困難;長(zhǎng)期以來(lái),缺少有效的嵌入式軟件測(cè)試工具,特別是針對(duì)匯編語(yǔ)言的分析與測(cè)試工具.國(guó)內(nèi)針對(duì)匯編代碼的傳統(tǒng)測(cè)試一般采用手工的方式進(jìn)行,不僅

2、效率低,而且存在嚴(yán)重的漏洞和隱患,不能達(dá)到預(yù)期的效果.為了滿足國(guó)內(nèi)用戶對(duì)嵌入式匯編應(yīng)用程序進(jìn)行測(cè)試的需求,本文在對(duì)當(dāng)今主流的專業(yè)覆蓋測(cè)試工具及其實(shí)現(xiàn)方法進(jìn)行深入研究的基礎(chǔ)上,結(jié)合課題確定了論文的需求和技術(shù)路線,設(shè)計(jì)并實(shí)現(xiàn)了基于51系列的嵌入式軟件測(cè)試系統(tǒng)原型,原型系統(tǒng)由功能測(cè)試、代碼測(cè)試、通信接口轉(zhuǎn)換和數(shù)據(jù)分析與文檔報(bào)告等模塊組成.原型系統(tǒng)實(shí)現(xiàn)了基本的黑盒和白盒測(cè)試,其中白盒測(cè)試實(shí)現(xiàn)了語(yǔ)句和分支覆蓋;實(shí)現(xiàn)了匯編測(cè)試的靜態(tài)分析和動(dòng)態(tài)分析,