Icono del programa: SoftCheck Inspector

SoftCheck Inspector para Windows


Detalles clave de SoftCheck Inspector

  • Descubre errores en los bytecodes de Java.
  • Última actualización el
  • Ha habido 4 actualizaciones
  • Estado de análisis de virus:

    Limpio (es muy probable que este programa de software esté limpio)


Descripción del desarrollador

Descubre errores en los bytecodes de Java.
SofCheck Inspector es una herramienta de análisis estático que descubre errores en los bytecodes de Java. Utiliza técnicas de control de flujo estático, flujo de datos y propagación de conjuntos de valores posibles (PVP) para identificar lugares donde podrían ocurrir errores en tiempo de ejecución. Esta técnica automatizada de calidad de software proporciona una cobertura de ruta del 100% y permite identificar y eliminar fallos muy temprano en el ciclo de vida del software, antes de la ejecución. Inspector genera precondiciones y postcondiciones que caracterizan el comportamiento del código Java y son útiles para inspecciones de código de caja blanca. Detecta condiciones de carrera, índices fuera de límites, desbordamientos, divisiones por cero, código muerto, asignaciones no utilizadas, pruebas que siempre van en una dirección o excepciones lanzadas. Esta es una versión de prueba de 45 días que admite hasta 200 clases. El producto contiene una versión del JRE de Sun.

Icono del programa: SoftCheck Inspector

SoftCheck Inspector para Windows


Explorar más