軟件仿真環(huán)境下的嵌入式軟件測試平臺的研究.pdf

1、本論文以嵌入式系統(tǒng)的軟件測試為研究對象,引入通用軟件測試的思想和方法(黑盒測試、白盒測試),并針對嵌入式系統(tǒng)的特點,在某些具體測試方法上進行改進,在此基礎(chǔ)上構(gòu)建軟件測試平臺.軟件仿真環(huán)境的建立是論文研究和測試工作開展的基礎(chǔ).因此建立了基于Linux的Intel 8051系列兼容CPU仿真模擬平臺cereal,通過對其內(nèi)核的深入分析和研究,清楚了模塊的定義及其相互聯(lián)系,寄存器的訪問、修改機制,斷點設(shè)置機制以及指令仿真、運行原理.并在此基礎(chǔ)

2、上實現(xiàn)了cereal text自定義命令,完成了cereal text向TCL的移植,建立了測試用例腳本解釋環(huán)境.根據(jù)系統(tǒng)概要設(shè)計,完成了預(yù)處理模塊的數(shù)據(jù)結(jié)構(gòu)定義及算法設(shè)計和測試用例的概要設(shè)計,參與Lex與Yacc結(jié)合實現(xiàn)詞法語法分析的研究工作.在對匯編語言的結(jié)構(gòu)進行分析時,提出以基本塊為劃分單位,構(gòu)造程序流圖,從而利用有向圖的存儲方式來處理程序流圖,并計算出被測程序的分支路徑數(shù)和循環(huán)復(fù)雜度.在此基礎(chǔ)上設(shè)計了語句覆蓋、路徑覆蓋、分支覆蓋