基于CPN的OpenFlow建模及交互屬性測(cè)試.pdf

1、由于以IPv4為核心的互聯(lián)網(wǎng)出現(xiàn)的問(wèn)題越來(lái)越多，各個(gè)國(guó)家的新一代互聯(lián)網(wǎng)研究計(jì)劃不斷啟動(dòng)、實(shí)施和重組，其研究工作和實(shí)驗(yàn)正在不斷的深入。目前關(guān)于新一代互聯(lián)網(wǎng)的研究，有人想放棄現(xiàn)有一切重新設(shè)計(jì)，從根本上解決問(wèn)題，也有人提出針對(duì)現(xiàn)有問(wèn)題進(jìn)行修改。OpenFlow是新一代互聯(lián)網(wǎng)研究中的一個(gè)產(chǎn)物，它的提出背景就是想重新設(shè)計(jì)新一代互聯(lián)網(wǎng)。
　　本文以O(shè)penFlow為具體研究對(duì)象，研讀了OpenFlow的相關(guān)說(shuō)明，對(duì)OpenFlow進(jìn)行了深入的

2、分析，對(duì)OpenFlow的進(jìn)化和研究現(xiàn)狀給出了簡(jiǎn)單的總結(jié)，詳細(xì)介紹了OpenFlow協(xié)議?；趯哟蜟PN(Coloured Petri Nets)對(duì)OpenFlow網(wǎng)絡(luò)進(jìn)行了建模，對(duì)每一層的模型都做了詳細(xì)的說(shuō)明，并對(duì)模型中的變量和token的選取做了詳細(xì)的介紹，對(duì)模型的性質(zhì)進(jìn)行了簡(jiǎn)單的分析。針對(duì)OpenFlow協(xié)議中的交互屬性進(jìn)行了建模方法的研究，本文使用了兩種方法對(duì)OpenFlow協(xié)議的交互屬性進(jìn)行了測(cè)試生成，并給出了測(cè)試序列生成算法