La Agencia de Investigación de Proyectos Avanzados de Defensa (DARPA, por sus siglas en inglés), produce grandes cantidades de código, el cual debe ser verificado para asegurar que no presenta ninguna falla funcional o de seguridad. Este proceso es extenso y costoso, especialmente por la complejidad de dicho código, pero la agencia introdujo un nuevo modelo en el que cualquiera puede contribuir a esta tarea por medio de juegos para iPad que se pueden encontrar en Verigames.
Por supuesto, estos juegos no se tratan de revisar código, de hecho ni siquiera necesitas ser un especialista en temas de informática para disfrutarlos. Xylem: The Code of Plants es uno de los 5 títulos gratuitos de esta oferta, y consiste en analizar nuevas especies de flora describiendo sus patrones de crecimiento con una fórmula matemática, la cual refleja los modelos del código. Las respuestas de los usuarios proveen pruebas que pueden verificar la ausencia de fallas o bugs, y en caso de detectarse alguna de éstas, se notificará a la organización responsable del error para que se corrija rápidamente.
La DARPA nombró a esta técnica Crowd Sourced Formal Verification (CSFV), pues permite que cualquier persona pueda participar en la verificación de código, al hacer que el proceso sea más rápido y efectivo que la forma convencional. El único requisito es ser mayor de 18 años para participar, pues se trata de un voluntariado para trabajar con la agencia de investigación.
Deja tu comentario