Title :
Automatic Test Generation for LUSTRE/SCADE Programs
Author :
Papailiopoulou, Virginia
Author_Institution :
LIG, Univ. of Grenoble I, Grenoble
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.
Keywords :
automatic test pattern generation; formal specification; parallel languages; program compilers; program testing; program verification; safety-critical software; software tools; LUSTRE program; SCADE graphical tool; automatic code generation; automatic test data generation; declarative data-flow language; formal specification; formal verification; safety critical application development environment; Aerospace industry; Aerospace testing; Application software; Automatic testing; Clocks; Delay; Electronic mail; Equations; Formal specifications; System testing;
Conference_Titel :
Automated Software Engineering, 2008. ASE 2008. 23rd IEEE/ACM International Conference on
Conference_Location :
L´Aquila
Print_ISBN :
978-1-4244-2187-9
Electronic_ISBN :
1938-4300
DOI :
10.1109/ASE.2008.96