Transformation und Vergleich von endlichen Automaten zur Analyse von Software-Protokollen

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.
  • Vollständige Referenz
  • BibTeX
Vogel, G., (2007). Transformation und Vergleich von endlichen Automaten zur Analyse von Software-Protokollen. In: Herzog, O., Rödiger, K.-H., Ronthaler, M. & Koschke, R. (Hrsg.), Informatik 2007 – Informatik trifft Logistik – Band 2. Bonn: Gesellschaft für Informatik e. V.. (S. 268-274).
@inproceedings{mci/Vogel2007,
author = {Vogel, Gunther},
title = {Transformation und Vergleich von endlichen Automaten zur Analyse von Software-Protokollen},
booktitle = {Informatik 2007 – Informatik trifft Logistik – Band 2},
year = {2007},
editor = {Herzog, Otthein AND Rödiger, Karl-Heinz AND Ronthaler, Marc AND Koschke, Rainer} ,
pages = { 268-274 },
publisher = {Gesellschaft für Informatik e. V.},
address = {Bonn}
}
DateienGroesseFormatAnzeige
268.pdf169.7Kb PDF Öffnen

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

Mehr Information

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

Zur Langanzeige