Spieler haben sich bei der Softwareüberprüfung bewährt

Können unterhaltsame Online-Spiele komplexe Probleme bei der Softwareüberprüfung lösen, die normalerweise von professionellen Programmierexperten durchgeführt werden? Mit anderen Worten, wird eine Armee ungebildeter Spieler besser sein als ein professioneller Prozess? Forscher der United States Defense Advanced Research Projects Agency (DARPA) sind zuversichtlich, dass dies der Fall ist.

Die ersten Experimente haben gezeigt, dass Crowdsourcing noch effektiver ist als erwartet. Ein Programm namens Crowd Sourced Formal Verification (CSFV) begann im Dezember 2013, und dann wurde das Verigames- Portal mit fünf kostenlosen Online-Verifizierungsspielen eröffnet.

Der Screenshot oben zeigt beispielsweise das Spiel Paradox , in dem Sie Konflikte beseitigen müssen, indem Sie den Status der Bildschirmvariablen ändern. Bei Erreichen des festgelegten Ergebnisses erhält der Spieler eine neue Optimierungsaufgabe.

Zusätzlich zu Paradox gibt es auch ein Weltraumpuzzle Dynamakr zum Falten eines Puzzles aus einem Raummustergenerator . Kampf mit außerirdischen Invasoren Ghost Map Hyperspaceum ihre Spalten zu stehlen (durch die Bastarde das Gewebe der Raum-Zeit durchqueren) und eine Reise durch das mittelalterliche Land der Monster Proof- Monster mit einer vorübergehenden Lösung für Rätsel zur Bereicherung.



Im letzten fünften Spiel der binären Spaltung müssen Sie die Atompartikel in der minimal möglichen Anzahl von Schritten sortieren.



Letzte Woche gab DARPA den Erfolg der ersten Phase des Programms bekannt und wird der Website in Kürze weitere fünf Spiele hinzufügen.

Aus dem DARPA-Blogbeitrag: „Diese [2013] Spiele sendeten die Aktionen von Spielern in Anmerkungen zu Programmen und halfen formalen Verifikationsexperten, mathematische Beweise zu erstellen, die das Fehlen wichtiger Fehlerklassen in den Programmiersprachen C und Java bestätigen. Eine erste Analyse zeigt, dass Amateure, die CSFV-Spiele gespielt haben, Tausende von Anmerkungen erstellt haben. “

Im Allgemeinen war das Gaming-Projekt sehr erfolgreich.

Vielleicht sollte man sich keine Sorgen über die unvermeidlich hohe Arbeitslosenquote in der Robotergesellschaft der Zukunft machen. Programmierer bieten den Menschen immer interessante und nützliche Aktivitäten an.