pte20200618002 in Forschung
"Armada" prüft komplexe Software auf "Bugs"
Intelligentes System findet mögliche Fehler im Code mithilfe mathematischer Methoden
Michigan/Pittsburgh/Redmond (pte002/18.06.2020/06:05)
Forscher der University of Michigan http://umich.edu und der Carnegie Mellon University http://cmu.edu haben zusammen mit Microsoft Research http://microsoft.com eine Technik entwickelt, um komplexe Computerprogramme ohne traditionelle Software-Tests auf "Bugs" zu prüfen. Hierfür setzen sie auf das System "Armada", das auf Basis des Prinzips der formalen Verifikation arbeitet und mithilfe mathematischer Methoden feststellt, ob Algorithmen auch wirklich richtig funktionieren und genau das tun, was sie sollen.
Profitieren Sie von
unabhängigem Journalismus!
Lesen Sie mit pressetext Abo+ weiter und unterstützen Sie
Qualitätsberichterstattung für nur 1 EUR pro Woche!
Das Angebot beläuft sich auf 1 EUR pro Woche bzw. 49 EUR im Jahr
– und das, solange Sie wollen. Sie bleiben flexibel, denn Ihr pressetext Abo+
passt sich an Ihre Lesegewohnheiten an und ist jederzeit kündbar