5 maneiras de preparar sua infra-estrutura de publicidade para o desastre
DARPA, que na semana passada lançou uma caça ao erro de vários milhões de dólares, também está testando a idéia de usar jogos para ajudar a rastrear bugs no software comercial.
No entanto, enquanto recompensa da semana passada é alvo hackers, o projeto de Verificação Formal Multidão Sourced está esperando para usar apostadores caneca para encontrar bugs em software de estilo comercial - um pouco como todos os fabricantes de software na terra, mas em vez de nós ter que sofrer BSODs ou deixar de funcionar aplicações , a DARPA quer torná-lo divertido.
Daí Verigames, que a agência quer usar para traduzir a "matemática duro" de verificação formal de software em algo que o inexperiente pode realizar através de jogos.
Como DARPA diz : "Os jogos de CSFV traduzir as ações dos jogadores em anotações do programa e gerar provas matemáticas para verificar a ausência de importantes classes de falhas no software escritos em linguagens de programação C e Java. PSC tem como objetivo investigar se um grande número de não-especialistas jogar jogos formais de verificação pode executar a verificação formal mais rápido e mais rentável do que os processos convencionais. "
DARPA gerente do programa de Drew Dean disse: "Nós estamos vendo se podemos ter problemas de matemática muito difícil e mapeá-los para interessantes, atraentes jogos de quebra-cabeça que os jogadores on-line vai resolver para se divertir."
O programa foi iniciado em cinco jogos - CircuitBot (execute uma equipe de robôs), Fluxo de Jam (ajustando uma rede de cabo para maximizar seu fluxo), Ghost Map (encontrar um caminho através de uma rede de cérebro), Stormbound (descobrir símbolos num vendaval ) e do xilema (usar a matemática para catalogar espécies de plantas).
Sob o capô, segundo a agência, os jogos "traduzir as ações dos jogadores em anotações de programas que ajudam a verificação formal". Neste caso, a jogabilidade está testando C e código Java presente em software open-source comum.
Se bugs prejudiciais são descobertos, a DARPA diz que vai notificar a organização responsável pelo software. ®
via Alimentação (Feed)
Nenhum comentário:
Postar um comentário