Dynamische Äquivalenzklassen im Klassifikationsbaum für zustandsbehaftete Systeme
| dc.contributor.author | Cichos, Harald | |
| dc.contributor.author | Schürr, Andy | |
| dc.contributor.editor | Fähnrich, Klaus-Peter | |
| dc.contributor.editor | Franczyk, Bogdan | |
| dc.date.accessioned | 2019-01-11T10:29:46Z | |
| dc.date.available | 2019-01-11T10:29:46Z | |
| dc.date.issued | 2010 | |
| dc.description.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. | de |
| dc.identifier.isbn | 978-3-88579-270-3 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/19416 | |
| dc.language.iso | de | |
| dc.publisher | Gesellschaft für Informatik e.V. | |
| dc.relation.ispartof | INFORMATIK 2010. Service Science – Neue Perspektiven für die Informatik. Band 2 | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-176 | |
| dc.title | Dynamische Äquivalenzklassen im Klassifikationsbaum für zustandsbehaftete Systeme | de |
| dc.type | Text/Conference Paper | |
| gi.citation.endPage | 350 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 345 | |
| gi.conference.date | 27.09.-01.10.2010 | |
| gi.conference.location | Leipzig | |
| gi.conference.sessiontitle | Regular Research Papers |
Dateien
Originalbündel
1 - 1 von 1