| Comprobador de errores estático WASP Si su programa Java ha sido probado a fondo pero aún es propenso a errores, el analizador WASP puede ayudar a detectar errores sutiles de tiempo de ejecución y puntos débiles en su programa. Los siguientes tipos de errores pueden ser |
Descargar ahora |
Comprobador de errores estático WASP Clasificación y resumen
- Nombre del editor:
- AcademSoft
- Tamaño del archivo:
- 1.22 MB
Comprobador de errores estático WASP Etiquetas
Comprobador de errores estático WASP Descripción
El analizador WASP detecta en forma bancaria los errores sutiles en tiempo de ejecución. y puntos débiles en un código fuente de Java. Se pueden detectar los siguientes tipos de errores: Excepción de puntero nulo, reparto impermeable, Índice de matriz fuera de límites, división por cero, etc. Se pueden detectar los siguientes tipos de puntos débiles: Uso de la variable no inicializada, rama inalcanzable en la declaración condicional o de conmutación, Cuerpo de bucle inalcanzable o cláusula de captura, Asignación de la variable cuyo valor nunca se usa, Finalización anormal del método, etc. WASP produce un gráfico detallado y preciso de llamadas de método. El gráfico de métodos de llamada de un programa ayuda a saber para cada método. Qué métodos reales se llaman en su cuerpo. Además, para cada método, puede saber dónde se puede llamar este método. Método Llamada Gráficos producidos Otras herramientas existentes son imprecisas debido a los análisis débiles aplicados. En comparación con otros analizadores de errores estáticos, WASP tiene dos ventajas importantes. WASP es capaz de distinguir entre un error definido, Un posible error (advertencia) y una situación potencialmente errónea. En este último caso, la avispa produce un mensaje llamado Error condicional que en la práctica parece indicar un error en aproximadamente un caso de cinco. WASP realiza un análisis de flujo de datos sensible al contexto, por lo que puede reconocer un error que aparece solo para algunas llamadas del método que lo contiene, pero no es para otros. Por lo tanto, la avispa maneja situaciones de alta complejidad. Todos conocidos por los analizadores estáticos de los Estados Unidos (por ejemplo, Qstudio Java, Auditoría de Metamata, etc.) que detectan en forma bancaria los errores de tiempo de ejecución pueden producir solo largas listas de advertencias porque no puede reconocer errores definidos en un programa debido a débiles Análisis aplicados. Un usuario tiene que perder mucho tiempo para analizar todas las advertencias. WASP ha demostrado su capacidad para encontrar insectos sutiles en programas incluso Después de depurar y probar etapas de desarrollo porque la avispa Detecta situaciones de complejidad real.
Comprobador de errores estático WASP Software relacionado