本文關鍵詞：著色Petri網(wǎng)模型驅(qū)動的云測試生成方法與實現(xiàn)

  更多相關文章： 測試生成 著色Petri網(wǎng) 云計算 MapReduce

【摘要】：為進一步提高測試生成效率,提升大規(guī)模測試生成的自動化程度,構建了一種基于著色Petri網(wǎng)模型的一致性云測試生成方法,稱為PT-Cloud方法,并將該方法實現(xiàn)為可提供一致性測試生成服務的云測試生成平臺.該方法利用MapReduce技術,實現(xiàn)了面向測試生成需求的被測系統(tǒng)著色Petri網(wǎng)模型重構和標記,并在此基礎上以實際測試數(shù)據(jù)驅(qū)動一致性測試例的自動生成.經(jīng)實際測試生成和執(zhí)行實踐驗證,PT-Cloud方法能保證所生成的測試例是切實可執(zhí)行的,同時有效提高了測試生成的效率和自動化程度.
【作者單位】： 內(nèi)蒙古大學計算機學院;中國科學院計算機網(wǎng)絡信息中心;
【關鍵詞】： 測試生成 著色Petri網(wǎng) 云計算 MapReduce
【基金】：國家自然科學基金項目(61262017) 內(nèi)蒙古自然科學基金項目(2015MS0611)
【分類號】：TP311.53;TP301.1
【正文快照】： 基于模型的一致性測試方法[1]通過構建面向測試需求的軟件系統(tǒng)功能行為模型來生成更為全面、準確的測試例,有助于提高測試生成效率.選擇軟件描述模型是基于模型測試方法的基礎,與有限狀態(tài)機、標記變遷系統(tǒng)、進程代數(shù)等常用軟件形式建模方法相比,著色Petri網(wǎng)(CPN,colored Petri

【相似文獻】

中國期刊全文數(shù)據(jù)庫 前10條

1 徐建斌,李智;神經(jīng)網(wǎng)絡在組合電路故障模擬測試生成算法中的應用[J];電路與系統(tǒng)學報;2001年04期

2 劉蓬俠,曾芷德,李思昆;一個多算法集成的靈活并行測試生成原型系統(tǒng)[J];計算機工程與科學;2001年05期

3 劉曉東,張毅剛,孫圣和;具有最小搜索空間的優(yōu)化測試生成算法[J];儀器儀表學報;2002年S1期

4 張禮勇;劉煜坤;張旭;;有限掃描集成電路測試生成方法[J];電測與儀表;2009年04期

5 HIDEO FUJIWARA ,TAKESHI SHIMONO ,周守本;論測試生成算法的加速[J];計算機工程與科學;1984年04期

6 茅巍巍,凌燮亭;易測電路的構成及其測試生成算法[J];電子學報;1986年02期

7 茅巍巍,阮根鴻,凌燮亭;一種新的功能級數(shù)字電路測試生成算法[J];電子學報;1986年06期

8 王迎旭,武顯榮;通用數(shù)字IC的測試生成研究[J];鐵道學報;1993年03期

9 向東;魏道政;;測試生成算法[J];微電子測試;1994年02期

10 崔曉天，，魏道政;組合電路測試生成研究及實驗[J];計算機學報;1996年10期

中國重要會議論文全文數(shù)據(jù)庫 前6條

1 鄺繼順;汪昱;魏小芬;;基于不確定門延遲的瞬態(tài)電流測試自動測試生成[A];第十屆全國容錯計算學術會議論文集[C];2003年

2 張e

本文編號：993149