Fran├žais Anglais
Accueil Annuaire Plan du site
Home > Research results > Software & patents
Research results
Software sALLUSTe
sALLUSTe - Statistical Testing based on Lustre Descriptions
Date of the last release: 01 January 2007

Person in charge : GAUDEL Marie-Claude


Salluste is a tool for automatic test generation based on Lustre descriptions of the system under test. Lustre is a data-flow formal language used for the description of synchronous reactive systems. Salluste produces test sequences uniformly at random that ensure a uniform coverage of the behaviours of the Lustre description.

Salluste has been developed jointly with CEA-LIST (Bruno Marre) in the framework of the Usine Logicielle project of the Systematic pole of competitiveness.

It makes use of GATEL to check the feasibility of the drawn test cases.



Software



Research activities
  Verification
  Software Testing

Members
  GOURAUD Sandrine
  FAYOLLE Julien

Group

Software & patents
CODALAB
Codalab

DNADNA
Deep Neural Architectures for DNA

CARTOLABE
CARTOLABE