Insure++ de Parasoft

Insure++ proporciona una rápida y fiable detección y resolución de errores de ejecución, errores de memoria, etc.

Descripción

Insure++ es un entorno automatizado en una aplicación de herramientas de prueba C/C++ que detecta errores difíciles de localizar como corrupción de la memoria, memory leaks, asignación de errores de memoria, errores de iniciación de variables, definición de conflictos entre variables, indicador de errores, errores de biblioteca, errores lógicos y errores en algoritmos.

Insure++ de Parasoft es una aplicación de herramientas de pruebas automatizadas que detectan errores de difícil detección en C/C++. Durante la compilación, Insure++ lee y analiza el código, después inserta pruebas y funciones de análisis a lo largo de cada línea del código. Insure++ construye una base de datos de todos los elementos del programa. Durante la ejecución, Insure++ comprueba cada valor de los datos y su asignación en memoria con la base de datos, para verificar su consistencia. Insure++ verifica todos los tipos de referencia a memoria, incluyendo las referencias estáticas, a la pila y a la memoria compartida. Puede encontrar corrupción y memory leaks así como cualquier error asociado a la memoria dinámica. Insure++ también comprueba bibliotecas y funciones. Las pruebas con Insure++ pueden destapar errores como la manipulación de strings, operaciones con punteros sin inicializar o referenciando a bloques incorrectos, operaciones sobre punteros inválidas, declaraciones de variables incompatibles y tipos variables mal utilizados.

Para ayudar a optimizar el uso de la memoria dinámica y maximizar la cobertura de pruebas, Insure++ incluye dos herramientas de pruebas C/C++ complementarias:

• Parasoft Inuse: Inuse es una utilidad gráfica que permite a los usuarios observar cómo su programa gestiona y libera bloques de memoria dinámicamente, proporcionando a una representación gráfica de los patrones de uso de memoria de los algoritmos utilizados y optimizando su comportamiento.
• Parasoft TCA. TCA muestra los análisis de cobertura de pruebas para una aplicación mediante la determinación del número de líneas, funciones y consultas que han sido ejecutados, dando a los usuarios una idea de la calidad de las pruebas.

Insure++ puede utilizarse a lo largo de todo el ciclo de desarrollo del software, desde la exposición de problemas durante el desarrollo, a diagnosticar problemas en aplicaciones en la fase de despliegue. Se puede utilizar junto con C++Test de Parasoft para mejorar la fiabilidad, funcionalidad, seguridad, desarrollo y mantenimiento del código C/C++.

Características

• Aprovecha las técnicas de la mutación de pruebas tradicional descubriendo ambigüedades que son difíciles de detectar mediante otros métodos o productos.
• La tecnología Chaperon (solo Linux x86) permite una realización de pruebas más rápida. Comprueba todos los tipos de referencias de memoria, bibliotecas y funciones.
• La base de datos de los elementos del programa para comparar valores opuestos en ejecución, verifica la consistencia y la corrección.
• Soporte para los compiladores más populares.

Beneficios

• Detección de errores en códigos grandes y complejos que otros productos pasan por alto.
• Detecta errores de difícil detección en tiempo de ejecución, como corrupción de la memoria, memory leaks y más.
• Reduce el tiempo necesario para probar y eliminar fallos, dejando más tiempo a los desarrolladores para las tareas creativas.
• Aumenta la calidad y seguridad de las aplicaciones de empresa.
• Omite la necesidad de modificar el código base.

Requerimientos

Microsoft Windows NT/2000/XP/2003

Insure++ funciona como un plug-in para Visual C++

• Microsoft Visual C++ 6.0
• Microsoft Visual C++ .NET
• Microsoft Visual C++ .NET 2003

Procesadores para Linux x86 de 32bits (todos los distribuidores)

• GNU gcc/g++ 2.95.x, 3.2.x, 3.3.x, 3.4.x, 4.0
• Intel ICC 8.0, 8.1, 9.0

Linux para AMD64 e Intel EM64T 64 bits (todos los distribuidores)

• GNU gcc/g++ 3.2.x, 3.3.x, 3.4.x, 4.0
• Intel ICC 8.1, 9.0

Procesador Solaris 7, 8, 9, 10 UltraSparc

• Forte Developer 6 Update 2 (6.2) / Sun CC 5.3
• Sun ONE Studio 7/ Sun CC 5.4
• Sun ONE Studio 8/ Sun CC 5.5
• Sun Studio 9/ Sun CC 5.6
• Sun Studio 10/ Sun CC 5.7
• GNU gcc/g++ 2.95.x, 3.2.x, 3.3.x, 3.4.x

Procesador IBM AIX 5.1, 5.2, 5.3, PowerPC 32 y 64 bits

• IBM VisualAge (xlC) v5, v6, v7, v8
• GNU gcc 2.95.x, 3.2.x, 3.3.x, 3.4.x (GNU g++ NO está admitido)

HP-UX 11 para PA-RISC 32 y 64 bits

• HP aCC/aC++ versión A.03.26 y superior
• GNU gcc/g++ 2.95.x, 3.2.x, 3.3.x, 3.4.x