07.07.2016, 00:00 Uhr
Experten auf der Jagd nach Programmierfehlern
Internationale Experten treffen sich an der Uni Saarbrücken zum International Symposium on Software Testing and Analysis.
Softwareentwickler müssen Kunden und Benutzern in immer kürzerer Zeit immer mehr Programme bereitstellen. Auch deswegen machen beinahe täglich spektakuläre Softwarepannen Schlagzeilen. Computerwissenschaftler wollen diese verhindern, indem sie Verfahren entwickeln, mit denen sich Programmcode ohne großen Aufwand, aber dennoch gründlich analysieren und testen lässt. Erstmals kommen nun Experten aus aller Welt zum „International Symposium on Software Testing and Analysis“ in Saarbrücken zusammen. Es findet von 18. bis 20. Juli an der Saar-Uni statt, wird vom Kompetenzzentrum für IT-Sicherheit (CISPA) organisiert und steht auch Praktikern aus der Industrie und Journalisten offen.
„Nirgendwo sonst finden Sie mehr Spitzenforscher zu Software-Test und Analyse auf engstem Raum versammelt. Nirgendwo sonst erhalten Sie einen besseren Überblick über die neuesten und vielversprechendsten Forschungsergebnisse, vorgestellt nicht nur von Wissenschaftlern, sondern auch in Form von unmittelbar einsetzbaren Werkzeugen, mit denen sich in einer Vielzahl von Programmen Fehler finden lassen“, erklärt Andreas Zeller. Der Professor für Softwaretechnik an der Universität des Saarlandes hat das Symposium federführend organisiert.
Der Bedarf für die Themen des Symposiums wird im Alltag immer offensichtlicher, da auch die Medien inzwischen immer öfter über Programmfehler berichten. Erst vor wenigen Wochen verursachte eine Softwarepanne bei der Deutschen Bank bei zahlreichen Kunden schlagartig Bauchschmerzen. Auf Kontoauszügen waren Abbuchungen vom 1. Juni doppelt erschienen. Etliche Konten rutschten ins Minus, da gerade zu Monatswechsel höhere Zahlungen für Miete, Strom und Versicherungen fällig sind. Während die Kunden sich zu recht beklagten und nach der Ursache fragten, konnte ein Sprecher der Bank nur darauf hinweisen, dass die Fehleranalyse noch nicht abgeschlossen sei. Und erst letzte Woche legte eine Rechner-Panne bei Vodafone Internet und Telefon bei 1,8 Millionen Kunden lahm.
Solche spektakulären Pannen wollen die rund 100 nach Saarbrücken eingeladenen Experten verhindern. Auf dem dreitägigen Programm des Symposiums stehen zudem Vorträge über das bessere Verständnis von komplexem Programmcode wie Vorträge zu neuartigen Testverfahren und der Analyse von Android-Apps. Weitere Themen sind paralleles Programmieren und die Herausforderung, Programmierfehler zu finden, die erst dann sichtbar werden, wenn Tausende von Anwendern die entsprechende Software gleichzeitig nutzen.
Aus dem Programm:
- Professor Lionel Brand von der Universität Luxemburg, aktueller Gewinner des „Advanced Research Grants“ des europäischen Forschungsrates und einer der produktivsten und meist zitierten Forscher in der Softwaretechnik, stellt am Montag, den 18. Juli ab 8:50 Uhr vor, wie man den Betrieb cyber-physikalischer Systeme (vernetzte Industrieanlagen, intelligente Stromnetze) durch Testen absichern kann.
- Am darauffolgenden Tag erklärt zur gleichen Zeit Professor Martin Vechev von der Eidgenössischen Technischen Hochschule Zürich, wie sich durch die Analyse riesiger Datenmengen Programmcodes (Big Code) künftige Programmierfehler vorhersagen und verschleierte Programme entschlüsseln lassen.
- Christian Holler fand bereits als Student an der Universität des Saarlandes im Rahmen seiner Abschlussarbeit mehr als 150 Programmierfehler im Webbrowser Firefox und wurde dafür von der gemeinnützigen Mozilla-Stiftung mit 53.000 US-Dollar belohnt. Am Mittwoch wird er, inzwischen Sicherheitsingenieur bei Mozilla, ab 15:15 Uhr erklären, wie er für eine Software wie Firefox, die mehr als neun Millionen Codezeilen umfasst, das Testen auf Sicherheitslücken im großen Maßstab organisiert.
[bl]
