277.petri網(wǎng)模型驅(qū)動的云測試生成服務研究與實現(xiàn)

1、學校代碼：10126分類號：工￡墨!量：Q】學號：編號：論文題目Petri網(wǎng)模型驅(qū)動的云測試生成服務研究與實現(xiàn)學院：計算機學院專業(yè)：軟件工程研究方向：軟件測試姓名：王少帥指導教師：劉靖副教授2015年5月4日內(nèi)蒙古大學碩士學位論文Petrj網(wǎng)模型驅(qū)動的云測試生成服務研究與實現(xiàn)摘要一致性測試旨在發(fā)現(xiàn)軟件實現(xiàn)與軟件規(guī)范說明不一致的錯誤或缺陷。當前一致性測試的相關研究與實踐更多偏重于提高一致性測試執(zhí)行的自動化程度和可靠性，而測試例在很大程度上

2、仍依靠手工生成，導致測試例生成過程的自動化程度低，測試效率較差。基于模型的測試方法構建面向測試需求的軟件系統(tǒng)功能行為模型，通過這種測試模型，生成大量切實可執(zhí)行的一致性測試例，提高一致性測試生成效率和測試的自動化程度，并能有效地保證測試例生成的全面性、準確性和可執(zhí)行性。當測試例自動生成過程中存在大量可并行執(zhí)行的操作，并且該方法用于大規(guī)模一致性測試應用時，利用云計算在海量信息處理、并行計算能力、高可靠服務提供等方面的優(yōu)勢，實現(xiàn)云計算與基于模

3、型的測試生成方法的協(xié)同融合，能夠進一步提高測試生成效率、提升測試生成服務的能力和質(zhì)量，有效解決當前測試例生成過程中存在的自動化程度低、可用性差、生成效率低等問題。本文重點研究基于層次著色Petri網(wǎng)(C010uredPe仃iNets，CPN)模型的網(wǎng)絡軟件一致性測試生成方法，利用云計算支撐基于層次CPN模型的測試例生成過程，實現(xiàn)提供高效可用的云測試生成服務的系統(tǒng)平臺，保證所生成測試例的正確性和可執(zhí)行性，有效提升大規(guī)模測試例生成過程的自動