Korat. Ferramenta para a geração de entradas de texto complexas para programas Java
Baixe Agora

Korat. Classificação e resumo

Korat. Tag

gerar texto Gerador de texto gerador gerar texto Geração de texto

Korat. Descrição

Ferramenta para a geração de entradas de texto complexas para programas Java A Korat é uma ferramenta gratuita e aberta de código-fonte construída para geração baseada em restrições de entradas de teste estruturalmente complexas para programas Java. Estruturalmente complexo significa que as entradas são estruturais (por exemplo, representadas com estruturas de dados vinculadas) e devem satisfazer restrições complexas que relacionam partes da estrutura, por exemplo, invariantes para estruturas de dados ligadas) .korat requer um predicado imperativo que especifica as restrições estruturais desejadas e finitização que limita o tamanho desejado de entrada de teste. Korat gera todas as entradas predicadas (dentro dos limites) para os quais o predicado retorna true. Para fazer isso, a Korat realiza uma busca sistemática do espaço de entrada do predicado. As entradas que o Korat gera ativar os testes exaustivos limitados para programas que vão desde classes de bibliotecas a aplicativos independentes.Korat pode mostrar graficamente as estruturas que gera. A visualização em Korat foi inspirada pela liga, e nossa atual implementação de Korat usa a instalação de visualização do Alloy Analyzer, que fornece uma exibição totalmente personalizável que permite que os usuários especifiquem as visualizações desejadas nas estruturas subjacentes. A Korat traduz automaticamente gráficos de objeto na representação da liga. Requisitos: · Java.

Korat. Software Relacionado