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

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

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

【參考文獻(xiàn)】

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

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

2 姜瑛,辛國(guó)茂,單錦輝,張路,謝冰,楊芙清;一種Web服務(wù)的測(cè)試數(shù)據(jù)自動(dòng)生成方法[J];計(jì)算機(jī)學(xué)報(bào);2005年04期

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

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

本文編號(hào)：302815