SYRF Project

Task 3.5: "Use of automata technology and synchronous observers for automatic testing"

Abstract of deliverable 3.5.3

Back to the SYRF Home Page
Back to Deliverables


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:

  1. 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
  2. P. Raymond Lurette User Manual
    Technical Report, Vérimag, October 99
  3. 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.