Korat para la generación de entradas de texto complejas para programas de Java
Descargar ahora

Korat Clasificación y resumen

Korat Etiquetas

generar texto generador de texto generador generar texto generación de texto

Korat Descripción

Herramienta para la generación de entradas de texto complejas para programas de Java Korat es una herramienta de código abierto y libre construida para la generación basada en restricciones de insumos de prueba estructuralmente complejos para programas Java. Estructuralmente complejos significa que las entradas son estructurales (por ejemplo, representadas con estructuras de datos vinculadas) y deben satisfacer restricciones complejas que relacionan partes de la estructura, por ejemplo, invariantes para estructuras de datos vinculadas) .korat requiere un predicado imperativo que especifique las restricciones estructurales deseadas y un Finitización que limita el tamaño de entrada de prueba deseado. Korat genera todas las entradas de predicado (dentro de los límites) para los cuales el predicado devuelve verdadero. Para hacerlo, Korat realiza una búsqueda sistemática del espacio de entrada del predicado. Las entradas que Genera Korat genera habilitar las pruebas exhaustivas delimitadas para los programas que van desde las clases de la biblioteca hasta las aplicaciones independientes. Korat puede mostrar gráficamente las estructuras que genera. La visualización en Korat se inspiró en la aleación, y nuestra implementación de Korat actual utiliza la instalación de visualización del analizador de aleaciones, que proporciona una pantalla totalmente personalizable que permite a los usuarios especificar las vistas deseadas en las estructuras subyacentes. Korat traduce automáticamente los gráficos de objetos en la representación de la aleación. Requisitos: · Java

Korat Software relacionado