untitled
<OAI-PMH schemaLocation=http://www.openarchives.org/OAI/2.0/ http://www.openarchives.org/OAI/2.0/OAI-PMH.xsd> <responseDate>2018-01-15T18:42:54Z</responseDate> <request identifier=oai:HAL:hal-00596118v1 verb=GetRecord metadataPrefix=oai_dc>http://api.archives-ouvertes.fr/oai/hal/</request> <GetRecord> <record> <header> <identifier>oai:HAL:hal-00596118v1</identifier> <datestamp>2017-12-21</datestamp> <setSpec>type:COMM</setSpec> <setSpec>subject:info</setSpec> <setSpec>collection:UNIV-AG</setSpec> <setSpec>collection:BNRMI</setSpec> <setSpec>collection:URCA</setSpec> <setSpec>collection:CRESTIC</setSpec> <setSpec>collection:LMR</setSpec> </header> <metadata><dc> <publisher>HAL CCSD</publisher> <title lang=en>A pragmatic testing approach for wireless sensor networks</title> <creator>Ramassamy, Cédric</creator> <creator>Fouchal, Hacène</creator> <creator>Hunel, Philippe</creator> <creator>Vidot, Nicolas</creator> <contributor>Laboratoire de Mathématiques Informatique et Applications (LAMIA) ; Université des Antilles et de la Guyane (UAG)</contributor> <contributor>Centre de Recherche en Sciences et Technologies de l'Information et de la Communication - EA 3804 (CRESTIC) ; Université de Reims Champagne-Ardenne (URCA)</contributor> <description>International audience</description> <source>Proceedings of the 6th ACM workshop on QoS and security for wireless and mobile networks</source> <source>Proceedings of the 6th ACM workshop on QoS and security for wireless and mobile networks</source> <publisher>ACM</publisher> <identifier>hal-00596118</identifier> <identifier>https://hal.archives-ouvertes.fr/hal-00596118</identifier> <identifier>https://hal.archives-ouvertes.fr/hal-00596118/document</identifier> <identifier>https://hal.archives-ouvertes.fr/hal-00596118/file/Q2sWinet_10.pdf</identifier> <source>https://hal.archives-ouvertes.fr/hal-00596118</source> <source>Proceedings of the 6th ACM workshop on QoS and security for wireless and mobile networks, Oct 2010, Turkey. ACM, pp.55--61, 2010, 〈10.1145/1868630.1868641〉</source> <identifier>DOI : 10.1145/1868630.1868641</identifier> <relation>info:eu-repo/semantics/altIdentifier/doi/10.1145/1868630.1868641</relation> <language>en</language> <subject lang=en>fault detection</subject> <subject lang=en>runtime monitoring</subject> <subject lang=en>software testing</subject> <subject lang=en>wireless sensor networks</subject> <subject>[INFO.INFO-PF] Computer Science [cs]/Performance [cs.PF]</subject> <subject>[INFO.INFO-NI] Computer Science [cs]/Networking and Internet Architecture [cs.NI]</subject> <type>info:eu-repo/semantics/conferenceObject</type> <type>Conference papers</type> <description lang=en>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.</description> <date>2010-10-17</date> <rights>info:eu-repo/semantics/OpenAccess</rights> </dc> </metadata> </record> </GetRecord> </OAI-PMH>