DARPA dreht sich zu Software-Schwachstellen in ein Spiel finden
Es gibt keinen Weg "rund um die Tatsache, dass Millionen von Zeilen Softwarecode für Schwachstellen scannen eine lästige Pflicht ist. Aber jetzt DARPA ist daran interessiert, freiwillige Helfer aus – durch verwandelte sie in ein Spiel.
DARPA neue Crowd Sourced formale Verifikation Initiative setzt freiwillige es Codeschwachstellen zu finden. Die fünf kostenlose Spiele online gespielt werden können – oder im XylemFall auf dem iPad. Computerwelt erklärt, wie die Spiele funktionieren:
Die Spiele sind so ausgelegt, dass wenn Benutzer Rätsel lösen, um auf die nächste Stufe des Spiels voraus, sie eigentlich Programm Anmerkungen generieren und mathematische, dass Beweise identifizieren kann oder beweisen die Abwesenheit von Fehlern in Software in C oder Java geschrieben. DARPA finanziert den spielen und dem Portal durch seine Masse bezogen formale Verifikation (KSPV) Programm...
Die Idee ist, Karte, was im Grunde wirklich schwer mathematische Probleme auf Puzzle-Spiele sind, die wäre lustig zu spielen, nach DARPA Materialien.
Wiederum dürfte es einige der Arbeitslast auf DARPA Analysten – um "mindestens eine Größenordnung" Wenn ihre Ansprüche sind, um es zu glauben. Die Ergebnisse von den Spielen ermöglichen DARPA Forscher darauf konzentrieren, "die kleine Code-Schnipsel, die weitere Analyse und verwandeln sie in den Parametern um ein Puzzle zu generieren" nach John Murray wurde, die am Projekt beteiligt.
Was wartest du noch? Gehen Sie, Spiele spielen und DARPA zur gleichen Zeit zu helfen. [Verigames über Computer-Welt]