Anbieter zum Thema

Bildergalerien

SQL-​Datenbanken (Structured Query Language) bilden das Rückgrat der Informatik. ETH-​Forscher haben nun Methoden entwickelt, die darin automatisch logische Fehler finden.  (Bild: gemeinfrei)

450 logische Fehler in populären Datenbanken aufgespürt

Datenbanken müssen immer leistungsfähiger werden. Darunter scheint jedoch die Zuverlässigkeit zu leiden. Jetzt haben ETH-​Informatiker ein Tool entwickelt, das mit drei unterschiedlichen Methoden automatisch logische Fehler in Datenbanksystemen aufspürt. Bisher konnten damit über 450 Bugs gefunden und behoben werden.

Weiterlesen