Home Automation Systems Testing : A Coverage Measure for Hybrid Automata

Abstract : 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.
Document type :
Conference papers
Complete list of metadatas

Contributor : Lydie Du Bousquet <>
Submitted on : Wednesday, September 11, 2013 - 11:50:41 AM
Last modification on : Thursday, October 11, 2018 - 8:48:04 AM


  • HAL Id : hal-00860799, version 1



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⟩



Record views