有时在线玩家执行繁琐的软件验证工作通常由专业编码专家吗?
研究国防高级研究计划局(DARPA)是这样认为的,所以对他们的第一个众包探伤游戏,他们本周宣布了新一轮的五场比赛为改进设计可玩性以及增加软件验证有效性。
+更多网络世界:+有个足球雷竞技app
DARPA开始程序称为人群的形式验证(CSFV) 2013年12月,打开Verigames门户网站(http://www.verigames.com/home),提供5个免费的在线形式验证游戏。
“这些游戏玩家的行为翻译成程序注释和辅助形式验证生成的数学证明的专家来验证缺陷软件的缺乏重要的类写在“C”和Java编程语言。初步分析表明,非专家CSFV游戏产生成千上万的注释,”美国国防部高级研究计划局表示。
根据美国国防部高级研究计划局,游戏生成数学证明,可以验证缺乏某些软件缺陷或错误常见的开源软件。“如果游戏揭示潜在的有害代码,DARPA将实现批准通知和缓解过程,包括通知受影响的组织负责软件。因为CSFV验证开源软件,商业、政府和/或国防部系统可能使用,及时通知纠正软件迅速和减轻至关重要功能或安全故障的风险,”美国国防部高级研究计划局表示。
新众包验证游戏包括:
- Dynamakr:要求球员激励神秘宇宙拼图机模式
- 悖论:要求玩家使用数组工具优化大型网络
- 鬼地图多维空间:要求玩家战斗外星入侵者和封锁他们的多维空间裂痕
- 怪物证明:要求玩家去探索一个怪物王国,解决谜题致富
- 二分裂:atom-splitting游戏,要求玩家混合和匹配夸克的网络安全
Verigames提供其他游戏包括:
- CircuitBot:连接的一组机器人执行任务。
- 流果酱:分析和调整电缆网络最大化其流。
- 为风暴所阻的:拆开风暴流模式的符号。
- 使用数学公式木质部:目录种类的植物。
看看这些其他热的故事: