Automated test generation for production systems with a model-based testing approach

Ce manuscrit de thèse porte sur le problème du test basé modèle de systèmes de production existants, tels ceux de notre partenaire industriel Michelin, l’un des trois plus grands fabricants de pneumatiques au monde. Un système de production est composé d’un ensemble de machines de production contrôl...

Full description

Bibliographic Details
Main Author: Durand, William
Other Authors: Clermont-Ferrand 2
Language:en
Published: 2016
Subjects:
Online Access:http://www.theses.fr/2016CLF22691/document