Forum für Wissenschaft, Industrie und Wirtschaft

Hauptsponsoren:     3M 
Datenbankrecherche:

 

Wie kann man Programmierfehlern in großen Softwaresystemen vorbeugen?

30.09.2010
Wenn Software-Systeme verändert werden, liegt die Wahrscheinlichkeit bei etwa fünfzig Prozent, dass man einen neuen Fehler in das System einbaut.

Ein Forscherteam um Andreas Zeller, Professor für Softwaretechnik an der Universität des Saarlandes, hat daher ein Verfahren entwickelt, mit dem das Fehler-Risiko eines Software-Systems errechnet wird. Die Programmierer können dann vor Fehlschritten gewarnt werden. Um die Forschungen auf diesem Gebiet weiter zu vertiefen, erhalten die Saarbrücker Wissenschaftler jetzt den mit 80.000 Dollar dotierten Google Research Award.

Eine kleine Software-Änderung und gleich ein neuer Fehler im System? Dieser Gefahr wollen Professor Andreas Zeller von der Universität des Saarlandes und sein Forscherteam vorbeugen. Die Wissenschaftler haben ein Programm entwickelt, das Fehlerdatenbanken von Software-Systemen genau analysiert. Es stellt dabei fest, wo in der Vergangenheit schon Probleme aufgetreten sind und welche Befehlszeilen dabei bearbeitet wurden. Wenn ein Programmierer dann einzelne Programmteile verändern möchte, öffnet sich am Bildschirm ein Popup-Fenster und warnt rechtzeitig vor Risiken und neuen Fehlern. "Man kann sich das wie das Schild ‚Achtung Rutschgefahr’ im Straßenverkehr vorstellen. Für den Programmierer sehen viele Wege erst harmlos aus, sie können sich aber bei Veränderungen zu üblen Stolperfallen entwickeln", sagt Andreas Zeller.

Für die Entwicklung neuer Verfahren, die vor solchen Programmierfallen warnen, vergibt der Schweizer Suchmaschinen-Betreiber jetzt den Google Research Award. Für die Forschungsarbeiten von Andreas Zeller und seinem Team stellt Google selbst Daten zur Verfügung. In den vergangenen Jahren hat Professor Zeller bereits die Fehlerdatenbanken von Microsoft und SAP analysiert und Vorhersagen getroffen, in welchen Programmteilen das Fehlerrisiko am höchsten ist.

Andreas Zeller ist Professor für Softwaretechnik an der Universität des Saarlandes. Zu seinen aktuellen Forschungsthemen gehören neben der Analyse von Software-Archiven („Wo sind die Software-Fehler?“) die automatische Fehlersuche („Warum stürzt mein Programm ab?“) sowie das systematische Testen von Programmen. Im Jahre 2009 erhielt seine Arbeit zur automatischen Fehlersuche den ACM SIGSOFT Impact Paper Award als einflussreichster Softwaretechnik-Beitrag des Jahres 1999.

Fragen beantwortet:

Prof. Dr. Andreas Zeller
Lehrstuhl für Softwaretechnik
Tel.: 0681 / 302-70971
E-Mail: zeller@cs.uni-saarland.de
Hinweis für Hörfunk-Journalisten: Sie können Telefoninterviews in Studioqualität mit Wissenschaftlern der Universität des Saarlandes führen, über Rundfunk-ISDN-Codec. Interviewwünsche bitte an die Pressestelle (0681/302-3610) richten.

Friederike Meyer zu Tittingdorf | idw
Weitere Informationen:
http://www.st.cs.uni-saarland.de

Weitere Nachrichten aus der Kategorie Informationstechnologie:

nachricht Schutz vor Angriffen dank flexibler Programmierung
22.03.2017 | FZI Forschungszentrum Informatik am Karlsruher Institut für Technologie

nachricht Störungsfreie Kommunikation für die Fabriken von morgen
22.03.2017 | Hochschule für Technik, Wirtschaft und Kultur Leipzig

Alle Nachrichten aus der Kategorie: Informationstechnologie >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

Die letzten 5 Focus-News des innovations-reports im Überblick:

Im Focus: Fliegende Intensivstationen: Ultraschallgeräte in Rettungshubschraubern können Leben retten

Etwa 21 Millionen Menschen treffen jährlich in deutschen Notaufnahmen ein. Im Kampf zwischen Leben und Tod zählt für diese Patienten jede Minute. Wenn sie schon kurz nach dem Unfall zielgerichtet behandelt werden können, verbessern sich ihre Überlebenschancen erheblich. Damit Notfallmediziner in solchen Fällen schnell die richtige Diagnose stellen können, kommen in den Rettungshubschraubern der DRF Luftrettung und zunehmend auch in Notarzteinsatzfahrzeugen mobile Ultraschallgeräte zum Einsatz. Experten der Deutschen Gesellschaft für Ultraschall in der Medizin e.V. (DEGUM) schulen die Notärzte und Rettungsassistenten.

Mit mobilen Ultraschallgeräten können Notärzte beispielsweise innere Blutungen direkt am Unfallort identifizieren und sie bei Bedarf auch für Untersuchungen im...

Im Focus: Gigantische Magnetfelder im Universum

Astronomen aus Bonn und Tautenburg in Thüringen beobachteten mit dem 100-m-Radioteleskop Effelsberg Galaxienhaufen, das sind Ansammlungen von Sternsystemen, heißem Gas und geladenen Teilchen. An den Rändern dieser Galaxienhaufen fanden sie außergewöhnlich geordnete Magnetfelder, die sich über viele Millionen Lichtjahre erstrecken. Sie stellen die größten bekannten Magnetfelder im Universum dar.

Die Ergebnisse werden am 22. März in der Fachzeitschrift „Astronomy & Astrophysics“ veröffentlicht.

Galaxienhaufen sind die größten gravitativ gebundenen Strukturen im Universum, mit einer Ausdehnung von etwa zehn Millionen Lichtjahren. Im Vergleich dazu ist...

Im Focus: Giant Magnetic Fields in the Universe

Astronomers from Bonn and Tautenburg in Thuringia (Germany) used the 100-m radio telescope at Effelsberg to observe several galaxy clusters. At the edges of these large accumulations of dark matter, stellar systems (galaxies), hot gas, and charged particles, they found magnetic fields that are exceptionally ordered over distances of many million light years. This makes them the most extended magnetic fields in the universe known so far.

The results will be published on March 22 in the journal „Astronomy & Astrophysics“.

Galaxy clusters are the largest gravitationally bound structures in the universe. With a typical extent of about 10 million light years, i.e. 100 times the...

Im Focus: Auf der Spur des linearen Ubiquitins

Eine neue Methode ermöglicht es, den Geheimcode linearer Ubiquitin-Ketten zu entschlüsseln. Forscher der Goethe-Universität berichten darüber in der aktuellen Ausgabe von "nature methods", zusammen mit Partnern der Universität Tübingen, der Queen Mary University und des Francis Crick Institute in London.

Ubiquitin ist ein kleines Molekül, das im Körper an andere Proteine angehängt wird und so deren Funktion kontrollieren und verändern kann. Die Anheftung...

Im Focus: Tracing down linear ubiquitination

Researchers at the Goethe University Frankfurt, together with partners from the University of Tübingen in Germany and Queen Mary University as well as Francis Crick Institute from London (UK) have developed a novel technology to decipher the secret ubiquitin code.

Ubiquitin is a small protein that can be linked to other cellular proteins, thereby controlling and modulating their functions. The attachment occurs in many...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

IHR
JOB & KARRIERE
SERVICE
im innovations-report
in Kooperation mit academics
Veranstaltungen

Lebenswichtige Lebensmittelchemie

23.03.2017 | Veranstaltungen

Die „Panama Papers“ aus Programmierersicht

22.03.2017 | Veranstaltungen

Über Raum, Zeit und Materie

22.03.2017 | Veranstaltungen

 
VideoLinks
B2B-VideoLinks
Weitere VideoLinks >>>
Aktuelle Beiträge

Besser lernen dank Zink?

23.03.2017 | Biowissenschaften Chemie

Lebenswichtige Lebensmittelchemie

23.03.2017 | Veranstaltungsnachrichten

Innenraum-Ortung für dynamische Umgebungen

23.03.2017 | Architektur Bauwesen