Dynamische Äquivalenzklassen im Klassifikationsbaum für zustandsbehaftete Systeme

Abstract
Die Klassifikationsbaummethode ist eine weit verbreitete funktionsorientierte Methode zum Test von kombinatorischen Systemen. In der vorliegenden Arbeit wird eine Erweiterung der Klassifikationsbaummethode vorgestellt, die es ermöglicht, gültige und konkrete Testsequenzen auch für zustandsbehaftete Systeme abzuleiten. Zu diesem Zweck werden die im Klassifikationsbaum enthaltenen Äquivalenzklassen in Abhängigkeit vom Zustand des verhaltensbeschreibenden Testmodells aus diesem dynamisch erzeugt.
  • Citation
  • BibTeX
Cichos, H. & Schürr, A., (2010). Dynamische Äquivalenzklassen im Klassifikationsbaum für zustandsbehaftete Systeme. In: Fähnrich, K.-P. & Franczyk, B. (Hrsg.), INFORMATIK 2010. Service Science – Neue Perspektiven für die Informatik. Band 2. Bonn: Gesellschaft für Informatik e.V.. (S. 345-350).
@inproceedings{mci/Cichos2010,
author = {Cichos, Harald AND Schürr, Andy},
title = {Dynamische Äquivalenzklassen im Klassifikationsbaum für zustandsbehaftete Systeme},
booktitle = {INFORMATIK 2010. Service Science – Neue Perspektiven für die Informatik. Band 2},
year = {2010},
editor = {Fähnrich, Klaus-Peter AND Franczyk, Bogdan} ,
pages = { 345-350 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
DateienGroesseFormatAnzeige
345.pdf182.7Kb PDF View/Open

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Send Feedback

More Info

ISBN: 978-3-88579-270-3
ISSN: 1617-5468
xmlui.MetaDataDisplay.field.date: 2010
Language: de (de)
Content Type: Text/Conference Paper
Collections

Show full item record