Xjml

te ayuda a verificar y validar clases de Java
Descargar ahora

Xjml Clasificación y resumen

Anuncio publicitario

  • Rating:
  • Licencia:
  • GPL
  • Nombre del editor:
  • EDario
  • Sistemas operativos:
  • Mac OS X
  • Tamaño del archivo:
  • 17.1 MB

Xjml Etiquetas


Xjml Descripción

Xjml es una herramienta práctica que se puede usar para leer una clase de Java y ejecutar múltiples técnicas. XJML también le permite verificar, así como validar los contenidos de una clase Java. Las técnicas disponibles son: · Comprobación de aserción de tiempo de ejecución (RAC). Utilizando herramientas JML4C y JML4RT. · Comprobación estática extendida (ESC). Utilizando ESC / Java2. · Verificación de programa estático completo (FSPV). Usando el por qué la plataforma (probada con por qué 2.30 y por qué30.71


Xjml Software relacionado

Sobre nosotros