6LoWPAN適配層的CPN建模及一致性測試研究.pdf

1、隨著計算機網(wǎng)絡(luò)技術(shù)的飛速發(fā)展和廣泛應(yīng)用，物聯(lián)網(wǎng)已經(jīng)成為一種重要的新型網(wǎng)絡(luò)廣泛應(yīng)用于各個領(lǐng)域。物聯(lián)網(wǎng)可以通過嵌入式無線網(wǎng)絡(luò)來實現(xiàn)。6LoWPAN(IPv6overLow-power Wireless Personal Area Network)是在IEEE802.15.4的基礎(chǔ)上實現(xiàn)IPv6的通信，可以將無線局域網(wǎng)與互聯(lián)網(wǎng)連接起來，從而實現(xiàn)物聯(lián)網(wǎng)的相關(guān)功能。IETF(Internet Engineering Task Force)工程任務(wù)

2、組成立的6LoWPAN工作組，專門從事基于IEEE802.15.4標準的IPv6協(xié)議棧的研究工作。
　　 6LoWPAN技術(shù)的功能主要通過協(xié)議棧中的適配層來實現(xiàn)IPv6網(wǎng)絡(luò)層與鏈路層的連接。6LoWPAN的網(wǎng)絡(luò)層使用IPv6標準，底層使用IEEE802.15.4標準，6LoWPAN的創(chuàng)新之處在于實現(xiàn)了IPv6與IEEE802.15.4的連接。
　　 協(xié)議是網(wǎng)絡(luò)通信的核心技術(shù)，沒有良好的協(xié)議作為支撐，低速無線個域網(wǎng)穩(wěn)定性很

3、難保證，整體節(jié)能也難以實現(xiàn)，其低功耗市場競爭優(yōu)勢便不復存在。因此需要對協(xié)議進行測試以驗證協(xié)議實現(xiàn)的正確性。本文基于CPN和TTCN-3對6LoWPAN適配層的一致性測試進行了以下研究：
　　 首先，分析了6LoWPAN研究工作組已有的說明文檔以及6LoWPAN基于的兩個標準即IPv6協(xié)議棧和IEEE802.15.4標準，重點分析了6LoWPAN適配層的協(xié)議規(guī)范，根據(jù)協(xié)議規(guī)范設(shè)計并實現(xiàn)了適配層核心功能作為本文的被測系統(tǒng)。