A pragmatic testing approach for wireless sensor networks

Authors:
Cédric Ramassamy;Hacène Fouchal;Philippe Hunel;Nicolas Vidot
Affiliations:
Université des Antilles et de la Guyane, SCHOELCHER, France;Université de Reims Champagne-Ardenne, Reims, France;Université des Antilles et de la Guyane, SCHOELCHER, France;Université des Antilles et de la Guyane, SCHOELCHER, France
Venue:
Proceedings of the 6th ACM workshop on QoS and security for wireless and mobile networks
Year:
2010

Citing 16
Cited 0

Test Selection Based on Finite State Models

IEEE Transactions on Software Engineering
A theory of timed automata

Theoretical Computer Science
Deriving test plans from architectural descriptions

Proceedings of the 22nd international conference on Software engineering
Trustworthy components-compositionality and prediction

Journal of Systems and Software - Special issue on: Component-based software engineering
Testing Distributed Real Time Systems Using a Distributed Test Architecture

ISCC '01 Proceedings of the Sixth IEEE Symposium on Computers and Communications
A Test Case Generation Algorithm for Real-Time Systems

QSIC '04 Proceedings of the Quality Software, Fourth International Conference
ORBIT Radio Grid Tested for Evaluation of Next-Generation Wireless Network Protocols

TRIDENTCOM '05 Proceedings of the First International Conference on Testbeds and Research Infrastructures for the DEvelopment of NeTworks and COMmunities
Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science)

Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science)
TWIST: a scalable and reconfigurable testbed for wireless indoor experiments with sensor networks

REALMAN '06 Proceedings of the 2nd international workshop on Multi-hop ad hoc networks: from theory to reality
MoteLab: a wireless sensor network testbed

IPSN '05 Proceedings of the 4th international symposium on Information processing in sensor networks
Testing Software Design Modeled by Finite-State Machines

IEEE Transactions on Software Engineering
A Generalized Model-Based Test Generation Method

SEFM '08 Proceedings of the 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods
Run-time conformance checking of mobile and distributed systems using executable models

Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
Sensor faults: Detection methods and prevalence in real-world datasets

ACM Transactions on Sensor Networks (TOSN)
Specifying and generating test cases using observer automata

FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Testing communicating systems: a model, a methodology, and a tool

TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Applications over wireless sensor networks are growing quickly. Traditional software development tools are not well adapted to this technology. In particular, adequate testing methodologies are required. Many issues have not been formally addressed as energy-conservation, congestion control, reliability data dissemination, security. In this paper, we present a pragmatic approach to detect some kind of anomalies based on defined scenarios on wireless sensor networks. A scenario is considered as a set of events which should happen on the network in an ordered way. We discuss a formal architecture able to perform these scenarios over the wireless sensor networks and to raise alarms if necessary. This methodology has been implemented on a prototype and has been experimented with various examples. This contribution is a first attempt for a formal testing methodology for wireless sensor networks.