Llave Una herramienta de verificación para los programas de Javacard
Descargar ahora

Llave Clasificación y resumen

Llave Etiquetas

cheque verificar verificar javacard Verifier de javacard Javacard Checker javacard

Llave Descripción

Una herramienta de verificación para los programas de Javacard. La clave es un software gratuito y fácil de usar que proporciona una herramienta de verificación para los programas de Javacard. El sistema de claves es una herramienta formal de desarrollo de software que tiene como objetivo integrar el diseño, la implementación, la especificación formal y la verificación formal del software orientado a objetos de la forma perfecta posible. . Requisitos: · Java 1.5 o posterior ¿Qué hay de nuevo en este lanzamiento: · Marco de obligación de prueba unificado · Compartimiento de obligaciones a prueba en diferentes idiomas de especificación · API unificada para agregar nuevas obligaciones a prueba. · Los mismos elementos GUI utilizados para todos los idiomas de especificación. · Traducción más elegante de \ Old, @ pre-tipo construye · Interfaz de especificación mejorada de Javacard DL · Especificación de invariantes de DL. · Reescritura de JML Front-End · Variables de fantasma / campos y declaración JML Set · Non_Null por defecto · \ Antiguo en invariantes de bucle compatibles · \ Object_Creation (Tipo) en cláuses asignables JML · Nuevo front-end OCL independiente · Soporte discontinuado para la integración de Borland juntos Mejoras de soporte de idioma Java: · Enum tipos (parcialmente) · Clases internas y anónimas. · Mejorado para el bucle · Método variable argumentos · Firma del método covariante. · Generación de especificaciones JML. · Las consultas estrictamente puras se pueden empujar directamente a una actualización · Comprobación y ahorro de pruebas estable. · Directiva de classpath · Varios bugfixes

Llave Software relacionado