SYRF Project
Task 3.5: "Use of automata technology
and synchronous observers for automatic testing"
Abstract of deliverable 3.5.3
Achieved Results:
Contribution of Inria-Spectre: A user manual of the tool Lurette is
provided. This year, we investigated the definition of a new language to
specify test sequences. Called Lutin, this language is a generalization
of regular expressions, built upon Lustre Boolean expressions
Contribution of Inria-Meije: In cooperation with Texas Instrument,
we designed a technique to improve a set of test suites, by comparing the
set of reachable states of an Esterel program, with the set of tested states.
Publications:
- N. Halbwachs, P. Raymond
Validation of Synchronous Reactive Systems: from
Formal Verification to Automatic Testing
ASIAN'99, Asian Computing Science Conference, Phuket (Thailand), December
99
- P. Raymond Lurette User Manual
Technical Report, Vérimag, October 99
- L. Arditi, A. Bouali, H. Boufaied, G. Clavé, M. Hadj-Chaib, R. de Simone.
Using Esterel and Formal Methods to Increase the Confidence
in the Functional Validation of a Commercial DSP.
FMICS'99 Workshop, Trento, June 1999.