Automatisierter Test numerischer Fehler in Softwaresystemen mit physikbasierten Berechnungen fr eingebettete Systeme

Philipp Gttlich stellt ein Konzept zum automatisierten Testen von numerischen Fehlern in Softwaresystemen mit physikbasierten Berechnungen vor und gibt dabei einen weitreichenden berblick der Arten und Auswirkungen numerischer Fehler. Die wesentlichen Neuerungen des Konzepts spiegeln sich in der optimierungsbasierten Erzeugung geeigneter Testsignale und den Back-to-Back Tests einzelner Entwicklungsartefakte zur przisen Fehlerlokalisierung wider. Am Beispiel von drei Softwaresystemen eines aktuellen Forschungsprojektes und dem Vergleich mit Referenztests wird die hohe Effizienz des Ansatzes bei der Analyse nachgewiesen. Auch die Erweiterbarkeit des Ansatzes wird im Verlauf der Arbeit demonstriert und dient als Ausgangspunkt fr weitere Studien.