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 Fraunhofer IPM präsentiert »Deep Learning Framework« zur automatisierten Interpretation von 3D-Daten
22.08.2017 | Fraunhofer IPM

nachricht Kieler Wissenschaft entwickelt exzellentes Forschungsdatenmanagement
21.08.2017 | ZBW – Leibniz-Informationszentrum Wirtschaft

Alle Nachrichten aus der Kategorie: Informationstechnologie >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

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

Im Focus: Wissenschaftler entdecken seltene Ordnung von Elektronen in einem supraleitenden Kristall

In einem Artikel der aktuellen Ausgabe des Forschungsmagazins „Nature“ berichten Wissenschaftler vom Max-Planck-Institut für Chemische Physik fester Stoffe in Dresden von der Entdeckung eines seltenen Materiezustandes, bei dem sich die Elektronen in einem Kristall gemeinsam in einer Richtung bewegen. Diese Entdeckung berührt eine der offenen Fragestellungen im Bereich der Festkörperphysik: Was passiert, wenn sich Elektronen gemeinsam im Kollektiv verhalten, in sogenannten „stark korrelierten Elektronensystemen“, und wie „einigen sich“ die Elektronen auf ein gemeinsames Verhalten?

In den meisten Metallen beeinflussen sich Elektronen gegenseitig nur wenig und leiten Wärme und elektrischen Strom weitgehend unabhängig voneinander durch das...

Im Focus: Wie ein Bakterium von Methanol leben kann

Bei einem Bakterium, das Methanol als Nährstoff nutzen kann, identifizierten ETH-Forscher alle dafür benötigten Gene. Die Erkenntnis hilft, diesen Rohstoff für die Biotechnologie besser nutzbar zu machen.

Viele Chemiker erforschen derzeit, wie man aus den kleinen Kohlenstoffverbindungen Methan und Methanol grössere Moleküle herstellt. Denn Methan kommt auf der...

Im Focus: Topologische Quantenzustände einfach aufspüren

Durch gezieltes Aufheizen von Quantenmaterie können exotische Materiezustände aufgespürt werden. Zu diesem überraschenden Ergebnis kommen Theoretische Physiker um Nathan Goldman (Brüssel) und Peter Zoller (Innsbruck) in einer aktuellen Arbeit im Fachmagazin Science Advances. Sie liefern damit ein universell einsetzbares Werkzeug für die Suche nach topologischen Quantenzuständen.

In der Physik existieren gewisse Größen nur als ganzzahlige Vielfache elementarer und unteilbarer Bestandteile. Wie das antike Konzept des Atoms bezeugt, ist...

Im Focus: Unterwasserroboter soll nach einem Jahr in der arktischen Tiefsee auftauchen

Am Dienstag, den 22. August wird das Forschungsschiff Polarstern im norwegischen Tromsø zu einer besonderen Expedition in die Arktis starten: Der autonome Unterwasserroboter TRAMPER soll nach einem Jahr Einsatzzeit am arktischen Tiefseeboden auftauchen. Dieses Gerät und weitere robotische Systeme, die Tiefsee- und Weltraumforscher im Rahmen der Helmholtz-Allianz ROBEX gemeinsam entwickelt haben, werden nun knapp drei Wochen lang unter Realbedingungen getestet. ROBEX hat das Ziel, neue Technologien für die Erkundung schwer erreichbarer Gebiete mit extremen Umweltbedingungen zu entwickeln.

„Auftauchen wird der TRAMPER“, sagt Dr. Frank Wenzhöfer vom Alfred-Wegener-Institut, Helmholtz-Zentrum für Polar- und Meeresforschung (AWI) selbstbewusst. Der...

Im Focus: Mit Barcodes der Zellentwicklung auf der Spur

Darüber, wie sich Blutzellen entwickeln, existieren verschiedene Auffassungen – sie basieren jedoch fast ausschließlich auf Experimenten, die lediglich Momentaufnahmen widerspiegeln. Wissenschaftler des Deutschen Krebsforschungszentrums stellen nun im Fachjournal Nature eine neue Technik vor, mit der sich das Geschehen dynamisch erfassen lässt: Mithilfe eines „Zufallsgenerators“ versehen sie Blutstammzellen mit genetischen Barcodes und können so verfolgen, welche Zelltypen aus der Stammzelle hervorgehen. Diese Technik erlaubt künftig völlig neue Einblicke in die Entwicklung unterschiedlicher Gewebe sowie in die Krebsentstehung.

Wie entsteht die Vielzahl verschiedener Zelltypen im Blut? Diese Frage beschäftigt Wissenschaftler schon lange. Nach der klassischen Vorstellung fächern sich...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

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

International führende Informatiker in Paderborn

21.08.2017 | Veranstaltungen

Wissenschaftliche Grundlagen für eine erfolgreiche Klimapolitik

21.08.2017 | Veranstaltungen

DGI-Forum in Wittenberg: Fake News und Stimmungsmache im Netz

21.08.2017 | Veranstaltungen

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

Fraunhofer IPM präsentiert »Deep Learning Framework« zur automatisierten Interpretation von 3D-Daten

22.08.2017 | Informationstechnologie

Globale Klimaextreme nach Vulkanausbrüchen

22.08.2017 | Geowissenschaften

RWI/ISL-Containerumschlag-Index erreicht neuen Höchstwert

22.08.2017 | Wirtschaft Finanzen