Research on conformance testing method for 6LoWPAN neighbor discovery protocol and system implementation

摘要

Protocol conformance testing can be used to detect whether protocol implementations are conform to the protocol specification. 6LoWPAN neighbor discovery protocol is designed for neighbor discovery and address registration in low-power WPAN. In order to accomplish the conformance testing for this protocol, formal methods are introduced to model the entities in the protocol and an enhanced algorithm is proposed to generate test sequences. Then, based on TTCN-3 architecture, a conformance testing system is implemented. The result indicates the generated test sequences are shorter with less redundancy. The system can perform conformance test properly, and thus provide reference for the development of 6LoWPAN protocol testing system.