Logotipo de GigaOm Radar

Parasoft nombrado líder y de rápido avance en el informe GigaOm Radar para pruebas funcionales automatizadas de API. Obtener informe de analista

Cumplimiento y herramientas de ISO 26262

Cumpla con la verificación y validación de software de la norma ISO 26262 con las soluciones de pruebas de Parasoft C/C++. Reduzca el costo de lograr el cumplimiento de la norma ISO 26262 automatizando los métodos de prueba requeridos por la norma.

¿Qué es ISO 26262?

ISO 26262 es una norma internacional de seguridad funcional que rige el desarrollo de dispositivos eléctricos, electrónicos y programables en la industria automotriz para garantizar la seguridad durante todo el ciclo de vida de los productos automotrices.

Cumplir con la norma ISO 26262

Asegúrese de que su software automotriz cumpla con los más altos estándares de seguridad al dominar los requisitos de verificación ISO 26262 y evite retiros críticos y costosos al garantizar la confiabilidad en la carretera.

La norma ISO 26262 se divide en 12 partes. La parte 6 de la norma aborda específicamente el desarrollo de productos a nivel de software. Los equipos que utilizan Parasoft ahorran tiempo y esfuerzo al adherirse a esta parte de la norma. Las secciones 6.9, 6.10 y 6.11 representan la prueba o verificación y validación formal del software.

Image showing the 12 parts of the ISO 26262 automotive functional standard with part 4 through 6 highlighted in the middle.

Descripción general de la serie de normas ISO 26262

Obtenga una descripción general de las 12 partes de la norma de seguridad funcional automotriz ISO 26262.

Guía para lograr la conformidad con la norma ISO 26262

Obtenga información valiosa sobre seguridad funcional con nuestra guía completa sobre ISO 26262.

Beneficios que Parasoft aporta a la certificación ISO 26262

Cumpla con los objetivos de la norma ISO 26262 automatizando métodos de verificación y validación como revisiones de código, trazabilidad de requisitos, análisis estático, pruebas unitarias, cobertura de código y más, al mismo tiempo que reduce la cantidad de costos laborales y el tiempo de comercialización.

Análisis estático

Examine automáticamente su código fuente utilizando el potente motor de análisis de código de Parasoft para la detección temprana de posibles errores, vulnerabilidades de seguridad y violaciones de estándares de codificación, sin ejecutar el código.

Cumplir con los estándares de cumplimiento

Parasoft ofrece una cobertura del 100% de MISRA, AUTOSAR C++ 14, CERT y otros estándares de codificación para las aplicaciones C y C++ más seguras posibles.

Pruebas de seguridad de análisis estático (SAST)

Integre el cumplimiento de los estándares de codificación de seguridad como CWE, OWASP, DISA ASD STIG y UL 2900 en los procesos de pruebas de análisis estático.

Análisis de flujo de control

El análisis del flujo de control de Parasoft reconoce las posibles rutas de ejecución a través de un programa y cómo el control se mueve de una parte del código a otra. Esto ayuda a detectar posibles problemas relacionados con la lógica, el flujo, la estructura y mucho más del programa.

Análisis de flujo de datos

Nuestro análisis del flujo de datos permite una comprensión más profunda del comportamiento del programa sobre cómo se usan, modifican y pasan los datos en el código, lo que ayuda a identificar problemas como variables no utilizadas, vulnerabilidades de inyección, XSS, exposición de datos confidenciales y más.

Recorridos y inspecciones

Mejore el análisis estático con tutoriales o el módulo de revisión de código. Diseñada para que las revisiones por pares sean más prácticas y productivas al automatizar la preparación, la notificación y el seguimiento, nuestra solución identifica automáticamente el código actualizado, lo relaciona con los revisores designados y realiza un seguimiento del progreso de cada elemento de revisión hasta su cierre.

Pruebe de forma más inteligente con IA y ML

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 violaciones que deben corregirse primero.

Análisis dinámico

Nuestro marco integral de pruebas de software para C y C++ admite pruebas unitarias, de integración, de sistema y más. El marco automatiza e implica la ejecución del programa con varias entradas y configuraciones para detectar problemas que se manifiestan durante la ejecución.

Examen de la unidad

Aísle la unidad que se va a probar con un marco de stubbing automatizado y simulacros para validar que cada unidad funcione como se espera y para garantizar que se comporte correctamente para una variedad de entradas, incluidos los casos en los que el código dependiente no está disponible.

Generación automatizada de casos de prueba

La generación automática de casos de prueba crea automáticamente casos de prueba, incluidos casos extremos y condiciones de error, que las pruebas escritas manualmente para código C y C++ podrían no cubrir. Esto mejora el proceso de prueba al reducir el esfuerzo manual, garantizar la coherencia y aumentar la cobertura de las pruebas.

Cobertura del código estructural

Cumpla con todos los requisitos de cobertura de código ISO 26262 con el soporte de Parasoft para varios tipos de cobertura, incluidos los de declaración, rama y MC/DC. Estos tipos de cobertura ayudan a garantizar la seguridad, protección y confiabilidad del código al identificar código no probado, código inactivo y defectos potenciales.

Informes de cumplimiento

Realice un seguimiento automático del cumplimiento y genere informes para demostrar el cumplimiento de estándares regulatorios y organizacionales específicos con nuestro panel de informes dinámico. También admite estrategias de informes avanzadas utilizando datos históricos, incluso para bases de código grandes y código heredado donde la visibilidad suele ser un desafío.

Trazabilidad de requisitos

Automatice y garantice la trazabilidad bidireccional ISO 26262 entre requisitos, casos de prueba, resultados de pruebas y código, incluidas las revisiones de código.

Incorpore análisis estático y dinámico en su flujo de trabajo de CI / CD

El análisis estático, las pruebas unitarias, las pruebas de regresión, la cobertura de código y la trazabilidad de requisitos de Parasoft se integran fácilmente en su flujo de trabajo de CI/CD. Los equipos también pueden integrar algunas de estas capacidades en otros marcos de prueba como GoogleTest para realizar pruebas continuas, lo que permite entregar código seguro, protegido y de alta calidad rápidamente.

Calificación de la herramienta

Las soluciones C/C++ de Parasoft para análisis estático, pruebas unitarias y cobertura de código han recibido la certificación TÜV SÜD para ISO 26262 en todos los niveles ASIL. También ofrecemos un kit de calificación de herramientas que automatiza el proceso de evaluación y validación de nuestras soluciones de pruebas C/C++, lo que garantiza que cumplan con los estándares y requisitos específicos para su uso en entornos de desarrollo críticos o regulados.

Soluciones para ayudar a cumplir con los requisitos de ISO 26262

Screenshot of main menu of Parasoft C/C++test product tour.
Icono de prueba de Parasoft C/C++

Prueba C / C ++

C/C++test es una potente solución de pruebas de software automatizadas para aplicaciones críticas de seguridad automotriz que garantizan el cumplimiento de la norma ISO 26262. Se integra perfectamente con su IDE de C y C++, canalización CI/CD e implementaciones en contenedores para los métodos de verificación y validación requeridos por la norma ISO 26262.

Más Información
Screenshot of the C/C++test CT product tour
Icono CT de prueba de Parasoft C/C++

Prueba C/C++ CT

La prueba CT C/C++ especialmente diseñada cumple con las estrictas demandas de seguridad automotriz y aplicaciones críticas para la protección, automatizando la cobertura de código y los métodos de verificación requeridos por ISO 26262 e ISO 21434. Se integra con marcos de prueba unitarios de código abierto populares, CI/CD. oleoductos e implementaciones en contenedores. Es una gran extensión para VS Code.

Más Información
Screenshot of Parasoft Report Center showing graphical test results of ISO 26262 compliance with AUTOSAR, MISRA, and CERT.
Icono de Parasoft DTP

DTP

Parasoft DTP agrega los resultados de las distintas prácticas de prueba y la trazabilidad de los requisitos para garantizar el cumplimiento de la norma ISO 26262. El panel de informes proporciona un monitoreo inteligente y continuo de los resultados de las pruebas para lograr una mayor visibilidad de las brechas, junto con lo que funciona y lo que no.

Más Información
Screenshot of Insure++
Icono de Parasoft Insure ++

Asegurar ++

Detecte automáticamente problemas de memoria, errores de tiempo de ejecución y vulnerabilidades de seguridad como corrupción de memoria, fugas de memoria, desbordamiento / subdesbordamiento de búfer, desbordamientos de pila y visualice las asignaciones y desasignaciones de memoria con pantallas gráficas.

Más Información

¿Por qué Parasoft?

Parasoft ofrece muchas ventajas exclusivas. Dado que muchos de nuestros clientes abarcan sectores que van desde dispositivos médicos hasta sistemas de defensa, nuestras soluciones deben ser dinámicas y sólidas. Desde herramientas de desarrollo hasta gestión del ciclo de vida, estas son algunas de las formas en que las soluciones de Parasoft ayudan a los equipos de software integrado a cumplir con las normas ISO 26262.

Icono dentro de un círculo azul de un engranaje blanco que representa la integración continua.

Integraciones dedicadas

Nuestras soluciones de pruebas de C/C++ ofrecen integraciones dedicadas con IDE y depuradores integrados y también admiten entornos IDE que incluyen Eclipse, VS Code, Green Hills Multi, Wind River Workbench, IAR EW, ARM MDK, ARM DS-5, TI CCS, Visual Studio y más.

Los equipos pueden usar C/C++test y C/C++test CT para ejecutar pruebas unitarias, de integración y de sistema en la plataforma host, el simulador o en el hardware de destino integrado. Optimice nuestra solución totalmente integrada para minimizar la sobrecarga adicional debido a la huella binaria de los ciclos de proceso.

Icono dentro de un círculo azul de una flecha circular blanca que comienza con una línea punteada y se vuelve sólida.

Pruebas a nivel de sistema de arquitectura orientada a servicios

Aproveche SOAtest y Virtualize para realizar pruebas a nivel de sistema y basadas en red, fundamentales para los vehículos definidos por software (SDV). Automatice las pruebas de API funcionales de extremo a extremo con la creación avanzada de pruebas funcionales en SOAtest para aplicaciones con múltiples interfaces y protocolos.

Cree integraciones antes, estabilice las dependencias y obtenga el control total de los datos de prueba con Virtualize. Los equipos pueden avanzar rápidamente sin tener que esperar a tener acceso a servicios dependientes que están incompletos o no están disponibles.

Icono dentro de un círculo azul de un automóvil blanco desde el frente.

Pruebas de software HIL para automoción

Nuestras soluciones C/C++ son fundamentales para garantizar que el software funcione de manera precisa y confiable cuando se integra con el hardware real, ya que realizan pruebas de hardware específicas. Ayudan a detectar problemas específicos del hardware, validar suposiciones de diseño y garantizar que el sistema cumpla con las condiciones y los requisitos de rendimiento del mundo real.

Icono dentro de un círculo azul que muestra un signo de dólar blanco.

Ahorro de tiempo y costes

Nuestras soluciones de automatización de pruebas permiten ahorrar tiempo y dinero de forma considerable. Nos esforzamos por hacer que sea lo menos complicado posible y por ofrecerle toda la ayuda necesaria para alcanzar sus objetivos de seguridad y cumplir con la norma ISO 26262. Los materiales educativos, como seminarios web, documentos técnicos y blogs, también actúan como herramientas complementarias permanentes.

Preguntas frecuentes