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.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...