預(yù)測(cè)與健康管理(Prognostics and Health Management,PHM)技術(shù)用于飛行器系統(tǒng)的故障檢測(cè)以及健康預(yù)測(cè),保障了飛行器的正常運(yùn)轉(zhuǎn)。隨著飛行器性能要求日益提升,飛行器整體功能的不斷完善和更迭增大了自身的復(fù)雜性。由于該領(lǐng)域需要較高的安全性和可靠性,在飛行器PHM和其PHM機(jī)載軟件結(jié)構(gòu)越來越復(fù)雜時(shí),如何對(duì)PHM機(jī)載軟件進(jìn)行測(cè)試保證它運(yùn)行正常成為實(shí)際工程中的一道難題。本文以實(shí)際項(xiàng)目中某飛機(jī)設(shè)計(jì)研究所的某型飛行器PHM機(jī)載軟件為研究對(duì)象,通過對(duì)測(cè)試方法進(jìn)行研究與對(duì)比分析,提出一種滿足MC/DC準(zhǔn)則的測(cè)試用例生成算法來提高測(cè)試覆蓋率,針對(duì)回歸測(cè)試時(shí)效率不高的問題,提出構(gòu)建多目標(biāo)測(cè)試模型結(jié)合優(yōu)先級(jí)動(dòng)態(tài)調(diào)整算法的優(yōu)先級(jí)排序算法。最后結(jié)合算法對(duì)飛行器PHM機(jī)載軟件測(cè)試軟件進(jìn)行實(shí)現(xiàn)與驗(yàn)證測(cè)試。其主要研究?jī)?nèi)容如下:(1)在對(duì)測(cè)試軟件測(cè)試用例測(cè)試用例生成方法設(shè)計(jì)中,利用快速生成算法使測(cè)試用例符合航空軟件遵守的MC/DC準(zhǔn)則。針對(duì)粒子群算法中容易陷入局部最優(yōu)解的缺陷,利用人工魚群算法對(duì)粒子的迭代過程進(jìn)行改進(jìn),并對(duì)算法中的覓食行為、慣性權(quán)重和學(xué)習(xí)因子進(jìn)行優(yōu)化。為了檢驗(yàn)測(cè)試軟件中用例生成...

【文章頁數(shù)】：92 頁

【學(xué)位級(jí)別】：碩士

【部分圖文】：

圖1-1論文研究方案

第一章緒論5法對(duì)比分析，證明該方式有較強(qiáng)的性能。(3)針對(duì)現(xiàn)在測(cè)試用例檢測(cè)能力較差的情況，通過結(jié)合歷史信息和需求的多目標(biāo)測(cè)試模型和測(cè)試用例設(shè)計(jì)信息的動(dòng)態(tài)調(diào)整來加強(qiáng)整體檢測(cè)能力，提高測(cè)試效率，并把缺陷檢測(cè)率作為指標(biāo)與部分因素對(duì)比實(shí)驗(yàn)證明該方法的有效性。(4)根據(jù)以上的算法對(duì)某飛機(jī)設(shè)....

圖2-1測(cè)試主要分類灰盒測(cè)試既有白盒測(cè)試特點(diǎn)也有黑盒測(cè)試特點(diǎn)，在測(cè)試時(shí)通過對(duì)整體功能的檢

電子科技大學(xué)碩士學(xué)位論文8都可以到達(dá)來判斷程序的性能。由于是要對(duì)被測(cè)程序的代碼檢驗(yàn)，所以需要測(cè)試人員對(duì)代碼邏輯以及運(yùn)行過程較為熟悉。圖2-1測(cè)試主要分類灰盒測(cè)試既有白盒測(cè)試特點(diǎn)也有黑盒測(cè)試特點(diǎn)，在測(cè)試時(shí)通過對(duì)整體功能的檢驗(yàn)發(fā)現(xiàn)問題，并通過代碼內(nèi)部結(jié)構(gòu)捕捉功能問題，把功能的缺陷與實(shí)....

圖3-1PHM機(jī)載軟件整體圖

第三章改進(jìn)粒子群算法的測(cè)試方法研究17第三章改進(jìn)粒子群算法的測(cè)試方法研究上一章主要對(duì)PHM機(jī)載軟件中用到的測(cè)試用例生成以及測(cè)試用例的優(yōu)先級(jí)排序技術(shù)進(jìn)行研究，分析了MC/DC覆蓋準(zhǔn)則。本章首先通過預(yù)先對(duì)程序進(jìn)行處理使得算法獲得其邏輯結(jié)構(gòu)，再用快速生成算法獲得程序的預(yù)期結(jié)果集，最后通....

圖3-2(A||B)&&(C||D)抽象語法樹

果的時(shí)候也是這樣。根據(jù)D節(jié)點(diǎn)來說所有節(jié)點(diǎn)都可以定義為它的左子樹，也就是說所有節(jié)點(diǎn)都可以根據(jù)D節(jié)點(diǎn)的值來進(jìn)行限制，此時(shí)D生成的測(cè)試用例就是D節(jié)點(diǎn)單獨(dú)影響的測(cè)試用例，這樣就可以生成D為真和假的兩個(gè)用例。抽象語法樹調(diào)換左右子樹的位置并不會(huì)影響實(shí)際的結(jié)果，所以B節(jié)點(diǎn)也能生成兩個(gè)單獨(dú)影響的....

本文編號(hào)：3926105