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

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

2、仍依靠手工生成，導(dǎo)致測(cè)試?yán)蛇^(guò)程的自動(dòng)化程度低，測(cè)試效率較差?；谀Ｐ偷臏y(cè)試方法構(gòu)建面向測(cè)試需求的軟件系統(tǒng)功能行為模型，通過(guò)這種測(cè)試模型，生成大量切實(shí)可執(zhí)行的一致性測(cè)試?yán)?，提高一致性測(cè)試生成效率和測(cè)試的自動(dòng)化程度，并能有效地保證測(cè)試?yán)傻娜嫘浴?zhǔn)確性和可執(zhí)行性。當(dāng)測(cè)試?yán)詣?dòng)生成過(guò)程中存在大量可并行執(zhí)行的操作，并且該方法用于大規(guī)模一致性測(cè)試應(yīng)用時(shí)，利用云計(jì)算在海量信息處理、并行計(jì)算能力、高可靠服務(wù)提供等方面的優(yōu)勢(shì)，實(shí)現(xiàn)云計(jì)算與基于模

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