Projeto DeepSpec busca a criação de programas livres de erros

DeepSpecProfessores de quatro universidades dos Estados Unidos estão trabalhando em um projeto ambicioso: possibilitar a criação de programas livres de erros (bugs).

A ideia, segundo os membros do projeto, é criar especificações extremamente precisas sobre o comportamento de um software, com base em lógica formal. Assim, espera-se conseguir criar sistemas que sejam livres de erros e passíveis de verificação de suas especificações.

Especificações formais tem sido pesquisadas como forma de verificar e validar software. No entanto, o grupo de pesquisa argumenta que as lógicas são apenas para modelos de programas, e não programas em si. A ideia, então, é possibilitar uma análise mais profunda do código e das especificações, em especial considerando a aplicação desse código, bem como relações com outras especificações em uma cadeia de programas.

Mais informações sobre a pesquisa podem ser encontradas no site do projeto [1].

Referências:

[1] DeepSpec. http://www.deepspec.com. Acesso em 26 de janeiro de 2016.

Anúncios