Excelsior Flawdetector Excelsior FlawDetector - Probador estático y verificador de consistencia para Java
Descargar ahora

Excelsior Flawdetector Clasificación y resumen

Excelsior Flawdetector Etiquetas

Ensayador Probador estático verificador de consistencia Analizar código Estático consistencia problema de consistencia Localizar el problema de la consistencia Checker de origen java Checker Java probador de java Tester de clase Java Tester API de Java Probador de software Java Probador de código Java Compruebe la consistencia la consistencia de copia de seguridad Tester de servicio de mensajes de Java monitor de consistencia Checker de rendimiento de código Java Probador de aplicaciones Java algoritmo basado en consistencia Tester GUI de Java Compruebe la consistencia del archivo consistencia del archivo del sistema Compruebe la consistencia de Mendelian Consistencia de herencia Cheque de consistencia

Excelsior Flawdetector Descripción

FlawDetector es una nueva herramienta de verificación de pruebas de java y consistencia de Excelsior. Funciona formalmente analizando formalmente el código de todo el programa y, por lo tanto, es capaz de encontrar errores que se pasaron por alto durante sus procedimientos de prueba convencionales debido a una cobertura insuficiente. Los controles de coherencia implementados en FlawDetector revelan problemas que pueden resultar de una recurso incompleta o conflictos de versiones entre clases y frascos que constituyen su solicitud. La característica distintiva principal de nuestro producto es el equilibrio óptimo entre la resistencia del análisis y los requisitos de recursos. Excelsior Flawdetector es capaz de encontrar errores en aplicaciones del mundo real que comprenden miles de clases (como la plataforma Eclipse) dentro del tiempo razonable, incluso cuando se trabaja en configuraciones de hardware de bajo costo. También ahorra su tiempo al no producir toneladas de advertencias superfluas que son comunes para herramientas de análisis estático. FlawDetector es un plug-in de JBuilder OpenTool y Eclipse, pero también se puede utilizar desde la línea de comandos. Por ejemplo, es posible que desee invocarlo desde su script de compilación nocturno y navegar / comparar registros por la mañana para averiguar si se introdujo un nuevo error de ayer.

Excelsior Flawdetector Software relacionado