嵌入式電子海圖系統(tǒng)軟件測試關(guān)鍵技術(shù)研究.pdf

1、隨著嵌入式軟件在航空、航天、航海和軍事安全等諸多領(lǐng)域的廣泛應(yīng)用，嵌入式軟件的質(zhì)量越來越受到關(guān)注。軟件一旦失敗，就會直接或間接影響人類的生命財產(chǎn)和生態(tài)環(huán)境的安危，嵌入式軟件測試是軟件質(zhì)量保證的重要手段之一。本文以我校研制的嵌入式電子海圖系統(tǒng)軟件測試需求為背景，圍繞嵌入式電子海圖系統(tǒng)中軟件測試存在的問題展開研究。
　　 首先，比較研究了目前存在的通用軟件測試過程模型的優(yōu)點和缺點，結(jié)合嵌入式電子海圖系統(tǒng)的特點，提出嵌入式電子海圖系統(tǒng)軟

2、件測試過程模型，合理地劃分目標(biāo)機環(huán)境測試和宿主機環(huán)境測試。
　　 其次，深入研究了基于控制流和數(shù)據(jù)流的單元測試充分性標(biāo)準(zhǔn)，結(jié)合諸多學(xué)者的實驗研究和嵌入式電子海圖系統(tǒng)單元測試需求，提出嵌入式電子海圖系統(tǒng)單元測試充分性標(biāo)準(zhǔn)。同時，考慮到圈復(fù)雜度和函數(shù)節(jié)點數(shù)對函數(shù)正確實現(xiàn)的影響，提出基于優(yōu)先級的單元測試策略。將Zinc框架類代碼、API函數(shù)與邏輯運算代碼隔離，解決自動化單元測試工具Testbed/Tbrun與Zinc沖突的問題，實現(xiàn)了

3、嵌入式電子海圖系統(tǒng)單元測試自動化。
　　 第三、詳細(xì)地分析了嵌入式電子海圖系統(tǒng)中類之間的依賴關(guān)系，建立類關(guān)系模型，構(gòu)建嵌入式電子海圖系統(tǒng)回歸測試類防火墻，確定回歸測試范圍，提出了回歸測試策略。比較研究了目前存在的單元級選擇性回歸測試技術(shù)，結(jié)果表明基于控制流圖遍歷算法更適合嵌入式電子海圖系統(tǒng)的回歸測試用例選擇，同時對該算法改進(jìn)并應(yīng)用在嵌入式電子海圖系統(tǒng)中，實驗結(jié)果表明改進(jìn)算法在保證安全性的前提下提高了回歸測試用例選擇的精確度。