Zusammenfassung: |
Die in englischer Sprache geschriebene Dissertation befasst sich in einer Analyse- und Implementierungsstudie mit einem hohen Ziel: Der automatischen Validation von c/c++ Programmen auf Maschinensprachebene. In dem Softwareprüfer StEAM werden subtile Programmierfehler während der Programmentwicklung aufgedeckt und den Benutzer in Form von Fehlerpfaden vergegenwärtigt. Der Ansatz erweitert eine existierende virtuelle Maschine zur Interpretation von Objektcode zu einem Werkzeug, mit dem verschiedene Programmabläufe, die sich insbesondere durch die verschiedenen Verschränkungsmöglichkeiten von Prozessen ergeben, untersucht werden können. Die Dissertation setzt sich damit deutlich von klassischen Modellprüfungsansätzen ab, die ein formales Modell statt des aktuellen Programms untersuchen. Die wesentliche Begründung dabei ist, dass sich durch die Modellierung selbst Fehler einschleichen oder verdeckt werden können. |
