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

【文章頁數】：88 頁

【學位級別】：碩士

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


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



本文編號：3688975