X
ISO 26262

Cumplimiento de ISO 26262 con Parasoft

¿Qué es ISO 26262?

ISO 26262 “Vehículos de carretera - Seguridad funcional” es un estándar de seguridad funcional que cubre los sistemas automotrices eléctricos y electrónicos y su proceso de desarrollo, incluida la especificación de requisitos, diseño, implementación, integración, verificación, validación y configuración. El estándar proporciona orientación sobre las actividades del ciclo de vida de la seguridad automotriz al especificar los requisitos a nivel de software y hardware.

Hacer cumplir la norma ISO 26262 con análisis de código fuente y pruebas unitarias

Los usuarios de Parasoft pueden aprovechar Parasoft C / C ++test para reducir el costo de lograr el cumplimiento de la norma ISO 26262 mediante la automatización de múltiples métodos de prueba requeridos por la norma. La parte 6 del estándar aborda específicamente el desarrollo de productos a nivel de software, y los usuarios de Parasoft pueden ahorrar tiempo y esfuerzo adhiriéndose a esta parte del estándar.

Requisitos de cumplimiento de ISO 26262

Comprenda cómo cumplir con su nivel de riesgo de ASIL

Para el desarrollo del sistema a nivel de software, los usuarios deben implementar una colección de técnicas de prueba de software. Los métodos de prueba específicos que se requieren dependen de la clasificación de nivel ASIL del sistema. Por ejemplo, los usuarios que desarrollen sistemas clasificados como ASIL A solo necesitarán demostrar la cobertura de la declaración para demostrar un nivel suficiente de pruebas de software, mientras que los usuarios que desarrollen sistemas ASIL D deberán invertir más trabajo para asegurar el nivel apropiado de cobertura MC / DC.

Implementar análisis estático y pruebas unitarias

Para cumplir con ISO 26262, las organizaciones deben implementar múltiples procesos y requisitos, y técnicas como el análisis estático y las pruebas unitarias, que automatizan las actividades de desarrollo de software, pueden ayudar significativamente a las organizaciones a cumplir con los requisitos de ISO 26262. La calificación de la herramienta de software demuestra que la herramienta es adecuada para desarrollar un artículo o elemento relacionado con la seguridad.

Asegúrese de que su herramienta esté calificada para su uso

La prueba Parasoft C / C ++ está certificada por TÜV SÜD como adecuada para su uso en el desarrollo de sistemas críticos de seguridad. Nuestra certificación TÜV cubre la calificación de prueba C / C ++ para todos los niveles de ASIL. En apoyo de otros estándares de la industria, Parasoft tiene un kit de calificación que automatiza una parte significativa del proceso de calificación de herramientas, lo que reduce la cantidad de trabajo manual y elimina esta distracción de los equipos de software.

Cómo ayuda Parasoft a lograr el cumplimiento de la norma ISO 26262

Los usuarios de Parasoft pueden aprovechar Parasoft C / C ++test para reducir el costo de lograr el cumplimiento de la norma ISO 26262 mediante la automatización de múltiples métodos de prueba requeridos por la norma para ahorrar tiempo y esfuerzo. Los informes y cuadros de mando generados automáticamente proporcionan a los equipos una forma práctica de prevenir, exponer y corregir errores en el software y preparar la documentación necesaria para las auditorías.

Parasoft ayuda a las organizaciones a realizar análisis estáticos, pruebas unitarias, cobertura de código estructural, trazabilidad de requisitos y otros métodos de prueba recomendados por el estándar.

La prueba Parasoft C / C ++ facilita y automatiza los métodos de prueba de software especificados en ISO 26262, cuya parte 6 está dedicada al desarrollo de productos a nivel de software. Se especifican los requisitos para las siguientes actividades de desarrollo:

  • Inicialización del desarrollo de productos
  • Especificación de los requisitos de seguridad del software
  • Diseño arquitectónico de software
  • Diseño e implementación de la unidad
  • Prueba unitaria
  • Prueba e integración de software
  • Verificación de los requisitos de seguridad del software

Las tablas enumeradas en las secciones siguientes coinciden con los métodos de prueba de software clave de ISO 26262 con la prueba Parasoft C / C ++. (Las tablas están destinadas a proporcionar una muestra de la funcionalidad de Parasoft y de ninguna manera están completas).

Esta sección de ISO 26262 (Parte 6) define información general sobre el proceso de desarrollo y validación de software. Consulte los detalles en la tabla siguiente.

5.4.6 Requisitos para lograr la corrección del diseño y la implementación del software. Los métodos descritos aquí se aplican tanto a los lenguajes de programación como a los de modelado.

Requisito Capacidad de prueba de Parasoft C / C ++
Ejecución de baja complejidad Informa sobre la complejidad ciclomática, la complejidad esencial, la complejidad de Halstead y otras métricas de código
Uso de subconjunto de idiomas Aplicación de estándares de codificación, por ejemplo, detección de construcciones de lenguaje inseguras
Aplicación de la tipificación fuerte Aplicación de estándares de codificación, detección de conversiones implícitas
Uso de técnicas de implementación defensiva Hace cumplir la programación defensiva contra las reglas de estándares de codificación apropiadas, por ejemplo, verificando el valor de retorno de malloc, verificando el valor del código de error devuelto por las funciones llamadas, etc.
Uso de principios de diseño establecidos Aplicación de conjuntos de reglas de estándares de codificación de la industria, por ejemplo, MISRA C / C ++, JSF, métricas de código fuente HIS, etc.
Uso de representación gráfica inequívoca Aplicación de convenciones de formato específicas
Uso de guías de estilo Aplicación de convenciones de codificación específicas
Uso de convenciones de nomenclatura Aplicación de convenciones de nomenclatura específicas

Esta sección define el proceso de especificación e implementación de unidades de software, así como la verificación del diseño e implementación.

8.4.5 Especifica los métodos de verificación para verificar el diseño y la implementación de la unidad de software.

Requisito Capacidad de prueba de Parasoft C / C ++
Análisis de flujo de control Análisis de flujo de control
Análisis de flujo de datos. Análisis de flujo de datos.
Análisis de código estático Aplicación de estándares de codificación

Esta sección define el proceso de planificación, definición y ejecución de pruebas de unidades de software.

9.4.1 Describe información general sobre la ejecución de la prueba unitaria.

Requisito Capacidad de prueba de Parasoft C / C ++
Ejecución de prueba unitaria
  • Módulo de ejecución de pruebas unitarias
  • Módulo de informes para la presentación de resultados
Especificación de prueba unitaria
  • El módulo de generación de pruebas unitarias configurables crea pruebas de acuerdo con la especificación definida
  • El módulo Explorador de casos de prueba presenta una lista de todos los casos de prueba definidos con estado de pasa / falla

9.4.2 Describe los métodos utilizados para especificar y ejecutar pruebas unitarias.

Requisito Capacidad de prueba de Parasoft C / C ++
Pruebas basadas en requisitos
  • Los usuarios pueden diseñar casos de prueba unitarios con la prueba Parasoft C / C ++ de acuerdo con los requisitos
  • Los casos de prueba unitaria se pueden atribuir con ID de requisito
  • El marco de informes de pruebas de Parasoft C / C ++ se integra con los sistemas de gestión de requisitos y genera informes que presentan los resultados de las pruebas en el contexto de requisitos específicos
Especificación de prueba unitaria
  • Mapas de casos de prueba con requisitos y / o defectos junto con el Concierto
  • Admite casos de prueba definidos por el usuario creados manualmente y pruebas creadas con el Editor de casos de prueba
Pruebas de interfaz
  • Se pueden crear casos de prueba unitaria
  • Utiliza stubs de funciones y fuentes de datos para emular el comportamiento de componentes externos para la ejecución automática de pruebas unitarias
Pruebas de inyección de fallas
  • Hacer cumplir las condiciones de falla usando stubs de función
  • Generación automática de pruebas unitarias utilizando un conjunto diferente de condiciones previas (p. Ej., Valores mínimos, máximos y heurísticos)

9.4.3 Define los métodos que se deben utilizar para crear casos de prueba.

Requisito Capacidad de prueba de Parasoft C / C ++
Declaración de cobertura Módulo de cobertura de código
Cobertura de sucursales Módulo de cobertura de código
MC / DC (condición modificada / cobertura de decisión) Módulo de cobertura de código

9.4.5 Define los requisitos para el entorno de prueba.

Requisito Capacidad de prueba de Parasoft C / C ++
El entorno de prueba para las pruebas unitarias se corresponderá en la medida de lo posible con el entorno objetivo. Ejecución de la prueba unitaria tanto en el dispositivo de destino como en el simulador para realizar pruebas en diferentes entornos (por ejemplo, software en el bucle, procesador en el bucle, hardware en el bucle

10.4.2 Describe información general sobre la ejecución de pruebas de integración de software.

Requisito Capacidad de prueba de Parasoft C / C ++
Pruebas de integración Configuración flexible del alcance del software probado (desde una sola función hasta una aplicación completa)

10.4.5 Define métodos para demostrar la integridad de las pruebas de integración.

Requisito Capacidad de prueba de Parasoft C / C ++
Cobertura de funciones Módulo de cobertura de código
Cobertura de llamada de función Módulo de cobertura de código

10.4.7 Define los requisitos para el entorno de prueba de integración.

Requisito Capacidad de prueba de Parasoft C / C ++
El entorno de prueba para las pruebas de integración de software se corresponderá en la medida de lo posible con el entorno de destino.
  • Las pruebas de integración se pueden ejecutar tanto en el dispositivo de destino como en el simulador para realizar pruebas en diferentes entornos (por ejemplo, software en el bucle, procesador en el bucle, hardware en el bucle)
  • Marco de stub flexible
Libro blanco (whitepaper)

Cumplimiento del software ISO 26262

Desarrollar software compatible con ISO 26262 para sistemas E / E en automóviles no es tarea fácil, pero Parasoft alivia la carga al ofrecer una amplia gama de herramientas de análisis y le permite monitorear automáticamente el cumplimiento de su política de desarrollo, reduciendo la brecha entre las actividades de desarrollo y Procesos de negocios. Para obtener la lista completa de asignaciones, descargue este recurso.

Descargar

Prueba Parasoft