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
6th International Conference on Software Testing and Verification (ICST 2013), Mar 2013, Luxembourg, Luxembourg. pp.104-113, 2013
Liste complète des métadonnées

http://hal.univ-grenoble-alpes.fr/hal-00954524
Contributeur : Ioannis Parissis <>
Soumis le : lundi 3 mars 2014 - 10:48:09
Dernière modification le : jeudi 11 janvier 2018 - 06:21:05

Identifiants

  • HAL Id : hal-00954524, version 1

Collections

Citation

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, 2013. 〈hal-00954524〉

Partager

Métriques

Consultations de la notice

750