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

Philipp Goettlich stellt ein Konzept zum automatisierten Testen von numerischen Fehlern in Softwaresystemen mit physikbasierten Berechnungen vor und gibt dabei einen weitreichenden UEberblick 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 prazisen 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 fur weitere Studien.