1、隨著近年來無線傳感器網絡及IPv6技術的蓬勃發(fā)展，不少專家學者提出了在普通傳感器節(jié)點內嵌入精簡IPv6協(xié)議棧，構造IPv6無線傳感器網絡的想法。而如何對這些基于IPv6協(xié)議實現的傳感器網絡進行測試以確?？煽?、有效的通信，則成為了該技術發(fā)展與普及的關鍵。
　　協(xié)議測試即是檢測某協(xié)議實現是否滿足相應協(xié)議標準規(guī)范的過程，其中一致性測試和性能測試構成了協(xié)議測試的主要內容。本論文首先對協(xié)議一致性測試理論與方法，尤其是一致性測試生成技術進行了

2、較全面的研究。在此基礎上針對IPv6鄰居發(fā)現協(xié)議的特性為其建立了有限狀態(tài)機(FSM)模型，并通過使用一種結合了周游法和唯一輸入輸出(UIO)序列法的改進算法得到了該FSM模型的抽象一致性測試序列。本論文同時還對該改進算法的時間有效性及可靠性進行了分析。分析表明，使用該算法得到的測試序列不僅在序列長度上較傳統(tǒng)UIO序列法有了明顯的縮短，同時對測試過程中可能發(fā)生的輸出錯誤及末狀態(tài)轉換錯誤也具備良好的檢測能力。
　　此外本論文還就目前比