Saarländer erforschen sich selbst reparierende Software

Neues Verfahren findet und beseitigt Fehler automatisch

Auf der Cebit 2010 wollen Wissenschaftler der Universität des Saarlandes ihr System "Pachika" vorstellen. Das Konzept kann nach einem Absturz eines Programms durch einen Bug feststellen, wo der Fehler sitzt - und ihn auch gleich beseitigen.

Artikel veröffentlicht am ,

Am Lehrstuhl für Softwaretechnik in Saarbrücken entsteht derzeit das System Pachika. Der Name erinnert zwar an "Patch", ist aber ein Wort in Suaheli, das laut der Wissenschaftler so viel wie "einsetzen und reparieren" bedeutet. Pachika soll Programme zur Laufzeit überwachen und Abstürze feststellen.

Läuft das System wieder, soll Pachika den Fehler erkennen und reparieren. Die Software patcht sich also selbst. Realisiert wird das über eine Bibliothek, die in das Programm eingeklinkt wird und dessen Aktionen überwacht. Dabei werden die Abläufe protokolliert und verglichen.

In Laborversuchen wollen die Saarländer in einem von sechs Fällen damit erfolgreich gewesen sein, die Trefferquote liegt also bei etwa 17 Prozent. Untersucht wurden dafür laut einer Mitteilung der Universität Java-Programme mit Millionen von Zeilen.

Auch wenn die Erkennungsrate auf den ersten Blick noch niedrig erscheint, freut sich der Leiter des Projekts, Professor Andreas Zeller: "Bei Tausenden von Softwarefehlern, die täglich den Programmierern das Leben schwer machen, stimmen uns diese Zahlen sehr optimistisch".

Zeller beschäftigt sich schon seit Jahren mit der Erkennung von Softwarefehlern. Von ihm stammt auch das erstmals 2005 erschienene Buch "Why programs fail", das sich mit Debugging beschäftigt. Sein Team hat außerdem einige Plugins für die Entwicklungsumgebung Eclipse erstellt. Das neue Projekt Pachika will die Universität des Saarlandes auf der Cebit 2010 ausführlich zeigen.

Bitte aktivieren Sie Javascript.
Oder nutzen Sie das Golem-pur-Angebot
und lesen Golem.de
  • ohne Werbung
  • mit ausgeschaltetem Javascript
  • mit RSS-Volltext-Feed


16Bitiges Bit 19. Feb 2010

Java hat doch auch Assertions.

Keulosus 19. Feb 2010

1. Ist das kein OS abhängiges Problem 2. Wirst du mit zsh solche Probleme nicht haben

Weltweites... 18. Feb 2010

Die Backups sichern die Diplomarbeit. Nicht latex. latex+cygwin/vim hat mir nach der...

blablablubb 18. Feb 2010

DualKopp™ - Do more. ;-)



Aktuell auf der Startseite von Golem.de
OpenAI
Girlfriend-Chatbots verstoßen gegen die Regeln des GPT-Store

Nur einen Tag, nachdem OpenAI ChatGPT für Entwickler geöffnet hat, lassen sich Angebote finden, die es nicht geben dürfte.

OpenAI: Girlfriend-Chatbots verstoßen gegen die Regeln des GPT-Store
Artikel
  1. LTE: Kaum weniger Funklöcher in Deutschland
    LTE
    Kaum weniger Funklöcher in Deutschland

    Während bei 5G viel ausgebaut wurde, haben die Netzbetreiber zu wenig LTE-Funklöcher geschlossen. Das ergab zumindest eine Auswertung von Verivox.

  2. AVM: Huawei-Patent kommt in Fritzboxen nicht zum Einsatz
    AVM
    Huawei-Patent kommt in Fritzboxen nicht "zum Einsatz"

    Huawei hat einen großen Patentpool zu Wi-Fi 6. Fritzbox-Hersteller AVM hat die Patente nach eigenen Angaben in seinen Wi-Fi-6-Routern nicht genutzt, will sie aber dennoch für ungültig erklären lassen.

  3. E-Corner: Hyundai entwickelt Klappräder zum seitlichen Einparken
    E-Corner
    Hyundai entwickelt Klappräder zum seitlichen Einparken

    Die Hyundai-Tochter Mobis präsentiert eine Technik, mit der sich die Autoräder seitlich drehen lassen, um das parallele Einparken zu erleichtern.

Du willst dich mit Golem.de beruflich verändern oder weiterbilden?
Zum Stellenmarkt
Zur Akademie
Zum Coaching
  • Schnäppchen, Rabatte und Top-Angebote
    Die besten Deals des Tages
    • Daily Deals • Lenovo 34" 21:9 Curved WQHD 299€ • ASRock RX 7900 XTX 1.039,18€ • War Hospital 21,59€ • Amazon-Geräte -50% • Acer 34" OLED UWQHD 175Hz 999€ • PS5 + Spider-Man 2 569€ • AMD Ryzen 9 5950X 379€ • Switch-Controller 17,84€ • AOC 27" QHD 165Hz 229€ • 3 Spiele für 49€ [Werbung]
    •  /