Case Studies with Lurette V2 - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2004

Case Studies with Lurette V2

Erwan Jahier
Pascal Raymond
Philippe Baufreton
  • Fonction : Auteur

Résumé

Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT) environment, Lurette generates realistic input sequences; and, given a formal description of expected properties, Lurette performs the test results analysis. Lurette has been reimplemented from scratch. In this new version, the main novelty lies in the way the SUT environment is described. This is done by means of a new dedicated language called Lucky, a language for programming non-deterministic reactive machines. This article recalls the principles of Lurette, briefly presents the Lucky language, and describes some cases studies from the IST project Safeair II. The objective is to illustrate the usefulness of Lurette on real case studies, and the expressiveness of Lucky in accurately describing the SUT environment.
Fichier principal
Vignette du fichier
article.pdf (291.55 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00389838 , version 1 (29-05-2009)

Identifiants

  • HAL Id : hal-00389838 , version 1

Citer

Erwan Jahier, Pascal Raymond, Philippe Baufreton. Case Studies with Lurette V2. ISoLA (Preliminary proceedings), Oct 2004, Paphos, Cyprus. pp.296-303. ⟨hal-00389838⟩
185 Consultations
157 Téléchargements

Partager

Gmail Facebook X LinkedIn More