Génération automatique de test pour les contrôleurs logiques programmables synchrones

Abstract : This thesis work done in the context of the FUI project Minalogic Bluesky, concerns the automated functional testing of a particular class of programmable logic controllers (em4) produced by InnoVista Sensors. These are synchronous systems that are programmed by means of an integrated development environment (IDE). People who use and program these controllers are not necessarily expert programmers. The development of software applications should be as result simple and intuitive. This should also be the case for testing. Although applications defined by these users need not be very critical, it is important to test them adequately and effectively. A simulator included in the IDE allows programmers to test their programs in a way that remains informal and interactive by manually entering test data.Based on previous research in the area of synchronous test programs, we propose a new test specification language, called SPTL (Synchronous Testing Programs Language) which makes possible to simply express test scenarios that can be executed on the fly to automatically generate test input sequences. It also allows describing the environment in which the system evolves to put conditions on inputs to arrive to realistic test data and limit unnecessary ones. SPTL facilitates this testing task by introducing concepts such as user profiles, groups and categories. We have designed and developed a prototype named "Testium", which translates a SPTL program to a set of constraints used by a Prolog solver that randomly selects the test inputs. So, generating test data is based on constraint logic programming techniques.To assess this, we experimented this method on realistic and typical examples of em4 applications. Although SPTL was evaluated on EM4, its use can be envisaged for the validation of other types of synchronous controllers or systems.
Document type :
Complete list of metadatas

Cited literature [1 references]  Display  Hide  Download

Contributor : Abes Star <>
Submitted on : Friday, April 14, 2017 - 11:44:45 AM
Last modification on : Saturday, February 23, 2019 - 1:22:10 AM
Long-term archiving on: Saturday, July 15, 2017 - 1:02:14 PM


Version validated by the jury (STAR)


  • HAL Id : tel-01508496, version 1




Mouna Tka. Génération automatique de test pour les contrôleurs logiques programmables synchrones. Langage de programmation [cs.PL]. Université Grenoble Alpes, 2016. Français. ⟨NNT : 2016GREAM020⟩. ⟨tel-01508496⟩



Record views


Files downloads