軟件建模和軟件測試在軟件的開發(fā)過程中起著非常重要的作用,由于手動生成測試用例的效率較低,所花費(fèi)的時(shí)間和費(fèi)用也較大,已經(jīng)滿足不了軟件測試市場的需求。近幾年來,軟件工程發(fā)展迅速,UML模型在軟件開發(fā)過程中有了廣泛的應(yīng)用,如何基于UML模型去生成測試用例也成為研究的熱點(diǎn)問題之一。為了提高UML活動圖模型測試用例的生成效率,本文在分析了各個(gè)方法的優(yōu)勢和不足之后選擇了圖理論的方法對活動圖進(jìn)行處理,優(yōu)化了UML活動圖模型生成測試場景的方法,還加入了對活動圖中泳道的使用。主要工作包括:(1)設(shè)計(jì)測試用例生成的方法,首先對活動圖進(jìn)行形式化定義和結(jié)構(gòu)分析提高活動圖的可測性,將活動圖轉(zhuǎn)換為有向圖,然后提出適合活動圖的測試用例覆蓋準(zhǔn)則,利用優(yōu)化的深度優(yōu)先算法和改進(jìn)的反蟻群算法對有向圖進(jìn)行搜索得到測試場景,接著再對測試場景進(jìn)行優(yōu)化,最后根據(jù)優(yōu)化后的測試場景找到測試數(shù)據(jù),將得到的測試數(shù)據(jù)和測試場景相結(jié)合得到測試用例。(2)為了驗(yàn)證提出的方法可行性,把提出的基于UML活動圖的測試用例生成的方法與實(shí)際的DS-Java系統(tǒng)結(jié)合,得到DS-Java系統(tǒng)的活動圖,然后利用提出的測試用例生成方法得到普通會員功能活動圖的測試...

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

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

【文章目錄】：
摘要
ABSTRACT
第1章 緒論
    1.1 研究背景和意義
    1.2 國內(nèi)外研究現(xiàn)狀
    1.3 本文的主要內(nèi)容
    1.4 本文的組織結(jié)構(gòu)安排
第2章 相關(guān)理論與技術(shù)
    2.1 軟件測試概述
        2.1.1 軟件測試基本理論
        2.1.2 軟件測試方法
    2.2 測試場景
        2.2.1 測試場景的基本原理
        2.2.2 基本流和備選流
        2.2.3 測試場景的構(gòu)建
    2.3 面向?qū)ο蟮臏y試
    2.4 基于模型的測試
        2.4.1 有限狀態(tài)機(jī)
        2.4.2 馬爾科夫鏈模型
        2.4.3 UML模型
        2.4.4 基于模型的測試流程
        2.4.5 基于模型測試的特點(diǎn)
        2.4.6 UML模型可測性分析
    2.5 圖論
        2.5.1 圖的定義
        2.5.2 圖的遍歷算法
    2.6 本章小結(jié)
第3章 活動圖模型的測試用例生成
    3.1 UML模型預(yù)處理
        3.1.1 活動圖形式化定義
        3.1.2 活動圖結(jié)構(gòu)分析
        3.1.3 活動圖轉(zhuǎn)換為有向圖
    3.2 測試用例覆蓋準(zhǔn)則
    3.3 測試場景生成算法
        3.3.1 初級測試場景生成
        3.3.2 次級測試場景生成
    3.4 測試場景優(yōu)化方法設(shè)計(jì)
    3.5 測試用例生成方法設(shè)計(jì)
    3.6 本章小結(jié)
第4章 測試用例生成的實(shí)例分析
    4.1 DS-Java論壇系統(tǒng)介紹
    4.2 DS-Java論壇系統(tǒng)的活動圖
        4.2.1 普通游客功能活動圖
        4.2.2 普通會員功能活動圖
        4.2.3 管理員管理的整體活動圖
    4.3 測試路徑生成
        4.3.1 生成初級測試場景
        4.3.2 生成次級測試場景
    4.4 測試數(shù)據(jù)生成
    4.5 測試用例及結(jié)果分析
        4.5.1 測試用例的生成
        4.5.2 結(jié)果分析
    4.6 本章小結(jié)
第5章 總結(jié)和展望
    5.1 工作總結(jié)
    5.2 工作展望
參考文獻(xiàn)
作者攻讀學(xué)位期間的科研成果
致謝



本文編號：3854751