Os jogadores provaram seu valor na verificação de software

Os jogos online divertidos podem resolver problemas complexos com a verificação de software, que geralmente são feitos por especialistas profissionais em programação? Em outras palavras, um exército de jogadores sem instrução será melhor do que um processo profissional? Pesquisadores da Agência de Projetos de Pesquisa Avançada em Defesa dos Estados Unidos (DARPA) estão confiantes de que esse é o caso.

Os primeiros experimentos mostraram que o crowdsourcing é ainda mais eficaz do que o previsto. Um programa chamado Crowd Sourced Formal Verification (CSFV) começou em dezembro de 2013 e, em seguida, o portal Verigames foi aberto com cinco jogos de verificação online gratuitos.

Por exemplo, a captura de tela acima mostra o jogo Paradox , no qual você precisa eliminar conflitos alterando o estado das variáveis ​​da tela. Ao atingir o resultado definido, o jogador recebe uma nova tarefa de otimização.

Além do Paradox, há também um quebra-cabeça espacial Dynamakr para dobrar um quebra-cabeça de um gerador de padrões espaciais; batalha com invasores alienígenas Ghost Map Hyperspacepara roubar suas fendas (através das quais os bastardos cruzam o tecido do espaço-tempo) e uma jornada pela terra medieval de monstros à prova de monstros, com uma solução passageira para quebra-cabeças em prol do enriquecimento.



No último quinto jogo de Fissão binária, você precisa classificar as partículas atômicas no número mínimo possível de etapas.



Na semana passada, a DARPA anunciou o sucesso da primeira fase do programa e em breve adicionará mais cinco jogos ao site.

Da publicação do blog da DARPA: “Esses jogos [2013] transmitem as ações dos jogadores em anotações para programas e ajudam especialistas em verificação formal a criar provas matemáticas que confirmam a ausência de classes de erro importantes nas linguagens de programação C e Java. Uma análise inicial mostra que amadores que jogavam jogos CSFV criaram milhares de milhares de anotações. ”

Em geral, o projeto de jogos foi muito bem sucedido.

Talvez não deva se preocupar com a inevitavelmente alta taxa de desemprego na sociedade robótica do futuro. Os programadores sempre oferecerão às pessoas atividades interessantes e úteis.