„Fehler in Software sind allgegenwärtig. Wenn eine App wegen eines Fehlers ab und zu abstürzt ist das schon lästig, wenn die Software in einem Fahrzeug oder Flugzeug Fehler hat, sind die Auswirkungen aber potentiell dramatisch. Um zu verhindern, dass Software fehlerhaft ist, verfolge ich vor allem drei Ansatzpunkte in der Forschung: Ist der Code bereits geschrieben, verwendet man automatisierte Analysen, um Fehler darin zu finden, beispielsweise indem man Programme automatisiert ausführt und nach Programmabstürzen sucht. Aber auch schon während Softwareentwicklerinnen und Softwareentwickler den Code erstellen kann man ihnen automatisierte Programmanalysen zur Seite stellen, die sie dabei unterstützen, besseren Code zu schreiben. Letztendlich ist es auch eine Frage der Programmierausbildung, weshalb wir Lernende schon ab den ersten Schritten in der Programmierung dabei begleiten und versuchen, ihre Ausbildung zu verbessern.“
Prof. Gordon Fraser beschäftigt sich in seiner Forschung mit Softwareanalyse, Softwareentwicklung, und Didaktik der Programmierung. Im Fokus stehen dabei die Fragen, wie man Fehler in Software verhindern kann und wie man und Softwareentwickler und Softwarentwicklerinnen produktiver macht, beispielsweise durch KI-basierte Analysen oder durch Verbesserung der Programmierausbildung.
