可擴(kuò)展的網(wǎng)絡(luò)驗(yàn)證技術(shù)：研究現(xiàn)狀與發(fā)展趨勢(shì)

摘要： 互聯(lián)網(wǎng)作為國(guó)家信息基礎(chǔ)設(shè)施的重要組成部分，已經(jīng)在各個(gè)領(lǐng)域發(fā)揮著巨大的作用.隨著其規(guī)模不斷擴(kuò)大和應(yīng)用持續(xù)深入，我們也面臨著意圖不一致的網(wǎng)絡(luò)行為可能導(dǎo)致的災(zāi)難性危害.為了確?；ヂ?lián)網(wǎng)的正常運(yùn)行和網(wǎng)絡(luò)行為的一致性，我們迫切需要可部署的網(wǎng)絡(luò)驗(yàn)證技術(shù)，以確保網(wǎng)絡(luò)運(yùn)行時(shí)的行為與網(wǎng)絡(luò)運(yùn)維人員的意圖一致.當(dāng)前已經(jīng)有許多關(guān)于網(wǎng)絡(luò)驗(yàn)證技術(shù)的研究，這些研究幫助用戶實(shí)現(xiàn)自動(dòng)檢測(cè)網(wǎng)絡(luò)錯(cuò)誤，并進(jìn)一步分析錯(cuò)誤... （共20頁(yè)）