Los jugadores han demostrado su valía en la verificación de software

¿Pueden los divertidos juegos en línea resolver problemas complejos con la verificación de software, que generalmente son realizados por expertos profesionales en programación? En otras palabras, ¿será mejor un ejército de jugadores sin educación que un proceso profesional? Los investigadores de la Agencia de Proyectos de Investigación Avanzada de Defensa de los Estados Unidos (DARPA) confían en que este es el caso.

Los primeros experimentos mostraron que el crowdsourcing es aún más efectivo de lo previsto. En diciembre de 2013 comenzó un programa llamado Verificación formal de contratación colectiva (CSFV), y luego se abrió el portal Verigames con cinco juegos gratuitos de verificación en línea.

Por ejemplo, la captura de pantalla anterior muestra el juego Paradox , en el que debes eliminar los conflictos cambiando el estado de las variables de la pantalla. Al alcanzar el resultado establecido, el jugador recibe una nueva tarea de optimización.

Además de Paradox, también hay un rompecabezas espacial Dynamakr para plegar un rompecabezas de un generador de patrones espaciales; batalla con invasores alienígenas Hiperespacio del mapa fantasmacon el fin de robar sus grietas (a través de las cuales los bastardos cruzan la estructura del espacio-tiempo) y un viaje a través de la tierra medieval de monstruos Monster Proof con una solución pasajera a los rompecabezas por el bien del enriquecimiento.



En el último quinto juego de Binary Fission, debes ordenar las partículas atómicas en el menor número posible de pasos.



La semana pasada, DARPA anunció el éxito de la primera fase del programa y pronto agregará otros cinco juegos al sitio.

De la publicación del blog de DARPA: “Estos juegos [2013] transmitieron las acciones de los jugadores en anotaciones a los programas y ayudaron a los expertos en verificación formal a crear pruebas matemáticas que confirman la ausencia de clases de error importantes en los lenguajes de programación C y Java. Un análisis inicial muestra que los aficionados que jugaron juegos CSFV crearon miles de miles de anotaciones ".

En general, el proyecto de juego tuvo mucho éxito.

Quizás uno no debería preocuparse por la tasa de desempleo inevitablemente alta en la sociedad robótica del futuro. Los programadores siempre ofrecerán a las personas actividades interesantes y útiles.