Automatic Test Generation for LUSTRE/SCADE Programs

DOI 10.1109/ase.2008.96 dblp

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.

BibTeX

@inproceedings{Papailiopoulou:ASE08,
  author    = {Virginia Papailiopoulou},
  title     = {Automatic Test Generation for {LUSTRE/SCADE} Programs},
  booktitle = {ASE},
  pages     = {517--520},
  publisher = {{IEEE} Computer Society},
  year      = {2008},
}

Automatic Test Generation for LUSTRE/SCADE Programs

Abstract

Related papers