本文關(guān)鍵詞：基于CPN 的on-the-fly測試方法研究，，由筆耕文化傳播整理發(fā)布。

【摘要】：隨著信息技術(shù)的迅猛發(fā)展和網(wǎng)絡化時代的到來,各種各樣的Web應用系統(tǒng)高頻率的出現(xiàn)在我們的日常生活、工作和學習中。對于多并發(fā)的Web應用系統(tǒng),其狀態(tài)圖的規(guī)模是以并發(fā)數(shù)指數(shù)級增長,使得Web應用系統(tǒng)的驗證和測試極為困難；此外,測試生成與測試執(zhí)行的獨立進行使測試成本代價高、耗時長。為了避免對整個狀態(tài)圖的遍歷,及實現(xiàn)測試生成與測試執(zhí)行的同步進行,本文采用了基于CPN的on-the-fly測試方法對Web應用系統(tǒng)執(zhí)行測試。本文主要包括以下研究內(nèi)容：第一,通過對on-the-fly算法的起源,核心思想及應用方面的研究和總結(jié),給出了on-the-fly算法的定義。第二,深入了解和掌握on-the-fly測試算法的主要過程,并采用CPN層次建模和擴展可達圖來實現(xiàn)對on-the-fly測試方法的描述,該部分包括以下幾點：(1)定義on-the-fly測試算法中的規(guī)約和測試目的等模型,并給出了基于CPN的on-the-fly測試算法的主要過程。(2)為了確保算法實現(xiàn)的正確性和實用性,本文對同步乘積的算法進行測試和評估,并對結(jié)合IUT響應的深度優(yōu)先遍歷過程進行了理論設計。(3)研究UPPAAL TRON工具中on-the-fly測試算法的實現(xiàn)原理,為本文今后工作的改進提供了方向。第三,利用基于擴展可達圖的on-the-fly算法測試火車售票系統(tǒng),生成和執(zhí)行測試例,并將測試結(jié)果與傳統(tǒng)測試結(jié)果進行分析和比較。
【關(guān)鍵詞】：on-the-fly測試 CPN層次模型 擴展可達圖 同步乘積 Web應用系統(tǒng)
【學位授予單位】：內(nèi)蒙古大學
【學位級別】：碩士
【學位授予年份】：2015
【分類號】：TP393.09
【目錄】：

• 摘要4-5
• ABSTRACT5-10
• 第一章 引言10-13
• 1.1 研究背景10
• 1.2 本文主要貢獻及意義10-11
• 1.3 本文的組織結(jié)構(gòu)11-13
• 第二章 相關(guān)工作13-22
• 2.1 Web應用系統(tǒng)的介紹13-14
• 2.2 on-the-fly驗證的研究現(xiàn)狀14-17
• 2.3 on-the-fly測試的研究現(xiàn)狀17-19
• 2.4 形式化建模的研究現(xiàn)狀19-22
• 2.4.1 形式化建模方法20-21
• 2.4.2 CPN建模的研究現(xiàn)狀21-22
• 第三章 基本概念和理論22-28
• 3.1 CPN和擴展可達圖的介紹22-24
• 3.1.1 Petri Nets22-23
• 3.1.2 擴展可達圖23-24
• 3.2 on-the-fly測試算法的研究24-25
• 3.3 UPPAAL TRON及其特點25-27
• 3.4 本章小結(jié)27-28
• 第四章 基于擴展可達圖的on-the-fly測試方法28-43
• 4.1 基于CPN的on-the-fly測試生成過程28
• 4.2 on-the-fly測試中模型的定義28-30
• 4.2.1 系統(tǒng)規(guī)約模型28-29
• 4.2.2 測試目的模型29
• 4.2.3 測試例模型29-30
• 4.2.4 同步乘積模型30
• 4.3 on-the-fly測試算法的功能分析30-36
• 4.3.1 同步乘積算法用于并發(fā)系統(tǒng)的可行性30-34
• 4.3.2 on-the-fly方法的測試例生成與執(zhí)行34-36
• 4.4 on-the-fly方法中的同步乘積算法36-41
• 4.4.1 同步乘積算法描述36
• 4.4.2 同步乘積算法實現(xiàn)的流程圖36-37
• 4.4.3 同步乘積算法的實現(xiàn)37-38
• 4.4.4 同步乘積算法的測試38-41
• 4.5 結(jié)合IUT實際響應的深度優(yōu)先遍歷過程41-42
• 4.6 本章小結(jié)42-43
• 第五章 基于CPN和on-the-fly算法的Web應用系統(tǒng)的測試43-50
• 5.1 火車售票系統(tǒng)的CPN層次建模43-45
• 5.2 基于on-the-fly算法的測試例生成45-48
• 5.3 基于on-the-fly算法的測試與傳統(tǒng)測試的比較48-49
• 5.4 本章小結(jié)49-50
• 第六章 結(jié)論及下一步工作50-52
• 6.1 論文結(jié)論50-51
• 6.2 未來展望及下一步工作51-52
• 參考文獻52-57
• 致謝57-58
• 攻讀碩士期間發(fā)表的學術(shù)論文58-59
• 參加項目59

【參考文獻】

中國期刊全文數(shù)據(jù)庫 前3條

1 吳立軍;蘇開樂;陳清亮;楊志華;;多主體系統(tǒng)時態(tài)認知規(guī)范的“On the Fly”模型檢測算法研究[J];計算機研究與發(fā)展;2006年08期

2 姜瑛,辛國茂,單錦輝,張路,謝冰,楊芙清;一種Web服務的測試數(shù)據(jù)自動生成方法[J];計算機學報;2005年04期

3 寧亮;張志鴻;;基于有色Petri網(wǎng)的SPIN協(xié)議建模與分析[J];計算機工程與設計;2007年14期

  本文關(guān)鍵詞：基于CPN 的on-the-fly測試方法研究，由筆耕文化傳播整理發(fā)布。

本文編號：302815