Maximizando sua infra-estrutura através da virtualização
Secret-esquilo bureau tecnologia militar DARPA criou uma série de jogos de computador que podem ajudar a verificar o software de fonte aberta.
Ele está trabalhando nos jogos sob os auspícios do seu Verificação Formal Multidão Sourced programa.
A idéia é realizar a verificação suave de software que geralmente é realizada por peritos técnicos.
"Não há especialistas humanos suficientes ou tempo disponível para demonstrar que o software é seguro e confiável - assim o que temos feito é remontar o que os especialistas humanos faria normalmente e produzir dezenas de milhares de níveis de jogo para os jogadores na internet para jogar jogos para nós ", Matthew Barry, que é investigador principal no Kestrel Tecnologia, a empresa trabalha com DARPA para desenvolver os jogos, disse Military.com .
Um dos jogos é chamado de Circuito Bot e envolve a execução de missões a asteróides.
"Ao longo do caminho eles estão montando equipes de robôs que têm atribuições diferentes. Se você montar a equipe robô na ordem correta você recebe uma certa quantidade de pontos. Os resultados dessas assembléias contribuir para a verificação do software de código aberto ", continuou Barry. "Estamos melhorando o que um especialista humano tem a ver usando a multidão internet para jogar."
Cinco jogos estão disponíveis para ser jogado no site Verigames e alguns dos softwares verificada por gamers pode até acabar sendo usado por si só DARPA e outras organizações governamentais. ®
via Alimentação (Feed)
Nenhum comentário:
Postar um comentário