loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
16th IEEE International Symposium on Software Reliability Engineering (ISSRE'05)
Lustructu: A Tool for the Automatic Coverage Assessment of Lustre Programs
Chicago, Illinois
November 08-November 11
ISBN: 0-7695-2482-6
Abdesselam Lakehal, Laboratoire LSR-IMAG
Ioannis Parissis, Laboratoire LSR-IMAG
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.
Citation:
Abdesselam Lakehal, Ioannis Parissis, "Lustructu: A Tool for the Automatic Coverage Assessment of Lustre Programs," issre, pp.301-310, 16th IEEE International Symposium on Software Reliability Engineering (ISSRE'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.