%0 Conference Proceedings
%T Back-to-Back Testing of Self-organization Mechanisms
%+ University of Augsburg (UNIA)
%A Eberhardinger, Benedikt
%A Habermaier, Axel
%A Seebach, Hella
%A Reif, Wolfgang
%Z Part 1: Testing Methodologies
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 28th IFIP International Conference on Testing Software and Systems (ICTSS)
%C Graz, Austria
%Y Franz Wotawa
%Y Mihai Nica
%Y Natalia Kushik
%I Springer International Publishing
%3 Testing Software and Systems
%V LNCS-9976
%P 18-35
%8 2016-10-17
%D 2016
%R 10.1007/978-3-319-47443-4_2
%K Adaptive systems
%K Self-organization
%K Software engineering
%K Software testing
%K Quality assurance
%K Back-to-back testing
%K Model-based testing
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X 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.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-01643712/document
%2 https://inria.hal.science/hal-01643712/file/419911_1_En_2_Chapter.pdf
%L hal-01643712
%U https://inria.hal.science/hal-01643712
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-ICTSS
%~ IFIP-LNCS-9976