嵌入式軟件單元無關性自動測試研究與實現(xiàn).pdf

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

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

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