OceanRep
Äquivalenzklassen mit Zeit und Zuständen.
Leucker, Martin, Löser, Moritz, Nowotka, Dirk and Rischen, Joachim (2009) Äquivalenzklassen mit Zeit und Zuständen. [Paper] In: Informatiktage. , 27 - 28 Mar 2009, Bonn . Informatiktage 2009: Fachwissenschaftlicher Informatik-Kongress. ; pp. 87-90 . Lecture Notes in Informatics .
Preview |
Text
LLNR.pdf Download (142kB) | Preview |
Abstract
In diesem Artikel wird eine Erweiterung der Klassifikationsbaummethode zur Spezifikation von Echtzeitbedingungen vorgestellt. Ferner wird ein Verfahren beschrieben, welches automatisch für die resultierenden Äquivalenzklassen Testfälle ermittelt, die somit Echtzeitinformationen beinhalten. Die vorgestellte Erweiterung erlaubt die Anwendung der Klassifikationsbaummethode zur Beschreibung von Signalverläufen mit entsprechender automatischer Testfallgenerierung und wurde in Zusammenarbeit mit Bosch Engineering entwickelt, wo sie seit kurzem erfolgreich eingesetzt wird.
Document Type: | Conference or Workshop Item (Paper) |
---|---|
Keywords: | Softwaretechnik Klassifikationsbaummethode Testen Echtzeit |
Research affiliation: | Kiel University |
Publisher: | Gesellschaft für Informatik |
Date Deposited: | 15 Feb 2013 21:00 |
Last Modified: | 23 Sep 2019 18:26 |
URI: | https://oceanrep.geomar.de/id/eprint/20530 |
Actions (login required)
View Item |
Copyright 2023 | GEOMAR Helmholtz-Zentrum für Ozeanforschung Kiel | All rights reserved
Questions, comments and suggestions regarding the GEOMAR repository are welcomed
at bibliotheksleitung@geomar.de !