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

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

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

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