Abstract
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. © 2014 Springer-Verlag.
Author supplied keywords
Cite
CITATION STYLE
Jahier, E., Djoko-Djoko, S., Maiza, C., & Lafont, E. (2014). Environment-model based testing of control systems: Case studies. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8413 LNCS, pp. 636–650). Springer Verlag. https://doi.org/10.1007/978-3-642-54862-8_55
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
