嵌入式軟件單元無(wú)關(guān)性自動(dòng)測(cè)試研究與實(shí)現(xiàn).pdf

1、軟件測(cè)試是保證和提高軟件可靠性的重要手段，軟件單元測(cè)試能最早發(fā)現(xiàn)程序錯(cuò)誤。但在單元測(cè)試中已通過(guò)功能測(cè)試的子模塊(子程序)并不一定是完全正確的。子模塊還可能存在一些不易被發(fā)現(xiàn)的潛在缺陷，這些缺陷不影響本模塊的功能正確性但因資源使用不當(dāng)而影響其它模塊的功能，從而導(dǎo)致系統(tǒng)出錯(cuò)，甚至崩潰。為此本文提出了軟件模塊無(wú)關(guān)性的概念，即一個(gè)子模塊的運(yùn)行不能影響其它模塊及整個(gè)系統(tǒng)。軟件模塊無(wú)關(guān)性概念包括以下七方面：程序空間無(wú)關(guān)性、數(shù)據(jù)空間無(wú)關(guān)性、堆棧空間無(wú)

2、關(guān)性、I/O空間無(wú)關(guān)性、寄存器無(wú)關(guān)性、中斷無(wú)關(guān)性、重復(fù)調(diào)用無(wú)關(guān)性。 現(xiàn)有的嵌入式軟件單元測(cè)試工具主要是進(jìn)行功能性的測(cè)試，還沒(méi)有程序模塊無(wú)關(guān)性測(cè)試的功能。針對(duì)這種情況，本文對(duì)軟件模塊級(jí)無(wú)關(guān)性自動(dòng)測(cè)試的原理和實(shí)現(xiàn)方法進(jìn)行了探索性的研究，目的是實(shí)現(xiàn)模塊級(jí)功能自動(dòng)測(cè)試和七個(gè)方面的無(wú)關(guān)性自動(dòng)測(cè)試，找到針對(duì)不同CPU結(jié)構(gòu)的通用測(cè)試方法。目前的測(cè)試工具與開發(fā)工具是分離的兩套系統(tǒng)，這不利于盡早發(fā)現(xiàn)程序的缺陷，所以我們的最終目標(biāo)是將該測(cè)試工具集成

3、到開發(fā)工具中。 本文初步實(shí)現(xiàn)了基于SPCE061A的軟件模塊級(jí)無(wú)關(guān)性自動(dòng)測(cè)試工具IndependencyTest，其功能包括五個(gè)方面的無(wú)關(guān)性測(cè)試：數(shù)據(jù)空間無(wú)關(guān)性測(cè)試、堆?？臻g無(wú)關(guān)性測(cè)試、I/O空間無(wú)關(guān)性測(cè)試、寄存器無(wú)關(guān)性測(cè)試、中斷無(wú)關(guān)性測(cè)試。每項(xiàng)無(wú)關(guān)性測(cè)試功能的實(shí)現(xiàn)分為四個(gè)步驟：被測(cè)模塊信息的提取、測(cè)試方法和測(cè)試數(shù)據(jù)自動(dòng)構(gòu)造、測(cè)試用例生成及測(cè)試結(jié)果的輸出。對(duì)IndependencyTest工具進(jìn)行的測(cè)試結(jié)果表明Independe