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

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

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

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