Gamers have proven benefits for software verification

Can fun games online to solve complex problems with verification software, which usually takes professional experts in programming? In other words, will the army of uneducated gamers better than the professional process? Researchers from the Agency for Defense Advanced Research Projects United States (DARPA) believe that is the case.

Early experiments have shown that even crowd sourcing effective than anticipated. The program is called crowdsourcing formal verification (Crowd Sourced Formal Verification, CSFV) began in December 2013, and then open the portal Verigames with five free games on-line verification.

For example, in the screenshot above shows a game Paradox , which is necessary to eliminate conflicts, changing the state of the variables screen. Upon reaching the result set before the player puts a new problem in the optimization.

Also Paradox, there is still space puzzle Dynamakr folding puzzle from outer generator patterns; Battle alien invaders Ghost Map Hyperspace to steal their clefts (through which reptiles cross the fabric of space-time) and travel in medieval land of monsters Monster Proof with a fair solution of the puzzles for the enrichment.



In the fifth and final game Binary Fission be sorted atomic particles in the fewest possible steps.



Last week, DARPA announced the success of the first phase of the program, and will soon add another five games to the site.

From blog posts DARPA : «These [2013] broadcast games the players in the annotations to programs and helped to experts in the establishment of formal verification of mathematical proofs that confirm the absence of important classes of errors in the programming languages ​​C and Java. Initial analysis indicates that the amateurs who played the game CSFV, created thousands and thousands of annotations ».

In general, the gaming project was very successful.

Perhaps, we should not worry about the inevitable high level of unemployment in the robotic society of the future. Programmers always offer people interesting and useful lessons.

Source: geektimes.ru/post/251402/