Tela Software:
Detalhes de Software:
Versão: 1.7.0
Data de upload: 20 Feb 15
Revelador: Achim D. Brucker and Burkhart Wolff
Licença: Livre
Popularidade: 15
HOL-TestGen permite escrever especificações de teste em lógicas de ordem superior (HOL). Ele pode (semi-) particionar automaticamente o espaço de entrada, resultando em casos de teste abstratas e selecionar automaticamente os dados de teste de concreto.
A geração automática de equipamentos de teste (em SML) é suportado, e usando uma interface de língua estrangeira, implementações em linguagens arbitrários (por exemplo C) pode ser testada.
HOL-OCL é software livre; você pode redistribuí-lo e / ou modificá-lo sob os termos da GPL. Projeto HOL-TestGen é desenvolvido por Achim D. Brucker e Burkhart Wolff
Características :.
- especificações de teste de escrita em superior que lógicas de ordem (HOL)
- (semi-) particionar automaticamente o espaço de entrada, resultando em casos de teste abstratos
- selecionar automaticamente os dados de teste de concreto
- gerar automaticamente scripts de teste (em SML)
- usando uma interface de língua estrangeira, implementações em linguagens arbitrários (por exemplo C) pode ser testada.
O que é novo nesta versão:
- Esta versão foi portado para Isabelle / HOL 2011-1.
- foram adicionados novos exemplos.
- A interface de usuário baseada em jEdit agora é usado por padrão.
Comentários não encontrado