Ä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 .

[thumbnail of LLNR.pdf]
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 View Item