在系統(tǒng)愈加復(fù)雜的今天,傳統(tǒng)的測試技術(shù)效率低下,并且也難以保障系統(tǒng)可靠性。尤其在安全攸關(guān)領(lǐng)域,如航空航天,軌道交通等。基于模型的測試技術(shù)具有自動(dòng)化程度高和對(duì)系統(tǒng)可靠性保障能力強(qiáng)的特點(diǎn),能彌補(bǔ)傳統(tǒng)測試技術(shù)的不足。所以基于模型的測試技術(shù)是系統(tǒng)測試的發(fā)展方向。SysML的提出推動(dòng)了基于模型的測試技術(shù)的發(fā)展。SysML是一種圖形化建模語言,能夠?qū)?fù)雜系統(tǒng)進(jìn)行建模。本文基于SysML活動(dòng)圖模型,研究自動(dòng)化測試技術(shù)。首先,本文對(duì)SysML活動(dòng)圖進(jìn)行深入分析,詳細(xì)了解活動(dòng)圖的結(jié)構(gòu)。設(shè)計(jì)活動(dòng)圖模塊化算法,實(shí)現(xiàn)對(duì)活動(dòng)圖的自動(dòng)化分析。設(shè)計(jì)了活動(dòng)圖測試用例生成方法,該方法中包含活動(dòng)圖測試路徑集生成方法和活動(dòng)圖數(shù)據(jù)集生成方法。活動(dòng)圖測試路徑集生成算法能夠生成多種復(fù)雜結(jié)構(gòu)活動(dòng)圖的測試路徑�；顒�(dòng)圖數(shù)據(jù)集生成方法能夠生成活動(dòng)圖的數(shù)據(jù)集。結(jié)合測試路徑和數(shù)據(jù)得到活動(dòng)圖測試用例。對(duì)活動(dòng)圖測試用例集進(jìn)行分析可知測試用例集滿足測試充分性準(zhǔn)則。然后,本文定義了活動(dòng)圖測試用例集完備性準(zhǔn)則。針對(duì)測試用例集中測試用例數(shù)量過多的情況,本文設(shè)計(jì)了活動(dòng)圖測試用例優(yōu)化方法。該方法從測試路徑和數(shù)據(jù)兩個(gè)方面入手,設(shè)計(jì)了測試路徑集優(yōu)化方法和數(shù)據(jù)集優(yōu)... 

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

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

【文章目錄】：
摘要
abstract
第一章 引言
    1.1 研究背景與意義
    1.2 國內(nèi)外研究現(xiàn)狀
    1.3 本文工作與主要貢獻(xiàn)
    1.4 本文組織結(jié)構(gòu)
第二章 背景知識(shí)
    2.1 基于模型的測試
        2.1.1 有限狀態(tài)機(jī)
        2.1.2 馬爾科夫鏈
        2.1.3 統(tǒng)一建模語言
        2.1.4 基于模型的測試流程
        2.1.5 基于模型的測試的特點(diǎn)
    2.2 系統(tǒng)建模語言
        2.2.1 SysML與 UML的關(guān)系
        2.2.2 SysML活動(dòng)圖
        2.2.3 基于活動(dòng)圖的測試的性質(zhì)
    2.3 本章小結(jié)
第三章 活動(dòng)圖測試用例生成方法
    3.1 活動(dòng)圖測試用例定義
    3.2 活動(dòng)圖測試用例生成框架
    3.3 SysML活動(dòng)圖建模
    3.4 活動(dòng)圖自動(dòng)化分析
        3.4.1 活動(dòng)圖結(jié)構(gòu)分析
        3.4.2 活動(dòng)圖模塊化算法
    3.5 活動(dòng)圖測試路徑生成方法
        3.5.1 活動(dòng)圖測試路徑生成流程
        3.5.2 活動(dòng)圖測試路徑生成算法
    3.6 活動(dòng)圖數(shù)據(jù)集生成
        3.6.1 活動(dòng)圖節(jié)點(diǎn)性質(zhì)分析
        3.6.2 決定節(jié)點(diǎn)建模規(guī)范
        3.6.3 測試數(shù)據(jù)生成策略
    3.7 測試用例生成
    3.8 測試用例集充分性準(zhǔn)則
    3.9 本章小結(jié)
第四章 活動(dòng)圖測試用例集優(yōu)化方法
    4.1 測試用例集優(yōu)化的意義
    4.2 測試用例集完備性準(zhǔn)則
    4.3 測試路徑集優(yōu)化方法
        4.3.1 基于節(jié)點(diǎn)交互的測試路徑集優(yōu)化方法
        4.3.2 選擇特定系統(tǒng)場景下的測試路徑
        4.3.3 兩個(gè)測試路徑優(yōu)化方法分析
    4.4 數(shù)據(jù)集優(yōu)化方法
    4.5 本章小結(jié)
第五章 基于SysML自動(dòng)化測試用例生成工具
    5.1 工具介紹
        5.1.1 工具簡介
        5.1.2 工具開發(fā)及運(yùn)行環(huán)境
        5.1.3 功能需求
    5.2 工具設(shè)計(jì)
        5.2.1 處理流程
        5.2.2 軟件架構(gòu)
    5.3 工具開發(fā)及測評(píng)
        5.3.1 關(guān)鍵數(shù)據(jù)結(jié)構(gòu)
        5.3.2 關(guān)鍵功能實(shí)現(xiàn)
        5.3.3 工具測評(píng)
    5.4 工具使用
    5.5 本章小結(jié)
第六章 總結(jié)與展望
    6.1 論文總結(jié)
    6.2 下一步工作
參考文獻(xiàn)
致謝
攻讀碩士學(xué)位期間發(fā)表論文、參與科研和獲得榮譽(yù)情況


【參考文獻(xiàn)】：
期刊論文
[1]不同約束模型下降落傘-返回艙系統(tǒng)運(yùn)動(dòng)特性分析[J]. 劉敏,榮偉,王偉志.  宇航學(xué)報(bào). 2007(03)
[2]基于模型的軟件測試綜述[J]. 顏炯,王戟,陳火旺.  計(jì)算機(jī)科學(xué). 2004(02)
[3]軟件白盒測試的方法與實(shí)踐[J]. 封亮,嚴(yán)少清.  計(jì)算機(jī)工程. 2000(12)
[4]軟件黑盒測試的方法與實(shí)踐[J]. 萬年紅,李翔.  計(jì)算機(jī)工程. 2000(12)



本文編號(hào)：3688975