Next Article in Journal
A Wireless Sensor Network-Based Approach with Decision Support for Monitoring Lake Water Quality
Next Article in Special Issue
Abnormal Condition Monitoring of Workpieces Based on RFID for Wisdom Manufacturing Workshops
Previous Article in Journal
An Electrochemical Quartz Crystal Microbalance Multisensor System Based on Phthalocyanine Nanostructured Films: Discrimination of Musts
Previous Article in Special Issue
A Timing Estimation Method Based-on Skewness Analysis in Vehicular Wireless Networks
Article Menu

Export Article

Open AccessArticle
Sensors 2015, 15(11), 29250-29272;

A Passive Testing Approach for Protocols in Wireless Sensor Networks

School of Software Engineering, Beijing Jiaotong University, Beijing 100044, China
Telecom SudParis, SAMOVAR, CNRS, Universite Paris-Saclay, Evry 91000, France
School of Information Systems, Singapore Management University, Singapore
School of Computer and Communication Engineering, University of Science and Technology Beijing, Beijing 100083, China
Author to whom correspondence should be addressed.
Academic Editors: Yunchuan Sun, Antonio Jara and Shengling Wang
Received: 12 October 2015 / Revised: 8 November 2015 / Accepted: 13 November 2015 / Published: 19 November 2015
(This article belongs to the Special Issue Identification, Information & Knowledge in the Internet of Things)
Full-Text   |   PDF [1458 KB, uploaded 25 November 2015]   |  


Smart systems are today increasingly developed with the number of wireless sensor devices drastically increasing. They are implemented within several contexts throughout our environment. Thus, sensed data transported in ubiquitous systems are important, and the way to carry them must be efficient and reliable. For that purpose, several routing protocols have been proposed for wireless sensor networks (WSN). However, one stage that is often neglected before their deployment is the conformance testing process, a crucial and challenging step. Compared to active testing techniques commonly used in wired networks, passive approaches are more suitable to the WSN environment. While some works propose to specify the protocol with state models or to analyze them with simulators and emulators, we here propose a logic-based approach for formally specifying some functional requirements of a novel WSN routing protocol. We provide an algorithm to evaluate these properties on collected protocol execution traces. Further, we demonstrate the efficiency and suitability of our approach by its application into common WSN functional properties, as well as specific ones designed from our own routing protocol. We provide relevant testing verdicts through a real indoor testbed and the implementation of our protocol. Furthermore, the flexibility, genericity and practicability of our approach have been proven by the experimental results. View Full-Text
Keywords: passive testing; wireless sensor networks (WSN); conformance testing passive testing; wireless sensor networks (WSN); conformance testing

Figure 1

This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited (CC BY 4.0).

Share & Cite This Article

MDPI and ACS Style

Che, X.; Maag, S.; Tan, H.-X.; Tan, H.-P.; Zhou, Z. A Passive Testing Approach for Protocols in Wireless Sensor Networks. Sensors 2015, 15, 29250-29272.

Show more citation formats Show less citations formats

Related Articles

Article Metrics

Article Access Statistics



[Return to top]
Sensors EISSN 1424-8220 Published by MDPI AG, Basel, Switzerland RSS E-Mail Table of Contents Alert
Back to Top