Lustructu: A Tool for the Automatic Coverage Assessment of Lustre Programs

Authors:
Abdesselam Lakehal;Ioannis Parissis
Affiliations:
Laboratoire LSR-IMAG;Laboratoire LSR-IMAG
Venue:
ISSRE '05 Proceedings of the 16th IEEE International Symposium on Software Reliability Engineering
Year:
2005

Citing 0
Cited 3

Automated Measure of Structural Coverage for LUSTRE Programs: a Case Study

AST '07 Proceedings of the Second International Workshop on Automation of Software Test
Automatic Test Generation for LUSTRE/SCADE Programs

ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Automated test coverage measurement for reactor protection system software implemented in function block diagram

SAFECOMP'10 Proceedings of the 29th international conference on Computer safety, reliability, and security

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present Lustructu, a tool measuring the structural coverage of LUSTRE programs. LUSTRE is a synchronous data-flow declarative language widely used for safety-critical applications (avionics, energy, transport ...). Many coverage criteria are defined for sequential languages and are widely used in the software industry (for instance, statement or branch coverage). They are defined on the program control-flow graph and, hence, do not apply to Lustre programs , represented by data-flow diagrams. We have defined several criteria to measure the coverage achieved after the execution of a test set, based on symbolic computation of path activation conditions. These criteria, implemented in Lustructu, provide the user with meaningful automatically computed measures of the thoroughness of a given test set.