Planes y precios

CARACTERÍSTICAS PRINCIPALES

Incluye:

• Análisis de flujo de control: modela todas las rutas posibles de ejecución (ramas, bucles) para verificar la estructura del programa.
• Análisis del flujo de datos: rastrea los estados de los datos a lo largo de estas rutas para encontrar defectos como punteros nulos, divisiones por 0 y pérdidas de memoria.
• Análisis basado en patrones: detecta errores haciendo coincidir el código con patrones de errores conocidos y las mejores prácticas de codificación.
• Tres modos ajustables: rápido (rápido, menos resultados), estándar (equilibrado), agresivo (profundo, más hallazgos).
• RuleWizard: crea tus propias reglas de análisis estático personalizadas.
• Análisis de duplicación de código: identifica código duplicado para mejorar el diseño de la aplicación y reducir los costos de mantenimiento.
• Análisis de métricas: calcula métricas de código (por ejemplo, complejidad, acoplamiento) para resaltar posibles puntos débiles arquitectónicos

CARACTERÍSTICAS PRINCIPALES

Personalice e integre una solución de pruebas completa en su SDLC para satisfacer sus necesidades específicas de proceso y cumplimiento.

Incluye todo en EsencialesY además:

• Pruebas automatizadas: Genere pruebas unitarias y de integración robustas y cobertura de código para el host, el simulador o el hardware de destino. Funciona a la perfección con frameworks existentes como GoogleTest.
• Análisis unificado: paneles personalizados para generar informes de cumplimiento y calidad del código en toda la organización.
• Cadena de herramientas con certificación de seguridad: acelere la certificación ISO 26262, DO-178C, etc. con kits de calificación de herramientas y certificado TÜV.
• Paquetes de cumplimiento específicos de la industria: configuraciones prediseñadas para los sectores automotriz, aeroespacial, médico, de seguridad y más.
• Paquete de inicio rápido: Ponga a su equipo en funcionamiento en tan solo un día.