Abstract: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.

DESIGN OF STATE-BASED AUTOMATIC SECURITY TEST PLATFORM FOR WIRELESS PROTOCOL

Design and Implementation of Security Performance Test System for Wireless Local Area Network

An Automated Mechanism of Security Test on Network Protocols

PTFW: a protocol testing framework for wireless sensor networks

A novel simulation platform for WLAN security protocols

Design and Implementation of Network Information Security Testing Platform

Test and analysis of WLAN-based protection system for smart substation

A Real-Time Test Platform Based on Software Defined Radio for Mobile Communication Technology

The Design and Implementation of an Automatic Testing Software Platform for Safety Relay

The Security Analysis and Detection of 802. 1X Wireless Local Area Network

Non-Intrusive Backplane-Based Testing Platform for Wireless Sensor Networks

A Passive Testing Approach for Protocols in Wireless Sensor Networks

SECURITY DESIGN OF NETWORK BASED TEST SYSTEM

Study on Visualized Network Security Test Platform

Design and implement of WLAN RF automatic test system

Test and Verification Platform for Middleware of Sensor Networks

State Machine Mutation-based Testing Framework for Wireless Communication Protocols

Development of Physical Layer Security Simulation Platform

An Attack Scenario Based Approach for Software Security Testing at Design Stage

Network Security Testing Based on Protocol Implements

TH-award:A Performance and Security Test Platform for Wireless Multi-Hop Ne Two Rks