無人機飛控機載軟件測試用例自動生成的方法研究及實現(xiàn).pdf

1、無人機的研究方興未艾，無人機在國防和民用方面的地位越來越突出，從而使得無人機的開發(fā)愈發(fā)受到重視。飛控系統(tǒng)作為無人機的最重要的部分之一，一旦出現(xiàn)故障就會影響無人機的安全。而飛控系統(tǒng)軟件的質(zhì)量直接影響著飛控系統(tǒng)的安全性。因此，在飛控系統(tǒng)軟件的設(shè)計開發(fā)中，如何對軟件進行有效全面的測試不可或缺。研究測試用例自動生成算法，并軟件工程化實現(xiàn)測試用例自動生成工具具有重要的現(xiàn)實意義。
　　本文以無人機飛控系統(tǒng)為研究對象，結(jié)合成都某研究所中使用的

2、SCADE軟件，對測試用例自動生成在理論上進行了研究，對比分析了幾種生成算法之間的優(yōu)點和劣勢，提出了兩種算法融合來規(guī)避各自算法的缺點，從而保證生成的測試用例數(shù)量較少情況下，獲得較高覆蓋率，最終工程化實現(xiàn)所提出的方案，并檢驗了測試用例集的覆蓋效果。
　　首先，深入研究了測試用例自動化生成方面比較熱門的生成算法，主要包括遺傳、蟻群和組合測試生成算法，著重介紹了組合測試算法的原理和缺陷，介紹了IPO生成算法，因果圖約束算法概念，并根據(jù)組

3、合測試算法和因果圖約束算法的特點將兩者進行了融合，從而提出了本文中測試用例自動生成理論的基礎(chǔ)，并對幾種算法進行了仿真對比。
　　其次，詳細介紹了以測試用例自動生成理論為根據(jù)，軟件實現(xiàn)自動化生成工具的具體實現(xiàn)方案，包括隨機法設(shè)計、反例生成算法的設(shè)計等方面。在設(shè)計過程中根據(jù)SCADE建模軟件和飛控系統(tǒng)程序特點做了更有針對性的處理設(shè)計，最終開發(fā)出基于SCADE建模軟件平臺的測試用例自動生成工具。
　　然后，本文對測試用例生成工具進