Structural Test Coverage Criteria for Integration Testing of LUSTRE/SCADE Programs

Virginia Papailiopoulou 1 Ajitha Rajan 2 Ioannis Parissis 3, *
* Auteur correspondant
1 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Paris-Rocquencourt, COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
2 LIG Laboratoire d'Informatique de Grenoble - VASCO
LIG - Laboratoire d'Informatique de Grenoble
3 CTSYS - Conception et Test de SYStèmes embarqués
LCIS - Laboratoire de Conception et d'Intégration des Systèmes
Abstract : Lustre is a formal synchronous declarative language widely used for modeling and specifying safety-critical applications in the fi elds of avionics, transportation, and energy production. In such applications, the testing activity to ensure correctness of the system plays a crucial role in the development process. To enable adequacy measurement of test cases over applications speci ed in Lustre (or SCADE), a hierarchy of structural coverage criteria for Lustre programs has been recently de ned. A drawback with the current de nition of the criteria is that they can only be applied for unit testing, i.e., to single modules without calls to other modules. The criteria experiences scalability issues when used over large systems with several modules and calls between modules. We propose an extension to the criteria de nition to address this scalability issue. We formally de ne the extension by introducing an operator to abstract calls to other modules. This extension allows coverage metrics to be applied to industrial-sized software without an exponential blowup in the number of activation conditions.We conduct a preliminary evaluation of the extended criteria using an Alarm Management System.
Type de document :
Communication dans un congrès
Workshop on Formal Methods for Industrial Critical Systems (FMICS), Aug 2011, Trento, Italy. pp.85-101, 2011
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00680688
Contributeur : Ioannis Parissis <>
Soumis le : lundi 19 mars 2012 - 21:27:36
Dernière modification le : lundi 5 octobre 2015 - 16:58:58

Identifiants

  • HAL Id : hal-00680688, version 1

Collections

INRIA | I3S | UNICE | LCIS | UGA | LIG

Citation

Virginia Papailiopoulou, Ajitha Rajan, Ioannis Parissis. Structural Test Coverage Criteria for Integration Testing of LUSTRE/SCADE Programs. Workshop on Formal Methods for Industrial Critical Systems (FMICS), Aug 2011, Trento, Italy. pp.85-101, 2011. <hal-00680688>

Partager

Métriques

Consultations de la notice

241