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

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

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

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