Yves Grasland

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
The problem of resource management in Home Automation Systems (HAS) emerges in several recent contributions due to the growth of ecological concerns and the rapid development of automated home equipments. This paper presents an ongoing work on the subject, whose goal is to provide an approach to test the resource usage of HAS, including a test suite(More)
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(More)
This paper proposes a functional testing approach for safety properties formalized as hybrid automata. We first propose a formalism inspired from the concept of operational profile to specify test requirements for hybrid automata. We propose an associated parametric adequacy criterion that measures to what extent a given test suite satisfies these(More)
  • 1