HOL-TestGen

HOL-TestGen permite escribir las especificaciones de prueba en las lógicas de orden superior (HOL). Puede (semi) particionar automáticamente el espacio de entrada, lo que resulta en los casos de pruebas abstractas, y se seleccionará automáticamente los datos de pruebas concretas.
Generación automática de los arneses de prueba (en SML) es compatible, y el uso de una interfaz de idioma extranjero, las implementaciones en idiomas arbitrarias (por ejemplo, C) se pueden probar.
HOL-OCL es software libre; puedes redistribuirlo y / o modificarlo bajo los términos de la GPL. Proyecto HOL-TestGen es desarrollado por Achim D. Brucker y Burkhart Wolff

Características :.

• especificaciones de prueba de escritura en de mayor lógicas de orden (HOL)
• (semi) particionar automáticamente el espacio de entrada, lo que resulta en los casos de prueba abstractos
• seleccionar automáticamente los datos de pruebas concretas
• generar automáticamente scripts de prueba (en SML)
• utilizando una interfaz de idioma extranjero, las implementaciones en idiomas arbitrarias (por ejemplo, C) se puede probar.

¿Qué hay de nuevo en esta versión:

• Esta versión fue portado a Isabelle / HOL 2011-1.
• Se han añadido nuevos ejemplos.
• La interfaz de usuario basada en jEdit ahora es utilizado por defecto.