Login
- Originaltitel:
- Methods for the Diagnosis and Automatic Repair of Software Systems
- Übersetzter Titel:
- Methoden für die Diagnose und Automatische Korrektur von Software Systemen
- Autor:
- Kern, Christian
- Jahr:
- 2013
- Dokumenttyp:
- Dissertation
- Fakultät/School:
- Fakultät für Informatik
- Betreuer:
- Esparza Estaun, Francisco Javier (Prof. Dr. Dr. h.c.)
- Gutachter:
- Esparza Estaun, Francisco Javier (Prof. Dr. Dr. h.c.); Heljanko, Keijo (Prof.)
- Sprache:
- en
- Fachgebiet:
- DAT Datenverarbeitung, Informatik
- Schlagworte (SWD):
- Debugging; Automation
- TU-Systematik:
- DAT 330d
- Kurzfassung:
- In this thesis we make two contributions to the general problem of automatically diagnosing and correcting bugs in software systems. In the first contribution, we use a catalogue of error prone program code together with search techniques to fix faulty Java Code. In the second contribution, we consider model based approaches for partially observable, distributed systems with alarms. For the alarm explanation, we present new approaches based on Petri net unfoldings.
- Übersetzte Kurzfassung:
- Diese Arbeit stellt zwei Beiträge für die automatische Diagnose und Korrektur von Softwaresystemen vor. Im ersten Beitrag nutzen wir einen Katalog von fehleranfälligen Quellcode zusammen mit Suchmethoden um Programmfehler in Java Code automatisch zu korrigieren. Im zweiten Beitrag präsentieren wir modellbasierte Ansätze für die Diagnose von partiell beobachtbaren, verteilten Systemen mit Alarmen. Für die Alarmerklärung stellen wir Verfahren vor, die auf Petrinetz-Entfaltungen basieren.
- WWW:
- https://mediatum.ub.tum.de/?id=1135401
- Eingereicht am:
- 22.02.2013
- Mündliche Prüfung:
- 28.06.2013
- Dateigröße:
- 3862277 bytes
- Seiten:
- 134
- Urn (Zitierfähige URL):
- https://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20130628-1135401-0-8
- Letzte Änderung:
- 09.10.2015
BibTeX