Accéder directement au contenu Accéder directement à la navigation
Nouvelle interface
Communication dans un congrès

A Functional Testing Approach for Hybrid Safety Properties with Incomplete Information

Abstract : 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 requirements. We also develop a set of hypothesis under which the proposed criterion can be evaluated when testing from a black box system when time is discretized and some signals of the automaton are not observable on the concrete system under test. We finally present the HyATT tool prototype that was developped to implement the proposed approach, and report practical feedback of applying it on a case study.
Type de document :
Communication dans un congrès
Liste complète des métadonnées
Contributeur : Ioannis Parissis Connectez-vous pour contacter le contributeur
Soumis le : lundi 3 mars 2014 - 10:48:09
Dernière modification le : mercredi 6 juillet 2022 - 04:20:05


  • HAL Id : hal-00954524, version 1



Yves Grasland, Lydie Du Bousquet, Roland Groz, Ioannis Parissis. A Functional Testing Approach for Hybrid Safety Properties with Incomplete Information. 6th International Conference on Software Testing and Verification (ICST 2013), Mar 2013, Luxembourg, Luxembourg. pp.104-113. ⟨hal-00954524⟩



Consultations de la notice