Abo
  • Services:
Anzeige

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.

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.

Anzeige

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.


eye home zur Startseite
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. ;-)

Grinskeks 18. Feb 2010

Sich selbst schwenkende Schwenker werden mit Ur-Pils angetrieben ;-) Mein pers. Ziel ist...



Anzeige

Stellenmarkt
  1. ROHDE & SCHWARZ SIT GmbH, Stuttgart
  2. Hornetsecurity GmbH, Hannover
  3. Rohde & Schwarz Cybersecurity GmbH, Leipzig
  4. Warner Music Group Germany Holding GmbH, Hamburg


Anzeige
Hardware-Angebote
  1. 444,00€ + 4,99€ Versand
  2. täglich neue Deals

Folgen Sie uns
       


  1. Digital Paper DPT-RP1

    Sonys neuer E-Paper-Notizblock wird 700 US-Dollar kosten

  2. USB Typ C Alternate Mode

    Thunderbolt-3-Docks von Belkin und Elgato ab Juni

  3. Sphero Lightning McQueen

    Erst macht es Brummbrumm, dann verdreht es die Augen

  4. VLC, Kodi, Popcorn Time

    Mediaplayer können über Untertitel gehackt werden

  5. Engine

    Unity bekommt 400 Millionen US-Dollar Investorengeld

  6. Neuauflage

    Neues Nokia 3310 soll bei Defekt komplett ersetzt werden

  7. Surface Studio

    Microsofts Grafikerstation kommt nach Deutschland

  8. Polar

    Fitnesstracker A370 mit Tiefschlaf- und Pulsmessung

  9. Schutz

    Amazon rechtfertigt Sperrungen von Marketplace-Händlern

  10. CPU-Architektur

    RISC-V-Patches für Linux erstmals eingereicht



Haben wir etwas übersehen?

E-Mail an news@golem.de


Anzeige
Quantencomputer: Nano-Kühlung für Qubits
Quantencomputer
Nano-Kühlung für Qubits
  1. IBM Q Mehr Qubits von IBM
  2. Quantencomputer Was sind diese Qubits?
  3. Verschlüsselung Kryptographie im Quantenzeitalter

Tado im Langzeittest: Am Ende der Heizperiode
Tado im Langzeittest
Am Ende der Heizperiode
  1. Speedport Smart Telekom bringt Smart-Home-Funktionen auf den Speedport
  2. Tapdo Das Smart Home mit Fingerabdrücken steuern
  3. Mehr Möbel als Gadget Eine Holzfernbedienung für das Smart Home

Blackberry Keyone im Test: Tolles Tastatur-Smartphone hat zu kurze Akkulaufzeit
Blackberry Keyone im Test
Tolles Tastatur-Smartphone hat zu kurze Akkulaufzeit
  1. Blackberry Keyone kommt Mitte Mai
  2. Keyone Blackberrys neues Tastatur-Smartphone kommt später
  3. Blackberry Keyone im Hands on Android-Smartphone mit toller Hardware-Tastatur

  1. Re: Teure und nur eingeschränkt nutzbare Spielerei

    WonderGoal | 16:29

  2. Re: Warum überhaupt VLC nutzen

    __destruct() | 16:27

  3. Re: Preis für was?

    WonderGoal | 16:24

  4. Re: Itx gehäuse immer teurer?

    mgra | 16:24

  5. Re: Gutes Konzept... schrottiges OS, und dann 4000¤

    Kleba | 16:23


  1. 10:10

  2. 09:59

  3. 09:00

  4. 18:58

  5. 18:20

  6. 17:59

  7. 17:44

  8. 17:20


  1. Themen
  2. A
  3. B
  4. C
  5. D
  6. E
  7. F
  8. G
  9. H
  10. I
  11. J
  12. K
  13. L
  14. M
  15. N
  16. O
  17. P
  18. Q
  19. R
  20. S
  21. T
  22. U
  23. V
  24. W
  25. X
  26. Y
  27. Z
  28. #
 
    •  / 
    Zum Artikel