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}
}
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}
}
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)

Content Type: Text/Conference Paper