Los jugadores han demostrado beneficios para la verificación de software

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

Los primeros experimentos han demostrado que incluso multitud de abastecimiento eficaz de lo previsto. El programa se llama crowdsourcing verificación formal (multitud de fuentes de verificación formal, CSFV) comenzó en diciembre de 2013, y luego abrir el portal Verigames con cinco gratuita juegos en línea de verificación.

Por ejemplo, en la captura de pantalla anterior muestra una Paradox juego, que es necesario para eliminar los conflictos, cambiando el estado de la pantalla variables. Al llegar al conjunto de resultados antes de que el jugador pone un nuevo problema en la optimización.

También Paradox, todavía hay espacio rompecabezas Dynamakr rompecabezas plegable de patrones generadores exteriores; Batalla invasores alienígenas Ghost Mapa Hiperespacio para robar sus hendiduras (a través del cual los reptiles cruzan el tejido del espacio-tiempo) y los viajes en la tierra medieval de monstruos Monster prueba con una solución justa de los rompecabezas para el enriquecimiento.



En el quinto y último partido binario fisión ser ordenados partículas atómicas en el menor número de pasos posibles.



La semana pasada, DARPA anunció el éxito de la primera fase del programa, y ​​pronto añadir otros cinco partidos al sitio.

De entradas del blog DARPA : «Estos [2013] juegos de difusión a los jugadores en las anotaciones al programas y ayudaron a los expertos en el establecimiento de la verificación formal de pruebas matemáticas que confirman la ausencia de clases importantes de errores en los lenguajes de programación C y Java. El análisis inicial indica que los aficionados que las reglas del juego de la peste porcina clásica, crearon miles y miles de anotaciones ».

En general, el proyecto de juego fue muy exitosa.

Tal vez, no hay que preocuparse por el alto nivel inevitable de desempleo en la sociedad de la robótica del futuro. Los programadores siempre ofrecen a las personas lecciones interesantes y útiles.

Fuente: geektimes.ru/post/251402/