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

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

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

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