A Functional Testing Approach for Hybrid Safety Properties with Incomplete Information - Université Grenoble Alpes
Communication Dans Un Congrès Année : 2013

A Functional Testing Approach for Hybrid Safety Properties with Incomplete Information

Résumé

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.
Fichier non déposé

Dates et versions

hal-00954524 , version 1 (03-03-2014)

Identifiants

  • HAL Id : hal-00954524 , version 1

Citer

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⟩
246 Consultations
0 Téléchargements

Partager

More