資源描述：
《基于sysml活動(dòng)圖的測試序列生成方法研究》由會(huì)員上傳分享，免費(fèi)在線閱讀，更多相關(guān)內(nèi)容在學(xué)術(shù)論文-天天文庫。
1、學(xué)校代碼：10406分類號(hào)：TP311.5學(xué)號(hào)：130085212003南昌航空大學(xué)碩士學(xué)位論文（專業(yè)學(xué)位研究生）基于SysML活動(dòng)圖的測試序列生成方法研究碩士研究生：曹偉芳導(dǎo)師：舒堅(jiān)教授申請(qǐng)學(xué)位級(jí)別：碩士學(xué)科、專業(yè)：軟件工程所在單位：軟件學(xué)院答辯日期：2016.11授予學(xué)位單位：南昌航空大學(xué)TheResearchonGeneratingTestSequencesBasedOnSysMLActivitiesDiagramAThesisSubmittedfortheDegreeofMasterOnSof
2、twareEngineerByCaoweifangUndertheSupervisionofProf.ShujianschoolofsoftwareNanchangHangkongUniversity,Nanchang,ChinaNovember,2016摘要隨著當(dāng)代航空電子系統(tǒng)對(duì)系統(tǒng)綜合化、集成化要求的提高，IMA綜合模塊化航電系統(tǒng)應(yīng)運(yùn)而生。研究IMA系統(tǒng)的測試問題，越來越成為軟件測試領(lǐng)域研究的熱點(diǎn)。航電系統(tǒng)存在故障很可能導(dǎo)致災(zāi)難性后果，所以IMA系統(tǒng)質(zhì)量安全非常重要。一套完善的系統(tǒng)測試方案，可以快
3、速產(chǎn)生有效的測試數(shù)據(jù)，盡早的發(fā)現(xiàn)錯(cuò)誤，提醒開發(fā)人員修改錯(cuò)誤，保證軟件的質(zhì)量安全。為解決傳統(tǒng)手工測試，耗時(shí)耗力且應(yīng)用率低，效率低的問題，自動(dòng)化測試已然成為了目前測試方法的主流趨勢。雖然UML已成為工業(yè)界認(rèn)可的標(biāo)準(zhǔn)建模語言且得到了廣泛的使用，但是UML在嵌入式實(shí)時(shí)系統(tǒng)建模上存在缺少一致性，模型互操作性差，對(duì)系統(tǒng)工程建模能力不足的問題。UML活動(dòng)圖對(duì)活動(dòng)行為建模存在建模不完整且難以進(jìn)行安全性驗(yàn)證分析的問題，而SysML能夠支持對(duì)各種復(fù)雜系統(tǒng)進(jìn)行詳細(xì)說明、分析、設(shè)計(jì)、驗(yàn)證和確認(rèn)。則選擇SysML對(duì)IMA這種綜
4、合度以及復(fù)雜度均較高的系統(tǒng)建模是合理的選擇。本文主要研究IMA系統(tǒng)的集成測試序列生成方法，以及生成測試序列以后，對(duì)測試序列進(jìn)行優(yōu)先級(jí)排序，指導(dǎo)測試執(zhí)行，達(dá)到更快滿足覆蓋標(biāo)準(zhǔn)的目標(biāo)。首先介紹了幾種測試模型，進(jìn)行分類、對(duì)比，并分析各模型的特性，并針對(duì)當(dāng)前模型對(duì)描述IMA系統(tǒng)的不足，提出使用SysML活動(dòng)圖對(duì)IMA系統(tǒng)進(jìn)行建模。本文詳細(xì)分析了從系統(tǒng)建模到生成測試序列的一系列過程，針對(duì)活動(dòng)圖模型半形式化問題，并發(fā)活動(dòng)引起活動(dòng)路徑組合數(shù)量爆炸問題，覆蓋準(zhǔn)則選取，測試序列優(yōu)化問題分別采取了以下解決方案：形式化定義
5、便于理解，轉(zhuǎn)換化成有向圖便于處理；并發(fā)活動(dòng)的壓縮以及實(shí)例化有效避免路徑組合數(shù)量爆炸問題；比較分析活動(dòng)圖在工作流程方面的幾種覆蓋準(zhǔn)則，選擇更能提取出活動(dòng)圖信息，更全面的檢測軟件系統(tǒng)的覆蓋準(zhǔn)則；提出BFC算法給測試序列優(yōu)先級(jí)賦值，確定測試序列的執(zhí)行順序，使得該測試序列集以最快速度達(dá)到結(jié)點(diǎn)覆蓋率要求。本文采用IMA系統(tǒng)中的飛機(jī)導(dǎo)航系統(tǒng)和飛機(jī)著陸過程的活動(dòng)圖驗(yàn)證測試序列生成方法，并驗(yàn)證BFC算法的有效性。比較對(duì)測試序列進(jìn)行優(yōu)先級(jí)排序后，轉(zhuǎn)移邊覆蓋率的增長速度更快。關(guān)鍵詞：IMA系統(tǒng)，SysML活動(dòng)圖，覆蓋準(zhǔn)則
6、，測試序列，測試序列優(yōu)先級(jí)IAbstractWiththeincreasingintegrationrequirementsformodernavionicssystemsintegration,IMA(integratedmodularavionicssystem)hascomeintobeing.ThetestfortheIMAsystembecomesaresearchtopicinthefieldofsoftwaretesting.Avionicssystems'failureislikely
7、toleadtoverydisastrousconsequences,sothequalityandsafetyofIMAsystemareveryimportant.Acompleteplanoftestingsystemmustquicklyproducetestdataandfinderrorsassoonaspossibletoreminddeveloperstomodifyerrors,soastoensurethehighqualityandsafetyofIMA.Becausethetr
8、aditionalmanualtestingistimeconsumingandhasproblemsoflowapplicationratesandlowefficiency,automatedtestinghasbecomeamainstreamofcurrenttestingmethods.WhiletheUMLhasbecometheindustrystandardmodelinglanguagesandhasbeenwidelyused,the
