Home Automation Systems Testing : A Coverage Measure for Hybrid Automata - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

Home Automation Systems Testing : A Coverage Measure for Hybrid Automata

Résumé

This paper addresses the problem of the choice of a coverage measure for hybrid automata. We propose a parametric measure inspired by the notion of operational profile that allows the tester to specify his testing objectives as a required, locally defined 'density' of test cases. The characteristics of our measure and the operational profiles are motivated by the testing context of Home Automation Systems. We compare this measure with related work and show that it yields improvements over several existing measures in our context.
Fichier non déposé

Dates et versions

hal-00860799 , version 1 (11-09-2013)

Identifiants

  • HAL Id : hal-00860799 , version 1

Citer

Yves Grasland, Lydie Du Bousquet, Roland Groz, Ioannis Parissis. Home Automation Systems Testing : A Coverage Measure for Hybrid Automata. ICTSS 2011 - 23rd IFIP International Conference on Testing Software and Systems, Nov 2011, Paris, France. pp.5-12. ⟨hal-00860799⟩
137 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More