Este é o aplicativo Linux denominado Korat2015, cuja versão mais recente pode ser baixada como korat2015.jar. Ele pode ser executado online no provedor de hospedagem gratuita OnWorks para estações de trabalho.
Baixe e execute online este aplicativo chamado Korat2015 com OnWorks gratuitamente.
Siga estas instruções para executar este aplicativo:
- 1. Baixe este aplicativo em seu PC.
- 2. Entre em nosso gerenciador de arquivos https://www.onworks.net/myfiles.php?username=XXXXX com o nome de usuário que você deseja.
- 3. Carregue este aplicativo em tal gerenciador de arquivos.
- 4. Inicie o emulador OnWorks Linux online ou Windows online ou emulador MACOS online a partir deste site.
- 5. No sistema operacional OnWorks Linux que você acabou de iniciar, acesse nosso gerenciador de arquivos https://www.onworks.net/myfiles.php?username=XXXXX com o nome de usuário que deseja.
- 6. Baixe o aplicativo, instale-o e execute-o.
SCREENSHOTS
Ad
Korat2015
DESCRIÇÃO
Korat é uma ferramenta para geração baseada em restrições de entradas de teste estruturalmente complexas para programas Java.Por favor, veja http://korat.sourceforge.net/index.html para obter mais informações sobre o aplicativo Korat.
Korat 2015 inclui as seguintes melhorias para Korat:
- Interface gráfica do usuário usando Java Swing
- Formato de saída de gráfico usando JUNG (Java Universal Network / Graph Framework)
- Domínio de máquina de estado finito
- Arquivamento de gráficos usando JSON (JavaScript Object Notation)
A página do Wiki contém informações para baixar, instalar e executar o Korat 2015.
Interface com o usuário
Java Swing, linha de comando
Linguagem de Programação
Java
Este é um aplicativo que também pode ser obtido em https://sourceforge.net/projects/korat2015/. Ele foi hospedado no OnWorks para ser executado online da maneira mais fácil a partir de um de nossos Sistemas Operativos gratuitos.
