Automatic Test Generation for LUSTRE/SCADE Programs

Authors:
V. Papailiopoulou
Affiliations:
LIG, Univ. of Grenoble I, Grenoble
Venue:
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Year:
2008

Citing 5
Cited 0

Steam-Boiler Control Specification Problem

Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995).
Structural test coverage criteria for lustre programs

Proceedings of the 10th international workshop on Formal methods for industrial critical systems
Lustructu: A Tool for the Automatic Coverage Assessment of Lustre Programs

ISSRE '05 Proceedings of the 16th IEEE International Symposium on Software Reliability Engineering
Using CLP to Automatically Generate Test Sequences for Synchronous Programs with Numeric Inputs and Outputs

ISSRE '06 Proceedings of the 17th International Symposium on Software Reliability Engineering
Automatic generation of test data generators for synchronous programs: Lutess V2

Workshop on Domain specific approaches to software test automation: in conjunction with the 6th ESEC/FSE joint meeting

Quantified Score

Hi-index	0.00

Visualization

Abstract

Lustre is a declarative, data-flow language, which is devoted to the specification of synchronous and real-time applications. It ensures efficient code generation and provides formal specification and verification facilities. A graphical tool dedicated to the development of critical embedded systems and often used by industries and professionals is SCADE (Safety Critical Application Development Environment). SCADE is a graphical environment based on the LUSTRE language and it allows the hierarchical definition of the system components and the automatic code generation. This research work is partially concerned with Lutess, a testing environment which automatically transforms formal specifications into test data generators.