Back-to-Back Testing of Self-organization Mechanisms - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Back-to-Back Testing of Self-organization Mechanisms

Benedikt Eberhardinger
  • Fonction : Auteur
  • PersonId : 1023363
Axel Habermaier
  • Fonction : Auteur
  • PersonId : 1023364
Hella Seebach
  • Fonction : Auteur
  • PersonId : 1023365
Wolfgang Reif
  • Fonction : Auteur
  • PersonId : 1023366

Résumé

When developing SO mechanisms, mapping requirements to actual designs and implementations demands a lot of expertise. Among other things, it is important to define the right degree of freedom for the system that allows for self-organization. Back-to-back testing supports this hard engineering task by an adequate testing method helping to reveal failures in this design and implementation procedure. Within this paper we propose a model-based approach for back-to-back testing. The approach is built on top of the S# framework and integrated into the Visual Studio development environment, enabling the creation of executable test models with comprehensive tooling support for model debugging. By applying the concepts to a self-organizing production cell, we show how it is used to fully automatically reveal faults of a SO mechanism.
Fichier principal
Vignette du fichier
419911_1_En_2_Chapter.pdf (643.84 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01643712 , version 1 (21-11-2017)

Licence

Paternité

Identifiants

Citer

Benedikt Eberhardinger, Axel Habermaier, Hella Seebach, Wolfgang Reif. Back-to-Back Testing of Self-organization Mechanisms. 28th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2016, Graz, Austria. pp.18-35, ⟨10.1007/978-3-319-47443-4_2⟩. ⟨hal-01643712⟩
352 Consultations
112 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More