本文選題：on-the-fly測(cè)試 + CPN層次模型��； 參考：《軟件學(xué)報(bào)》2017年10期

【摘要】：在對(duì)復(fù)雜的軟件系統(tǒng)進(jìn)行測(cè)試時(shí),生成的系統(tǒng)狀態(tài)空間可能會(huì)非常龐大.為了避免對(duì)整個(gè)狀態(tài)空間進(jìn)行遍歷,提出將on-the-fly方法與CPN形式化建模方法結(jié)合起來(lái),用于生成測(cè)試?yán)?在這種方法中,無(wú)需對(duì)整個(gè)狀態(tài)空間進(jìn)行遍歷,只是僅對(duì)測(cè)試人員感興趣的部分狀態(tài)空間進(jìn)行針對(duì)性的測(cè)試.首先,給出CPN和擴(kuò)展可達(dá)圖的定義,介紹了on-the-fly測(cè)試方法中涉及的相關(guān)概念,包括系統(tǒng)規(guī)約、測(cè)試目的、同步乘積和測(cè)試?yán)?然后,實(shí)現(xiàn)了同步乘積算法,并設(shè)計(jì)相關(guān)測(cè)試?yán)龑?duì)其進(jìn)行了測(cè)試.最后,選定一個(gè)被測(cè)系統(tǒng)示例CPN建模與on-the-fly結(jié)合的方法,并通過(guò)適配器實(shí)現(xiàn)與被測(cè)系統(tǒng)的交互,生成和執(zhí)行測(cè)試?yán)?由此驗(yàn)證了方法的可行性和有效性.
[Abstract]:When testing complex software systems, the resulting state space can be very large. In order to avoid traversing the whole state space, the on-the-fly method is combined with the formal modeling method to generate test cases. In this method, there is no need to traverse the whole state space, but only the part of the state space of interest to the testers is tested. Firstly, the definitions of CPN and extensible Datuk are given, and the related concepts in on-the-fly testing methods are introduced, including system specification, test purpose, synchronous product and test examples. Then, the synchronous product algorithm is implemented, and a related test case is designed to test it. Finally, a method of combining CPN modeling with on-the-fly is selected, and a test example is generated and executed through the adapter. The feasibility and effectiveness of the method are verified.
【作者單位】： 內(nèi)蒙古大學(xué)計(jì)算機(jī)學(xué)院;內(nèi)蒙古大學(xué)網(wǎng)絡(luò)信息中心;
【基金】：國(guó)家自然科學(xué)基金(61163011,61262082) 內(nèi)蒙古自治區(qū)自然科學(xué)基金(2015MS0612) 內(nèi)蒙古自治區(qū)高�？茖W(xué)技術(shù)研究項(xiàng)目(NJZY010) 賽爾創(chuàng)新項(xiàng)目(NGⅡ20150112)~~
【分類(lèi)號(hào)】：TP311.53

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 陳睿;蔡希堯;陳平;;基于對(duì)象標(biāo)識(shí)的對(duì)象持久性語(yǔ)義[J];計(jì)算機(jī)科學(xué);1992年05期

2 周建濤，葉新銘;一種構(gòu)造Petri網(wǎng)可達(dá)圖的方法[J];內(nèi)蒙古大學(xué)學(xué)報(bào)(自然科學(xué)版);1999年03期

3 眭永波,王忠民,郝瑞兵;EFSM最小可達(dá)圖的同步生成算法[J];計(jì)算機(jī)工程與應(yīng)用;2004年23期

4 桑海;張明清;唐俊;;基于可達(dá)圖的仿真組件接口設(shè)計(jì)一致性驗(yàn)證[J];計(jì)算機(jī)仿真;2010年04期

5 宋佳興;林闖;;Petri網(wǎng)模型參數(shù)化可達(dá)圖研究[J];系統(tǒng)仿真學(xué)報(bào);2007年S1期

6 陸維明;甄強(qiáng);;Petri網(wǎng)系統(tǒng)活性的研究[J];計(jì)算機(jī)科學(xué);1999年04期

7 夏堅(jiān);;基于改進(jìn)蟻群算法的維修拆卸序列規(guī)劃[J];微型電腦應(yīng)用;2012年02期

8 左陽(yáng);動(dòng)態(tài)結(jié)構(gòu)圖轉(zhuǎn)換為狀態(tài)空間的實(shí)現(xiàn)[J];貴州工業(yè)大學(xué)學(xué)報(bào)(自然科學(xué)版);1999年06期

9 吳哲輝,蔣昌俊;有界Petri網(wǎng)的可達(dá)圖到網(wǎng)圖的轉(zhuǎn)換算法[J];軟件學(xué)報(bào);1992年01期

10 劉小晶;楊淑群;鄧昶;;問(wèn)題有解與狀態(tài)空間圖的核為有界格的等價(jià)性理論[J];計(jì)算機(jī)工程與應(yīng)用;2008年09期

相關(guān)碩士學(xué)位論文 前3條

1 楊顏公;進(jìn)程網(wǎng)的仿真與可達(dá)圖技術(shù)研究[D];北方工業(yè)大學(xué);2015年

2 韓放;基于分布式狀態(tài)空間模型預(yù)測(cè)控制的多級(jí)流程雁陣陣形調(diào)整方法[D];北京化工大學(xué);2016年

3 馬亞南;基于偏序歸約的安全協(xié)議狀態(tài)空間約簡(jiǎn)技術(shù)研究[D];解放軍信息工程大學(xué);2011年

，

本文編號(hào)：2073862