Cumplimiento y herramientas de ISO 26262

Los tutoriales de Parasoft o el módulo de revisión de código están diseñados para hacer que las revisiones por pares sean más prácticas y productivas al automatizar la preparación, la notificación y el seguimiento. Identifica automáticamente el código actualizado, lo compara con los revisores designados y realiza un seguimiento del progreso de cada elemento de revisión hasta el cierre.

La tecnología Parasoft utiliza varias técnicas de análisis, incluida la simulación de rutas de ejecución de aplicaciones, para identificar rutas que podrían desencadenar defectos en tiempo de ejecución. Los defectos detectados incluyen el uso de memoria no inicializada, desreferenciación de puntero nulo, división por cero, pérdida de memoria y recursos.

El análisis de flujo de datos de Parasoft ayuda a encontrar defectos que pueden causar fallas, como excepciones y fugas de recursos, sin tener que crear, ejecutar o mantener casos de prueba. Además, muestra si las rutas de ejecución de aplicaciones reales podrían generar vulnerabilidades de inyección, XSS, exposición de datos confidenciales y otras vulnerabilidades. Esto proporciona una manera rápida y fácil de identificar problemas de confiabilidad y rendimiento sin tener que ejecutar la aplicación.

Logre el cumplimiento de los estándares de codificación de seguridad como MISRA, AUTOSAR C ++ 14 y más. O cree su propia configuración de estándares de codificación personalizada para su organización y proveedores utilizando nuestro RuleWizard.

Incorpore el cumplimiento de los estándares de codificación de seguridad como SEI CERT, CWE, OWASP, DISA-ASD-STIG y UL 2900 en los procesos de prueba de SA y asegúrese de que su código cumpla con los más estrictos estándares de seguridad.

Cumplir con todos los requisitos de cobertura del código ISO 26262. Todos los tipos de cobertura de código (estado de cuenta, sucursal, MC/DC y más) son compatibles y ayudan a garantizar la seguridad y la confiabilidad del código al exponer el código no probado, el código inactivo y eliminar los defectos.

Aísle la unidad que se probará con el marco de creación de apéndices automatizado de Parasoft y simulacros en los casos en que el código dependiente no esté disponible, carezca de capacidad de control o en los casos en que la inyección de errores sea difícil.

Crear pruebas unitarias manualmente es tedioso, pero afortunadamente, las pruebas unitarias se prestan bien a la creación automática de pruebas unitarias. La generación de casos de prueba configurables de Parasoft puede crear casos de prueba inteligentes que identificarán errores, automatizarán la cobertura de código, recopilarán resultados y métricas para alimentar análisis de proyectos.

El análisis estático, las pruebas unitarias, las pruebas de regresión y la cobertura de código de Parasoft se integran fácilmente en su proceso de CI/CD. Con pruebas continuas, los equipos pueden ofrecer servicios seguros, protegidos y código de calidad - con rapidez.

El panel de informes dinámicos de Parasoft rastrea automáticamente el cumplimiento y puede producir informes automáticamente. También permite estrategias avanzadas de generación de informes utilizando datos históricos, incluso cuando se trabaja con grandes bases de código y código heredado donde la visibilidad del código suele ser un desafío.

Automatice la trazabilidad bidireccional entre requisitos, casos de prueba, resultados de prueba, código y revisiones de código.

Los defectos de código que se encuentran en la producción o en el campo son los más costosos. Evite que se escapen a través de las grietas resaltando el código que no ha sido probado antes de lanzar su aplicación. Esto puede realizarse en la estación de trabajo del desarrollador o automatizarse como parte de la tubería de integración continua (CI).

Las soluciones de Parasoft han sido certificadas por TÜV SÜD para ISO 26262 para todos los niveles de ASIL.

Parasoft incorpora inteligencia artificial y aprendizaje automático para mejorar la productividad en el flujo de trabajo de análisis estático de su equipo, marcando y priorizando las infracciones que deben corregirse primero.