基于CPN的oN-the-fly測(cè)試方法研究.pdf

1、隨著信息技術(shù)的迅猛發(fā)展和網(wǎng)絡(luò)化時(shí)代的到來(lái)，各種各樣的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)容:

2、
　　第一，通過(guò)對(duì)on-the-fly算法的起源，核心思想及應(yīng)用方面的研究和總結(jié)，給出了on-the-fly算法的定義。
　　第二，深入了解和掌握on-the-fly測(cè)試算法的主要過(guò)程，并采用CPN層次建模和擴(kuò)展可達(dá)圖來(lái)實(shí)現(xiàn)對(duì)on-the-fly測(cè)試方法的描述，該部分包括以下幾點(diǎn):
　　(1)定義on-the-fly測(cè)試算法中的規(guī)約和測(cè)試目的等模型，并給出了基于CPN的on-the-fly測(cè)試算法的主要過(guò)程。