Passively testing routing protocols in wireless sensor networks
Smart systems are today increasingly developed with the number of wireless sensor devices that drastically increases. They are implemented within several contexts through our environment. Thus, sensed data transported in ubiquitous systems are important and the way to carry them must be efficient an...
Saved in:
Main Authors: | , , , |
---|---|
Format: | text |
Language: | English |
Published: |
Institutional Knowledge at Singapore Management University
2016
|
Subjects: | |
Online Access: | https://ink.library.smu.edu.sg/sis_research/3565 https://ink.library.smu.edu.sg/context/sis_research/article/4566/viewcontent/UIC_2015_camera_ready.pdf |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Singapore Management University |
Language: | English |
id |
sg-smu-ink.sis_research-4566 |
---|---|
record_format |
dspace |
spelling |
sg-smu-ink.sis_research-45662017-04-10T07:35:01Z Passively testing routing protocols in wireless sensor networks CHE, Xiaoping MAAG, Stephane TAN, Hwee-Xian Hwee-Pink TAN, Smart systems are today increasingly developed with the number of wireless sensor devices that drastically increases. They are implemented within several contexts through 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 to wireless sensor networks (WSN). However, one stage that is often neglected before their deployment, is the conformance testing process, a crucial and challenging step. Active testing techniques commonly used in wired networks are not suitable to WSN and passive approaches are needed. 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 test bed and the implementation of our protocol. We show that our approach may model and passively test common and particular test objectives illustrating its flexibility, genericity and practicability. As far as we know, this is the first work on formal passive testing of routing protocols in wireless sensor networks. 2016-07-01T07:00:00Z text application/pdf https://ink.library.smu.edu.sg/sis_research/3565 info:doi/10.1109/UIC-ATC-ScalCom-CBDCom-IoP.2015.59 https://ink.library.smu.edu.sg/context/sis_research/article/4566/viewcontent/UIC_2015_camera_ready.pdf http://creativecommons.org/licenses/by-nc-nd/4.0/ Research Collection School Of Computing and Information Systems eng Institutional Knowledge at Singapore Management University Conformance Testing Passive Testing Protocol Wireless Sensor Networks Digital Communications and Networking OS and Networks Software Engineering |
institution |
Singapore Management University |
building |
SMU Libraries |
continent |
Asia |
country |
Singapore Singapore |
content_provider |
SMU Libraries |
collection |
InK@SMU |
language |
English |
topic |
Conformance Testing Passive Testing Protocol Wireless Sensor Networks Digital Communications and Networking OS and Networks Software Engineering |
spellingShingle |
Conformance Testing Passive Testing Protocol Wireless Sensor Networks Digital Communications and Networking OS and Networks Software Engineering CHE, Xiaoping MAAG, Stephane TAN, Hwee-Xian Hwee-Pink TAN, Passively testing routing protocols in wireless sensor networks |
description |
Smart systems are today increasingly developed with the number of wireless sensor devices that drastically increases. They are implemented within several contexts through 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 to wireless sensor networks (WSN). However, one stage that is often neglected before their deployment, is the conformance testing process, a crucial and challenging step. Active testing techniques commonly used in wired networks are not suitable to WSN and passive approaches are needed. 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 test bed and the implementation of our protocol. We show that our approach may model and passively test common and particular test objectives illustrating its flexibility, genericity and practicability. As far as we know, this is the first work on formal passive testing of routing protocols in wireless sensor networks. |
format |
text |
author |
CHE, Xiaoping MAAG, Stephane TAN, Hwee-Xian Hwee-Pink TAN, |
author_facet |
CHE, Xiaoping MAAG, Stephane TAN, Hwee-Xian Hwee-Pink TAN, |
author_sort |
CHE, Xiaoping |
title |
Passively testing routing protocols in wireless sensor networks |
title_short |
Passively testing routing protocols in wireless sensor networks |
title_full |
Passively testing routing protocols in wireless sensor networks |
title_fullStr |
Passively testing routing protocols in wireless sensor networks |
title_full_unstemmed |
Passively testing routing protocols in wireless sensor networks |
title_sort |
passively testing routing protocols in wireless sensor networks |
publisher |
Institutional Knowledge at Singapore Management University |
publishDate |
2016 |
url |
https://ink.library.smu.edu.sg/sis_research/3565 https://ink.library.smu.edu.sg/context/sis_research/article/4566/viewcontent/UIC_2015_camera_ready.pdf |
_version_ |
1770573304809127936 |