Assertion-based test oracles for home automation systems

Ajitha Rajan 1 Lydie Du Bousquet 1 Yves Ledru 1 German Eduardo Vega Baez 1 Jean-Luc Richier 1
1 VASCO
LIG - Laboratoire d'Informatique de Grenoble
Abstract : The Home Automation System (HAS) is a service-oriented application that facilitates the automation of a private home to improve the comfort and security of its residents. HAS is implemented using a service-oriented architecture. Many of the services in the HAS dynamically change their configuration during run-time. This occurs due to change in availability and bindings between services. Dynamic reconfigurations of services in the HAS presents several testing challenges, one being the specification of test oracles. In this paper, we give an approach for specifying test oracles for services in the HAS. We formally specify test oracles in the JML specification language. To verify service behavior in the presence of dynamic reconfigurations, we use mechanisms in the service architecture that notify dynamic changes along with run-time evaluation of JML specifications. We illustrate our approach using an example service in the H-Omega HAS developed on the OSGi™ and iPOJO service platform. To evaluate our approach, we developed a testing framework that allows for generation of tests with dynamic service reconfigurations. In addition, we seeded faults into the example service, and evaluated the effectiveness of the test oracles in revealing the faults using the generated tests.
Type de document :
Communication dans un congrès
Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, 2010, New York, NY, United States. ACM, pp.45-52, 2010, MOMPES'10. 〈10.1145/1865875.1865882〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00953393
Contributeur : Catherine Oriat <>
Soumis le : vendredi 28 février 2014 - 11:46:26
Dernière modification le : jeudi 11 janvier 2018 - 06:26:40

Identifiants

Collections

Citation

Ajitha Rajan, Lydie Du Bousquet, Yves Ledru, German Eduardo Vega Baez, Jean-Luc Richier. Assertion-based test oracles for home automation systems. Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, 2010, New York, NY, United States. ACM, pp.45-52, 2010, MOMPES'10. 〈10.1145/1865875.1865882〉. 〈hal-00953393〉

Partager

Métriques

Consultations de la notice

193