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

【摘要】：在對復(fù)雜的軟件系統(tǒng)進行測試時,生成的系統(tǒng)狀態(tài)空間可能會非常龐大.為了避免對整個狀態(tài)空間進行遍歷,提出將on-the-fly方法與CPN形式化建模方法結(jié)合起來,用于生成測試?yán)?在這種方法中,無需對整個狀態(tài)空間進行遍歷,只是僅對測試人員感興趣的部分狀態(tài)空間進行針對性的測試.首先,給出CPN和擴展可達圖的定義,介紹了on-the-fly測試方法中涉及的相關(guān)概念,包括系統(tǒng)規(guī)約、測試目的、同步乘積和測試?yán)?然后,實現(xiàn)了同步乘積算法,并設(shè)計相關(guān)測試?yán)龑ζ溥M行了測試.最后,選定一個被測系統(tǒng)示例CPN建模與on-the-fly結(jié)合的方法,并通過適配器實現(xiàn)與被測系統(tǒng)的交互,生成和執(zhí)行測試?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é)計算機學(xué)院;內(nèi)蒙古大學(xué)網(wǎng)絡(luò)信息中心;
【基金】：國家自然科學(xué)基金(61163011,61262082) 內(nèi)蒙古自治區(qū)自然科學(xué)基金(2015MS0612) 內(nèi)蒙古自治區(qū)高�？茖W(xué)技術(shù)研究項目(NJZY010) 賽爾創(chuàng)新項目(NGⅡ20150112)~~
【分類號】：TP311.53

【相似文獻】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

，

本文編號：2073862