Back-to-Back Testing of Self-organization Mechanisms

Abstract : 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.
Type de document :
Communication dans un congrès
Franz Wotawa; Mihai Nica; Natalia Kushik. 28th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2016, Graz, Austria. Springer International Publishing, Lecture Notes in Computer Science, LNCS-9976, pp.18-35, 2016, Testing Software and Systems. 〈10.1007/978-3-319-47443-4_2〉
Liste complète des métadonnées

Littérature citée [20 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01643712
Contributeur : Hal Ifip <>
Soumis le : mardi 21 novembre 2017 - 15:52:47
Dernière modification le : mardi 21 novembre 2017 - 15:56:02

Fichier

 Accès restreint
Fichier visible le : 2019-01-01

Connectez-vous pour demander l'accès au fichier

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Benedikt Eberhardinger, Axel Habermaier, Hella Seebach, Wolfgang Reif. Back-to-Back Testing of Self-organization Mechanisms. Franz Wotawa; Mihai Nica; Natalia Kushik. 28th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2016, Graz, Austria. Springer International Publishing, Lecture Notes in Computer Science, LNCS-9976, pp.18-35, 2016, Testing Software and Systems. 〈10.1007/978-3-319-47443-4_2〉. 〈hal-01643712〉

Partager

Métriques

Consultations de la notice

23