577
玩家们已经证明了软件验证的好处
可有趣的在线游戏解决复杂问题的验证软件，这通常需要专业的专家在节目？换句话说，将没有受过教育游戏玩家的军队比专业更好的方法？从机构国防高级研究计划美国（DARPA）的研究人员认为是这样的。
早期的实验表明，即使采购人群效益比预期的。该计划被称为众包形式验证（来源人群形式化验证，CSFV）开始于2013年12月，然后用5次免费开放的门户 Verigames 游戏上线验证。
例如，在上面的截图示出了游戏悖论时，这是必要的，以避免冲突，改变变量屏幕的状态。在到达结果玩家提出一个新的问题，在优化之前设置。
此外悖论，仍有空间益智 Dynamakr 从折叠外发生器模式拼图;巴特尔外来侵略者幽灵地图超空间来窃取他们的裂口（通过它爬行动物穿越时空的织物）和旅行在怪物怪物证明中世纪土地的拼图富集的公平解决。
在第五和最后一场比赛二分裂进行排序，在尽可能少的步骤原子粒子。
上周，DARPA公布该计划的第一阶段的成功，并很快将再添五场比赛到现场。
从博客文章DARPA ：«这些[2013]广播游戏玩家在注解程序和帮助专家在建立该确认不存在的编程语言C和Java错误重要的类数学证明的形式验证。初步分析表明，谁玩过这个游戏CSFV的业余爱好者，创造了数以千计的注解»和数千人。
在一般情况下，游戏项目是非常成功的。
或许，我们不应该担心在未来的机器人社会的必然高失业率。程序员总是给人们提供有趣和有益的启示。
来源： geektimes.ru/post/251402/
