本文關(guān)鍵詞：基于時間著色Petri網(wǎng)的OpenFlow協(xié)議建模研究

  更多相關(guān)文章： 時間著色Petri網(wǎng) OpenFlow協(xié)議 建模 驗證 測試

【摘要】：介紹了Hierarchy CPN的相關(guān)定義,然后對OpenFlow協(xié)議進行了基于時間著色CPN建模.在建模過程中,詳細考慮了Token Colour的選取與相關(guān)變量的定義,并考慮了時間屬性,針對建模的性能進行了分析.執(zhí)行上述模型并進行驗證分析,得出變遷發(fā)生次數(shù)與所需時間基本符合穩(wěn)態(tài)分布這一事實,滿足預(yù)期的要求.對所構(gòu)建模型進行自定義查詢分析,依據(jù)模型活性、死鎖、可達性等特性構(gòu)建相應(yīng)的抽象路徑,用于指導(dǎo)抽象測試例的生成.
【作者單位】： 內(nèi)蒙古大學(xué)計算機學(xué)院;內(nèi)蒙古財經(jīng)大學(xué)網(wǎng)絡(luò)中心;內(nèi)蒙古大學(xué)網(wǎng)絡(luò)中心;
【關(guān)鍵詞】： 時間著色Petri網(wǎng) OpenFlow協(xié)議 建模 驗證 測試
【基金】：賽爾網(wǎng)絡(luò)下一代互聯(lián)網(wǎng)技術(shù)創(chuàng)新項目(NG112015112)
【分類號】：TP393.0;TP301.1
【正文快照】： 形式化建模方法因為嚴密的數(shù)學(xué)理論支撐與成熟的分析方法,在系統(tǒng)設(shè)計、分析與驗證、測試理論及軟件開發(fā)等中扮演著重要的角色.根據(jù)說明目標軟件系統(tǒng)的方式,形式化方法分為面向模型與面向?qū)傩缘姆椒?不同的形式化方法,如有限狀態(tài)機FSM(finite state machine)[1]、帶標記轉(zhuǎn)換系

【相似文獻】

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

1 蔡進科;顧華璽;盧冀;余曉杉;;基于Openflow網(wǎng)絡(luò)的高可靠性虛擬網(wǎng)絡(luò)映射算法[J];電子與信息學(xué)報;2014年02期

2 孫英英;李戰(zhàn)懷;李寧;石琳;;基于OpenFlow的虛擬網(wǎng)絡(luò)架構(gòu)的設(shè)計與實現(xiàn)[J];計算機與現(xiàn)代化;2014年01期

3 王智輝;;OpenFlow創(chuàng)造網(wǎng)絡(luò)新格局[J];信息系統(tǒng)工程;2013年02期

4 王明昊;;淺談SDN—軟件定義網(wǎng)絡(luò)與OpenFlow技術(shù)[J];數(shù)字技術(shù)與應(yīng)用;2013年03期

5 蔣培成;陳鳴;李兵;;OpenFlow軟交換機的性能測量[J];重慶郵電大學(xué)學(xué)報(自然科學(xué)版);2013年01期

6 周昭;林昭文;;基于OpenFlow的數(shù)據(jù)流管控系統(tǒng)的研究與實現(xiàn)[J];軟件;2013年12期

7 何\，

本文編號：1111207