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

1、隨著信息技術(shù)的迅猛發(fā)展和網(wǎng)絡(luò)化時代的到來，各種各樣的Web應(yīng)用系統(tǒng)高頻率的出現(xiàn)在我們的日常生活、工作和學(xué)習(xí)中。對于多并發(fā)的Web應(yīng)用系統(tǒng)，其狀態(tài)圖的規(guī)模是以并發(fā)數(shù)指數(shù)級增長，使得Web應(yīng)用系統(tǒng)的驗證和測試極為困難;此外，測試生成與測試執(zhí)行的獨立進(jìn)行使測試成本代價高、耗時長。為了避免對整個狀態(tài)圖的遍歷，及實現(xiàn)測試生成與測試執(zhí)行的同步進(jìn)行，本文采用了基于CPN的on-the-fly測試方法對Web應(yīng)用系統(tǒng)執(zhí)行測試。本文主要包括以下研究內(nèi)容:

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