Konferenzbeitrag
Transformation und Vergleich von endlichen Automaten zur Analyse von Software-Protokollen
Volltext URI
Dokumententyp
Text/Conference Paper
Dateien
Zusatzinformation
Datum
2007
Autor:innen
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Verlag
Gesellschaft für Informatik e. V.
Zusammenfassung
Der Artikel beschreibt, wie endliche Automaten für Software-Protokolle aus dem Quelltext gewonnen und durch Transformationen für die Weiterverarbeitung und den Vergleich aufbereitet werden können. Die beschriebenen Techniken werden zur Prüfung von Protokollen oder zur Herleitung von Protokollspezifikationen eingesetzt. Messergebnisse zeigen die Praktikabilität des Verfahrens.