Aprobar Medio ambiente de verificación del programa automatizado
Descargar ahora

Aprobar Clasificación y resumen

Aprobar Etiquetas

Ensayador Verificación pruebas entorno de prueba verificación del programa prueba de código

Aprobar Descripción

El sistema Aprove se puede utilizar para la terminación automatizada y las pruebas de terminación más internas de los sistemas de reescritura (TRS), programas de prólogo, programas funcionales e imperativos. Actualmente, Aprove ofrece muchas técnicas de transformación, técnicas de terminación básicas (incluidas las órdenes de ruta recursiva, pedidos de Knut Bendix, pedidos polinomiales, pares de RFC), pares de dependencia, incluidos los refinamientos recientes, como el estrechamiento, la reescritura y la creación de pares de dependencia, y el principio de cambio de dependencia. , También en combinación con pares de dependencia. La herramienta está escrita en Java y las pruebas se pueden realizar tanto en un modo totalmente automatizado como en un modo interactivo a través de una interfaz de usuario gráfica. Dale a Aprove un intento de ver qué tan útil puede estar en sus proyectos de desarrollo.

Aprobar Software relacionado