Hol-testgen.

HOL-TestGen - Gerador de caso de teste para teste de unidade baseada em especificação
Baixe Agora

Hol-testgen. Classificação e resumo

Propaganda

  • Rating:
  • Licença:
  • Freeware
  • Preço:
  • FREE
  • Nome do editor:
  • Achim D. Brucker and Burkhart Wolff
  • Site do editor:
  • http://www.brucker.ch/projects/hol-ocl/index.en.html
  • Sistemas operacionais:
  • Mac OS X
  • Tamanho do arquivo:
  • 499 KB

Hol-testgen. Tag


Hol-testgen. Descrição

Hol-testgen - gerador de caso de teste para teste de unidade baseada em especificação Hol-testgen é um gerador de caso de teste para testes unitários baseados em especificação. O Hol-testgen é construído em cima do ambiente de especficação e do Teorem Proving ISabelle / Hol.here são algumas características principais do "Hol testgen": · Escrever especificações de teste em lógicas de ordem superior (Hol) · (semi-) particionar automaticamente a entrada espaço, resultando em casos de teste abstratos · Selecione automaticamente dados de teste de concreto · Gerar automaticamente scripts de teste (em SML) · Usando uma interface de idioma estrangeiro, implementações em idiomas arbitrários (por exemplo, C) podem ser testadas.Requirements: · isaballenote: Hol-testgen licenciado e fornecido sob os termos de uma licença de estilo BSD.


Hol-testgen. Software Relacionado

Ukkqueue

classe wrapper ao redor do mecanismo de notificação de alteração de arquivo KQUEUE ...

168 15 KB

Download

ViewHierchy.

ViewHierarchy - Inspetor de tempo de execução que permite examinar a hierarquia dos objetos NSView nas janelas do seu aplicativo ...

165 35 KB

Download

Sobre nós