VDMJ Una aplicación de desarrollo con soporte para VDM-SL, VDM ++ y VDM-RT.
Descargar ahora

VDMJ Clasificación y resumen

VDMJ Etiquetas

generar Dinámica sl analizador analizar gramaticalmente VDM analizador de código generador de obligación de prueba Código fuente tipo corrector rt

VDMJ Descripción

VDMJ es una herramienta práctica y fácil de usar especialmente diseñada para ofrecer una herramienta básica que admite lenguajes de especificación VDM-SL, VDM ++ y VDM-RT, escrito en Java. Incluye un analizador, un comprobador de tipo, un intérprete, un depurador y un generador de obligación de prueba. Es utilizado por el proyecto Eclipse Overture. Principales características: Postrar, escribir, ejecutar y depurar especificaciones VDM Generar obligaciones a prueba Genere cobertura detallada de código para pruebas Realizar pruebas combinatoriales Soporte para los tres dialectos VDM Soporte para conjuntos de caracteres internacionales en especificaciones Soporte para bibliotecas externas y control remoto

VDMJ Software relacionado