Les joueurs ont fait leurs preuves dans la vérification de logiciels

Les jeux en ligne amusants peuvent-ils résoudre des problèmes complexes avec la vérification de logiciels, qui sont généralement effectués par des experts en programmation professionnels? En d'autres termes, une armée de joueurs sans instruction sera-t-elle meilleure qu'un processus professionnel? Les chercheurs de la United States Defence Advanced Research Projects Agency (DARPA) sont convaincus que c'est le cas.

Les premières expériences ont montré que le crowdsourcing est encore plus efficace que prévu. Un programme appelé Crowd Sourced Formal Verification (CSFV) a commencé en décembre 2013, puis le portail Verigames s'est ouvert avec cinq jeux de vérification en ligne gratuits.

Par exemple, la capture d'écran ci-dessus montre le jeu Paradox , dans lequel vous devez éliminer les conflits en modifiant l'état des variables d'écran. Une fois le résultat défini atteint, le joueur reçoit une nouvelle tâche d'optimisation.

En plus de Paradox, il existe également un puzzle spatial Dynamakr pour plier un puzzle à partir d'un générateur de motifs spatiaux; bataille avec des envahisseurs extraterrestres Ghost Map Hyperspaceafin de voler leurs crevasses (à travers lesquelles les salauds traversent le tissu de l'espace-temps) et un voyage à travers la terre médiévale des monstres Monster Proof avec une solution passagère aux énigmes dans un souci d'enrichissement.



Dans le dernier cinquième jeu de fission binaire, vous devez trier les particules atomiques en un minimum d'étapes.



La semaine dernière, DARPA a annoncé le succès de la première phase du programme et ajoutera bientôt cinq autres jeux au site.

Extrait du blog DARPA: «Ces jeux [2013] diffusent les actions des joueurs dans les annotations des programmes et ont aidé les experts en vérification formelle à créer des preuves mathématiques qui confirment l'absence de classes d'erreur importantes dans les langages de programmation C et Java. Une première analyse montre que les amateurs qui ont joué aux jeux CSFV ont créé des milliers de milliers d'annotations. »

En général, le projet de jeu a été très réussi.

Il ne faut peut-être pas s'inquiéter du taux de chômage inévitablement élevé dans la société robotique de l'avenir. Les programmeurs proposeront toujours aux gens des activités intéressantes et utiles.