|
|
|
Comprobador de Error Estático Avispa (Wasp Static Error Checker) 3.1 |
|
AcademSoft |
|
Grado: no rankeado 
Lanzado: Apr 03, 2002
Plataformas:
|
|
Si su programa Java ha sido testeado a conciencia pero aún es dado a tener errores, el analizador Wasp puede ayudar a detectar errores sutiles de tiempo de ejecución y puntos débiles de su programa.
Los siguientes errores pueden ser detectados estáticamente: excepción de puntero nulo, cast impermisible, índice del array fuera de los límites, división por cero, etc.
Los siguientes puntos débiles pueden ser detectados: variable sin inicializar, rama inalcanzable en una condicional o conmutación, cuerpo de repetición o cláusula catch inalcanzable, asignación de una variable cuyo valor no ha sido usado nunca, salida principal de método no alcanzable, etc.
Wasp además produce detallados y precisos gráficos de llamada.
El método gráfico de llamadas de un programa le ayuda a entender para cada método cuales son los métodos reales que llaman en su cuerpo.
Adicionalmente, para cada método usted puede saber donde está llamado este método.
En comparación con otros analizadores estáticos de error,
Wasp tiene dos importantes ventajas.
Wasp es capaz de distinguir entre un error definitivo, un posible error (warning), y una situación potencialmente errónea.
En este último error, Wasp produce un mensaje llamado error condicional que en la práctica aparece para indicar error en aproximadamente un caso de cada cinco.
Wasp realiza un análisis de flujo de datos sensible al contexto, por lo tanto es capaz de reconocer un error que aparece solo por algunas llamadas o el método que las contiene, pero no lo hace para otros.
Todos los analizadores estáticos de errores que se conocen (por ejemplo QStudio Java, MetaMata Audit, etc) que detectan estáticamente errores de tiempo de ejecución pueden producir simplemente largas listas de warnings porque no pueden reconocer los errores definitivos en un programa debido a los débiles análisis aplicados. Un usuario tiene que invertir mucho tiempo en analizar todos los warnings.
Wasp ha probado su capacidad para encontrar fallos sutiles en programas incluso después de hacer debug y testear dado que Wasp detecta situaciones de auténtica complejidad.
Página de productos:
http://www.ac-sw.com/
Descarga: 
www.waspsoft.com
|
|
|
|
|
|
Agregue su reporte sobre Inglès acerca Wasp Static Error Checker
|
|
|
|
Tipo: Shareware |
|
Costo: $299.00 US
|
|
Tamaño: 1246 K
|
|
|
Programas relacionados: - AdventNet QEngine 6.5 - Herramienta automática de pruebas para hacer pruebas de funcionalidad, rendimiento, carga, tráfico de datos, servicios web, control del rendimiento de servidores y pruebas de regresión, para ejecutar pruebas desde la línea de comandos para todo tipo de pruebas.
- iTab Pro QuickNavBar 2.30 - Barra de navegación de alta velocidad, escalable, para dar una apariencia profesional fuera-de-serie a tu sitio Web. Así como pestañas y barras intercambiables, este menú en java incluye menús desplegables, de multi-nivel, de capas intercambiables y un cuadro de búsqueda opcional.
|
|
|
|
|
|
|
|
|
