{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,11]],"date-time":"2025-11-11T15:41:59Z","timestamp":1762875719257,"version":"build-2065373602"},"reference-count":35,"publisher":"MDPI AG","issue":"11","license":[{"start":{"date-parts":[[2015,11,19]],"date-time":"2015-11-19T00:00:00Z","timestamp":1447891200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Sensors"],"abstract":"<jats:p>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.<\/jats:p>","DOI":"10.3390\/s151129250","type":"journal-article","created":{"date-parts":[[2015,11,24]],"date-time":"2015-11-24T01:57:02Z","timestamp":1448330222000},"page":"29250-29272","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A Passive Testing Approach for Protocols in Wireless Sensor Networks"],"prefix":"10.3390","volume":"15","author":[{"given":"Xiaoping","family":"Che","sequence":"first","affiliation":[{"name":"School of Software Engineering, Beijing Jiaotong University, Beijing 100044, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephane","family":"Maag","sequence":"additional","affiliation":[{"name":"Telecom SudParis, SAMOVAR, CNRS, Universite Paris-Saclay, Evry 91000, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hwee-Xian","family":"Tan","sequence":"additional","affiliation":[{"name":"School of Information Systems, Singapore Management University, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hwee-Pink","family":"Tan","sequence":"additional","affiliation":[{"name":"School of Information Systems, Singapore Management University, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhangbing","family":"Zhou","sequence":"additional","affiliation":[{"name":"Telecom SudParis, SAMOVAR, CNRS, Universite Paris-Saclay, Evry 91000, France"},{"name":"School of Computer and Communication Engineering, University of Science and Technology Beijing, Beijing 100083, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1968","published-online":{"date-parts":[[2015,11,19]]},"reference":[{"key":"ref_1","unstructured":"(2001). IEEE Standard for Information Technology-Telecommunications and Information Exchange Between Systems-Local and Metropolitan Area Networks-Specific Requirements: Part 11: Wireless LAN Medium Access Control (MAC) and Physical Layer (PHY) Specifications, IEEE."},{"key":"ref_2","doi-asserted-by":"crossref","unstructured":"Patil, M., and Biradar, R.C. (2012, January 12\u201314). A survey on routing protocols in Wireless Sensor Networks. Proceedings of the 18th IEEE International Conference on Networks, Singapore.","DOI":"10.1109\/ICON.2012.6506539"},{"key":"ref_3","doi-asserted-by":"crossref","first-page":"150","DOI":"10.1109\/MCOM.2014.6852097","article-title":"Routing protocols for wireless sensor networks with mobile sinks: A survey","volume":"52","author":"Yu","year":"2014","journal-title":"IEEE Commun. Mag."},{"key":"ref_4","doi-asserted-by":"crossref","first-page":"13222","DOI":"10.3390\/s150613222","article-title":"Region-Based Collision Avoidance Beaconless Geographic Routing Protocol in Wireless Sensor Networks","volume":"15","author":"Lee","year":"2015","journal-title":"Sensors"},{"key":"ref_5","doi-asserted-by":"crossref","first-page":"14744","DOI":"10.3390\/s140814744","article-title":"A Group Neighborhood Average Clock Synchronization Protocol for Wireless Sensor Networks","volume":"14","author":"Lin","year":"2014","journal-title":"Sensors"},{"key":"ref_6","doi-asserted-by":"crossref","first-page":"23017","DOI":"10.3390\/s141223017","article-title":"A Local Energy Consumption Prediction-Based Clustering Protocol for Wireless Sensor Networks","volume":"14","author":"Yu","year":"2014","journal-title":"Sensors"},{"key":"ref_7","doi-asserted-by":"crossref","first-page":"22209","DOI":"10.3390\/s150922209","article-title":"Real-Time QoS Routing Protocols in Wireless Multimedia Sensor Networks: Study and Analysis","volume":"15","author":"Alanazi","year":"2015","journal-title":"Sensors"},{"key":"ref_8","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1145\/2529988","article-title":"CTP: An efficient, robust, and reliable collection tree protocol for wireless sensor networks","volume":"10","author":"Gnawali","year":"2013","journal-title":"ACM Trans. Sens. Netw."},{"key":"ref_9","doi-asserted-by":"crossref","first-page":"851","DOI":"10.1007\/s00779-012-0536-z","article-title":"An algorithm on fairness verification of mobile sink routing in wireless sensor network","volume":"17","author":"Xu","year":"2013","journal-title":"Pers. Ubiquitous Comput."},{"key":"ref_10","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1007\/s00779-012-0621-3","article-title":"Autoregressive energy-efficient context forwarding in wireless sensor networks for pervasive healthcare systems","volume":"18","author":"Anagnostopoulos","year":"2014","journal-title":"Pers. Ubiquitous Comput."},{"key":"ref_11","doi-asserted-by":"crossref","first-page":"1117","DOI":"10.1007\/s00779-013-0719-2","article-title":"C3: an energy-efficient protocol for coverage, connectivity and communication in WSNs","volume":"18","author":"Akhlaq","year":"2014","journal-title":"Pers. Ubiquitous Comput."},{"key":"ref_12","unstructured":"Woehrle, M. (2010). Testing of Wireless Sensor Networks. [Ph.D. Thesis, Eidgenossische Technische Hochschule ETH Zurich]."},{"key":"ref_13","doi-asserted-by":"crossref","first-page":"2000","DOI":"10.1109\/SURV.2013.030713.00062","article-title":"Fault Diagnosis in Wireless Sensor Networks: A Survey","volume":"15","author":"Mahapatro","year":"2013","journal-title":"IEEE Commun. Surv. Tutor."},{"key":"ref_14","doi-asserted-by":"crossref","first-page":"574","DOI":"10.1109\/TPDS.2014.2308198","article-title":"Segment-Based Anomaly Detection with Approximated Sample Covariance Matrix in Wireless Sensor Networks","volume":"26","author":"Xie","year":"2015","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"key":"ref_15","first-page":"72","article-title":"Accuracy-Aware Interference Modeling and Measurement in Wireless Sensor Networks","volume":"2","author":"Chang","year":"2015","journal-title":"IEEE Trans. Mob. Comput."},{"key":"ref_16","first-page":"1","article-title":"TeaCP: A Toolkit for Evaluation and Analysis of Collection Protocols in Wireless Sensor Networks","volume":"4","author":"Si","year":"2015","journal-title":"IEEE Trans. Netw. Serv. Manag."},{"key":"ref_17","doi-asserted-by":"crossref","first-page":"568","DOI":"10.1016\/j.future.2008.06.007","article-title":"Atomicity and provenance support for pipelined scientific workflows","volume":"25","author":"Wang","year":"2009","journal-title":"Future Gener. Comp. Syst."},{"key":"ref_18","doi-asserted-by":"crossref","first-page":"424","DOI":"10.1109\/TNET.2006.872572","article-title":"Network protocol system monitoring: A formal approach with passive testing","volume":"14","author":"Lee","year":"2006","journal-title":"IEEE\/ACM Trans. Netw."},{"key":"ref_19","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1459352.1459354","article-title":"Using formal specifications to support testing","volume":"41","author":"Hierons","year":"2009","journal-title":"ACM Comput. Surv."},{"key":"ref_20","doi-asserted-by":"crossref","first-page":"788","DOI":"10.1109\/TNET.2012.2210443","article-title":"A Formal Data-Centric Approach for Passive Testing of Communication Protocols","volume":"21","author":"Lalanne","year":"2013","journal-title":"IEEE\/ACM Trans. Netw."},{"key":"ref_21","doi-asserted-by":"crossref","unstructured":"Ji, S., Pei, Q., Zeng, Y., Yang, C., and Bu, S. (2011, January 3\u20134). An Automated Black-Box Testing Approach for WSN Security Protocols. Proceedings of the Seventh International Conference on Computational Intelligence and Security (CIS), Sanya, China.","DOI":"10.1109\/CIS.2011.158"},{"key":"ref_22","doi-asserted-by":"crossref","unstructured":"Xie, H., Wei, L., Zhou, J., and Hua, X. (2013, January 21\u201323). Research of Conformance Testing of Low-Rate Wireless Sensor Networks Based on Remote Test Method. Proceedings of the Fifth International Conference on Computational and Information Sciences (ICCIS), Shiyan, China.","DOI":"10.1109\/ICCIS.2013.369"},{"key":"ref_23","doi-asserted-by":"crossref","first-page":"827","DOI":"10.1016\/j.comcom.2007.10.031","article-title":"A formal validation methodology for MANET routing protocols based on nodes\u2019 self similarity","volume":"31","author":"Grepet","year":"2008","journal-title":"Comput. Commun."},{"key":"ref_24","unstructured":"Johnson, D.B., Maltz, D.A., and Hu, Y.C. The Dynamic Source Routing Protocols (DSR) for Mobile Ad Hoc Networks for IPv4. Available online: https:\/\/www.ietf.org\/rfc\/rfc4728.txt."},{"key":"ref_25","doi-asserted-by":"crossref","unstructured":"Xiong, J., Ngai, E., Zhou, Y., and Lyu, M. (2011, January 16\u201318). RealProct: Reliable Protocol Conformance Testing with Real Nodes for Wireless Sensor Networks. Proceedings of the IEEE 10th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom), Changsha, China.","DOI":"10.1109\/TrustCom.2011.74"},{"key":"ref_26","first-page":"246","article-title":"An Open Conformance Test System towards the Standardization of Wireless Sensor Networks","volume":"2012","author":"Zhao","year":"2012","journal-title":"Int. J. Distrib. Sens. Netw."},{"key":"ref_27","doi-asserted-by":"crossref","unstructured":"Song, E., Lee, K., and Proctor, F. (2014, January 12\u201315). Testing system for IEEE 1451.5-802.11 standard-based wireless sensors. Proceedings of the 2014 IEEE International Instrumentation and Measurement Technology Conference (I2MTC), Montevideo, Uruguay.","DOI":"10.1109\/I2MTC.2014.6860865"},{"key":"ref_28","doi-asserted-by":"crossref","first-page":"1132","DOI":"10.1109\/TNET.2009.2037497","article-title":"Passive Diagnosis for Wireless Sensor Networks","volume":"18","author":"Liu","year":"2010","journal-title":"IEEE\/ACM Trans. Netw."},{"key":"ref_29","doi-asserted-by":"crossref","unstructured":"Nie, J., Ma, H., and Mo, L. (2012, January 16\u201318). Passive Diagnosis for WSNs Using Data Traces. Proceedings of the 8th IEEE International Conference on Distributed Computing in Sensor Systems, Hangzhou, China.","DOI":"10.1109\/DCOSS.2012.63"},{"key":"ref_30","unstructured":"R\u00f6mer, K., and Ma, J. (2009, January 13\u201316). PDA: Passive distributed assertions for sensor networks. Proceedings of the 8th International Conference on Information Processing in Sensor Networks, San Francisco, CA, USA."},{"key":"ref_31","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1109\/TMC.2011.98","article-title":"Fault Localization Using Passive End-to-End Measurements and Sequential Testing for Wireless Sensor Networks","volume":"11","author":"Wang","year":"2012","journal-title":"IEEE Trans. Mob. Comput."},{"key":"ref_32","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/321978.321991","article-title":"The semantics of predicate logic as a programming language","volume":"23","author":"Emden","year":"1976","journal-title":"J. ACM"},{"key":"ref_33","doi-asserted-by":"crossref","first-page":"841","DOI":"10.1145\/322326.322339","article-title":"Contributions to the Theory of Logic Programming","volume":"29","author":"Apt","year":"1982","journal-title":"J. ACM"},{"key":"ref_34","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1016\/j.comcom.2014.06.001","article-title":"Passive performance testing of network protocols","volume":"51","author":"Che","year":"2014","journal-title":"Comput. Commun."},{"key":"ref_35","unstructured":"Perkins, C.E., and Belding-Royer, E.M. Ad hoc On-Demand Distance Vector (AODV) Routing. Available online: http:\/\/tools.ietf.org\/html\/rfc3561.html."}],"container-title":["Sensors"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/1424-8220\/15\/11\/29250\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T20:52:22Z","timestamp":1760215942000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/1424-8220\/15\/11\/29250"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,11,19]]},"references-count":35,"journal-issue":{"issue":"11","published-online":{"date-parts":[[2015,11]]}},"alternative-id":["s151129250"],"URL":"https:\/\/doi.org\/10.3390\/s151129250","relation":{},"ISSN":["1424-8220"],"issn-type":[{"type":"electronic","value":"1424-8220"}],"subject":[],"published":{"date-parts":[[2015,11,19]]}}}