Skip to Main content Skip to Navigation

Critères de couverture structurelle pour les programmes Lustre

Abstract : This work deals with the structural testing of the synchronous reactive programs written in Lustre and the definition of criteria to ensure the coverage of this structural testing. Lustre is a data-flow reactive synchronous language, widely used for the specification and the programming of the critical applications in fields like aeronautics, energy or transport. The application to Lustre of the usual control-flow based coverage criteria (statement coverage, branch coverage...) is not significant.

We, consequently, defined a hierarchy of criteria tailored to the data-flow synchronous paradigm. The criteria make it possible to measure the coverage of the paths in an operator network, a graphical model of the data flows in a Lustre program. The criteria are based on a symbolic computation of the activation conditions of these paths.

The criteria were implemented in a tool, Lustructu, which is able to measure the coverage reached by a test set according to these criteria. Lustructu analyzes the program under test and computes the paths and the associated activation conditions. The evaluation of the coverage using Lustructu is not-intrusive (no instrumentation of the code). The applicability and the relevance of the criteria were evaluated on an important case study from the avionics field.
Document type :
Complete list of metadata

Cited literature [64 references]  Display  Hide  Download
Contributor : Abdesselam Lakehal <>
Submitted on : Tuesday, September 26, 2006 - 2:08:10 PM
Last modification on : Wednesday, June 30, 2021 - 10:14:01 AM
Long-term archiving on: : Thursday, September 20, 2012 - 10:56:53 AM


  • HAL Id : tel-00100384, version 1



Abdesselam Lakehal. Critères de couverture structurelle pour les programmes Lustre. Génie logiciel [cs.SE]. Université Joseph-Fourier - Grenoble I, 2006. Français. ⟨tel-00100384⟩



Record views


Files downloads