Statistical Testing of Synchronous Reactive Systems - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2008

Statistical Testing of Synchronous Reactive Systems

Résumé

The synchronous data-flow language Lustre is widely used to describe the behavior of reactive systems. Most of these systems are critical so they need intensive testing. Statistical testing allows intensive testing but generally misses special cases. We present a new approach enriching statistical testing with a coverage criteria of the Lustre description . We have developed sALLUSTe, a software tool dedicated to the statistical testing of Lustre descriptions. sALLUSTe generates test scenarios by drawing uniformly at random paths in a structure related to the Lustre description. Our approach and the early results of sALLUSTe are presented here.
Fichier principal
Vignette du fichier
ERTS2008_0067_paper.pdf (115.25 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02270268 , version 1 (24-08-2019)

Identifiants

  • HAL Id : hal-02270268 , version 1

Citer

Julien Fayolle, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Bruno Marre. Statistical Testing of Synchronous Reactive Systems. Embedded Real Time Software and Systems (ERTS2008), Jan 2008, Toulouse, France. ⟨hal-02270268⟩
24 Consultations
9 Téléchargements

Partager

Gmail Facebook X LinkedIn More