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.