Environment-Model Based Testing of Control Systems: Case Studies - CNRS - Centre national de la recherche scientifique Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Environment-Model Based Testing of Control Systems: Case Studies

Erwan Jahier
Simplice Djoko-Djoko
  • Fonction : Auteur
Chaouki Maiza
  • Fonction : Auteur
Eric Lafont
  • Fonction : Auteur
  • PersonId : 1001232

Résumé

A reactive system reacts to an environment it tries to control. Lurette is a black-box testing tool for such closed-loop systems. It focuses on environment modeling using Lutin, a language designed to perform guided random exploration of the System Under Test (SUT) environment, taking into account the feedback. The test decision is automated using Lustre oracles resulting from the formalisation of functional requirements. In this article, we report on experimentations conducted with Lurette on two industrial case studies. One deals with a dynamic system which simulates the behavior of the temperature and the pressure of a fluid in a pipe. The other one reports on how Lurette can be used to automate the processing of an existing test booklet of a Supervisory Control and Data Acquisition (SCADA) library module.
Fichier principal
Vignette du fichier
tacas-jahier-2014.pdf (248.85 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01465756 , version 1 (13-02-2017)

Identifiants

Citer

Erwan Jahier, Simplice Djoko-Djoko, Chaouki Maiza, Eric Lafont. Environment-Model Based Testing of Control Systems: Case Studies. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2014), Apr 2014, Grenoble, France. pp.636 - 650, ⟨10.1007/978-3-642-54862-8_55⟩. ⟨hal-01465756⟩
143 Consultations
172 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More