Auflistung nach Autor:in "Seebach, Hella"
1 - 5 von 5
Treffer pro Seite
Sortieroptionen
- ZeitschriftenartikelAdaptive Tests for Adaptive Systems: The Need for New Concepts in Testing for Future Software Systems(Softwaretechnik-Trends Band 38, Heft 1, 2018) Eberhardinger, Benedikt; Seebach, Hella; Reichstaller, André; Knapp, Alexander; Reif, WolfgangSoftware testing plays a major role for engineering future systems that become more and more adaptive to their environment. In order to fulfill the high demand, test automation is needed as a keystone. However, test automation, as it is used today, is counting on captureand-replay-like scripting and is thus not able to keep up with intelligent systems. Therefore, we ask for an adaptive test automation and propose a model-based approach that enables self-awareness as well as awareness of the system under test which is used for automation of the test suites.
- ZeitschriftenartikelApplying Deep Learning For Imitating Adaptive Agent Behavior in Statistical Software Testing(Softwaretechnik-Trends Band 38, Heft 1, 2018) Reichstaller, André; Eberhardinger, Benedikt; Seebach, Hella; Knapp, Alexander; Reif, WolfgangStatistical test generation builds on profiles which describe the estimated conditions of the system under test’s environment. Such environmental profiles, however, do not directly provide us with inputs for testing particular system components, as those mostly depend on the output of others. We thus a additionally need to estimate this output if we want to maintain statistical accuracy. Instantiating this task for the isolated testing of self-organization mechanisms between adaptive agents, this paper investigates the application of deep learning techniques for imitating the agents’ output. The proposed technique is evaluated on a simulated self-organizing grid of power plants.
- ZeitschriftenartikelA Framework for Testing Self-organisation Algorithms(Softwaretechnik-Trends Band 35, Heft 1, 2015) Eberhardinger, Benedikt; Anders, Gerrit; Seebach, Hella; Siefert, Florian; Reif, WolfgangThe characteristics of self-organising, adaptive systems (SOAS) lead to a significantly higher flexibility and robustness against an ever-changing environment. This flexibility makes it hard to test these systems adequately, which is, however, inevitable in order to assure their quality. As a part of our vision of testing SOAS, we present a framework for testing selforganisation (SO) algorithms. The framework addresses the following key challenges for testing SO algorithms: state space explosion, interleaved feedback loops, and failure overlapping.
- TextdokumentKonstruktion selbst-organisierender Softwaresysteme(Ausgezeichnete Informatikdissertationen 2011, ) Seebach, HellaSelbst-Organisation ist die Fähigkeit eines Systems, ohne externe Eingriffe die eigene Struktur zu verändern. Sie ermöglicht es somit, dass ein System selbständig sowohl auf interne Veränderungen als auch auf Umweltveränderungen reagieren kann. Dieses Phänomen wird in vielen Disziplinen wie der Physik, der Philosophie und der Biologie untersucht. In der Informatik wurde die Forschung in Richtung dieser Eigenschaft ebenfalls intensiviert. Es wird analysiert, wie Selbst-Organisationsmechanismen, die in der Natur beobachtbar sind, auf Informatiksysteme übertragen werden können. Das Ziel ist es, die steigende Komplexität der Computersysteme in den Griff zu bekommen und die Systeme robuster gegenüber Veränderungen der Umwelt zu machen. In dieser Dissertation wurde ein Verfahren entwickelt, mit dem solche selbst-organisierenden Softwaresysteme top-down, standardisiert und reproduzierbar konstruiert werden können. Eine der größten Herausforderungen war dabei, mit dem nicht vorhersagbaren Verhalten der Systeme umzugehen.
- KonferenzbeitragTowards safe and secure organic computing applications(INFORMATIK 2006 – Informatik für Menschen, Band 1, 2006) Güdemann, Matthias; Nafz, Florian; Reif, Wolfgang; Seebach, HellaIn this paper we present our ongoing work on “Organic Computing”. We present an illustrative case study from program automation that uses OC-paradigms to be failure tolerant and to produce effectively. We present a way to build and verify a formal model of a self-adaptive system. We also give further ideas for formal modeling and our ideas of safety analysis of such systems. Another topic is how to build descriptive models and devising development processes for them.