Dynamische Äquivalenzklassen im Klassifikationsbaum für zustandsbehaftete Systeme

Zusammenfassung
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.
  • Vollständige Referenz
  • 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 Öffnen

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

Mehr Information

ISBN: 978-3-88579-270-3
ISSN: 1617-5468
Datum: 2010
Sprache: de (de)
Typ: Text/Conference Paper
Sammlungen

Zur Langanzeige