Cichos, HaraldSchürr, AndyFähnrich, Klaus-PeterFranczyk, Bogdan2019-01-112019-01-112010978-3-88579-270-3https://dl.gi.de/handle/20.500.12116/19416Die 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.deText/Conference Paper1617-5468