idw – Informationsdienst Wissenschaft
Nachrichten, Termine, Experten
Nachrichten, Termine, Experten
idw - Informationsdienst
Wissenschaft
Wenn große Computerprogramme plötzlich abstürzen und ganze Flughäfen oder Handelsfirmen lahm legen, sind daran oft nur kleine Softwarefehler schuld. Informatiker der Universität des Saarlandes haben jetzt ein Verfahren entwickelt, mit dem diese Fehler gleich entdeckt und automatisch wieder behoben werden. Das "Pachika" genannte System wird umfangreichen Computerprogrammen als eigenständiges Reparatur-Set einfach hinzugefügt. Das Forscherteam um Andreas Zeller, Professor für Softwaretechnik der Universität des Saarlandes, wird das neue Projekt auf der Computermesse Cebit 2010 in Hannover vom 2. bis 6. März am saarländischen Forschungsstand (Halle 9, Stand B 43) vorstellen.
Pachika ist der ostafrikanische Sprache Suaheli entnommen und bedeutet so viel wie "einsetzen und reparieren". Genau dies macht die Softwarebibliothek, die von dem Doktoranden Valentin Dallmeier im Team von Professor Andreas Zeller entwickelt wurde. Sie wird in ein bestehendes Computerprogramm eingefügt und beobachtet dort ähnlich wie eine Überwachungskamera, was das Programm während seiner Ausführung genau macht. Hängt sich das Programm an einer bestimmten Stelle selbst auf oder stürzt komplett ab, analysiert das Pachika-System sofort, wie sich der fehlerhafte Programmlauf von den vorhergehenden unterschieden hat. Ohne weiteres Eingreifen eines Programmierers repariert das System dann automatisch diese Fehlfunktion. Im Laborversuch konnten damit in einem von sechs Fällen große Java-Programme mit Millionen von Code-Zeilen selbständig repariert werden. "Bei Tausenden von Softwarefehlern, die täglich den Programmierern das Leben schwer machen, stimmen uns diese Zahlen sehr optimistisch", sagt Professor Zeller.
Das Pachika-System ist Teil des Forschungsprojekts "Autofix", das von der Deutschen Forschungsgemeinschaft (DFG) und der Schweizer Hasler Stiftung gefördert wird. Projektpartner ist Professor Bertrand Meyer von der Eidgenössischen Technischen Hochschule Zürich (ETH). Das Team von Professor Andreas Zeller stellt auf der Cebit 2010 außerdem Verfahren vor, mit denen in Programme gezielt Fehler gestreut werden, um damit Fehler zu finden. Außerdem wird Programmierern auf einer Web-Plattform gezeigt, ob ihr Programm den Regeln folgt, die von der Mehrheit der anderen Programmierer für richtig befunden wurden.
Am Dienstag, 2. März steht Prof. Andreas Zeller am Forschungsstand des Saarlandes (Halle 9, Stand B 43) für Interviews zur Verfügung. An allen anderen Messetagen erläutern seine Mitarbeiter interessierten Journalisten das Pachika-System.
Pressefotos unter: www.uni-saarland.de/pressefotos
Fragen beantworten Ihnen:
Prof. Dr. Andreas Zeller
Lehrstuhl für Softwaretechnik, Universität des Saarlandes
Tel.: 0681/302-64011
E-Mail: zeller@cs.uni-sb.de
Valentin Dallmeier
Lehrstuhl für Softwaretechnik, Universität des Saarlandes
Tel.: 0681/302- 64780
E-Mail: dallmeier@st.cs.uni-sb.de
Friederike Meyer zu Tittingdorf
Tel. 0681 / 302-3610
Tel. 0511 / 89 49 70 37 (Cebit-Messetelefon)
Mobil 0151 / 11 37 16 32
Hinweis für Hörfunk-Journalisten: Sie können Telefoninterviews in Studioqualität mit Wissenschaftlern und Studenten der Universität des Saarlandes führen, über Rundfunk-ISDN-Codec. Interviewwünsche bitte an die Pressestelle (0681/302-3610) richten.
http://www.st.cs.uni-saarland.de
Informatiker der Universität des Saarlandes haben ein Verfahren entwickelt, mit dem Softwarefehler g ...
bellhäuser - das bilderwerk
None
Criteria of this press release:
Information technology
transregional, national
Research projects, Transfer of Science or Research
German
You can combine search terms with and, or and/or not, e.g. Philo not logy.
You can use brackets to separate combinations from each other, e.g. (Philo not logy) or (Psycho and logy).
Coherent groups of words will be located as complete phrases if you put them into quotation marks, e.g. “Federal Republic of Germany”.
You can also use the advanced search without entering search terms. It will then follow the criteria you have selected (e.g. country or subject area).
If you have not selected any criteria in a given category, the entire category will be searched (e.g. all subject areas or all countries).
