Formal Methods for Protocol Testing: A Detailed Study
IEEE Transactions on Software Engineering
TestCom '02 Proceedings of the IFIP 14th International Conference on Testing Communicating Systems XIV
OnLine Test System, An Application of Passive Testing in Routing Protocols Test
ICON '01 Proceedings of the 9th IEEE International Conference on Networks
FSM-Based Incremental Conformance Testing Methods
IEEE Transactions on Software Engineering
Kansei: a testbed for sensing at scale
Proceedings of the 5th international conference on Information processing in sensor networks
MoteLab: a wireless sensor network testbed
IPSN '05 Proceedings of the 4th international symposium on Information processing in sensor networks
Integrating formal verification and conformance testing for reactive systems
IEEE Transactions on Software Engineering
MSN'07 Proceedings of the 3rd international conference on Mobile ad-hoc and sensor networks
IEEE Communications Magazine
A general approach for building Linux on sensor node Imote2
Computer Standards & Interfaces
Hi-index | 0.00 |
Protocol testing has been one of the most active fields in computer networks. In Wireless Sensor Networks (WSNs), before directly employing protocols on hardware testbed, we expect an effective test framework to verify the logical correctness of protocols on computers, which could facilitate the whole test process. Towards this goal, this paper introduces an upper test framework in WSNs, namely Protocol Testing Framework for WSNs (PTFW). PTFW is a visual client-server test framework which is built upon the unique features of WSNs. It is based on the layered architecture of WSNs and uses Finite State Machine (FSM) theory as the kernel. The proposed test framework is developed on Linux Operating System (OS) and coded in standard C language for the consideration of compatibility for real-world implementation. PTFW provides the standards/specifications of conformance testing for test on hardware testbed. To validate the performance and effectiveness of PTFW, we apply it to a real-world WSNs protocol. The results show that PTFW exhibits excellent visual and real-time features, which bring considerable convenience to the later employments on testbed.