ISO 26262 Parte 6: desarrollo del producto a nivel de software
ISO 26262 Parte 6 adopta un enfoque paralelo al tratar el código de la biblioteca del mismo modo que el resto del código de la aplicación ejecutado en el destino. Curiosamente, no menciona las bibliotecas como una categoría de código por separado y ello podría ser la razón por la que se pasa por alto a menudo la necesidad de validar la biblioteca.
La validación de la Biblioteca Estándar de C tal como aparece detallada en ISO 26262 Parte 6 es más amplia que la detallada en la Parte 8 porque la Parte 6 se dirige a todas las fases de desarrollo del software.
La Parte 6, Tabla 7: “Métodos para la verificación de unidades de software” incluye la comprobación basada en requisitos como una de sus recomendaciones para todos los niveles de ASIL. Como se ha señalado antes para la “validación de los componentes de software” (ISO 26262 Parte 8, Cláusula 12), SuperGuard asume toda la comprobación basada en requisitos, aunque en la práctica se recomienda que los desarrolladores utilicen más de uno de los métodos indicados en la tabla para verificar una implementación de la Biblioteca Estándar de C.
SuperGuard también emplea todos los métodos indicados en la Parte 6, Tabla 8: “Métodos procedentes de casos de prueba para comprobar unidades de software”. El Método 1a, “Análisis de requisitos” se usa para descomponer la especificación de la Biblioteca Estándar de C en requisitos comprobables. La descripción de la Biblioteca Estándar de C es una mezcla de definiciones (a veces implícitas) y restricciones en el uso de funciones, así como de definiciones de la respuesta de las funciones. En SuperGuard también se han convertido en requisitos comprobables que constituyen la base del paquete de prueba, incluidos los requisitos para el manejo de casos anómalos definidos en el estándar del lenguaje.
Los Métodos 1b, “Generación y análisis de clases de equivalencia”, y 1c, “Análisis de valores límite”, se refieren a la partición de los dominios de los valores de entrada de las funciones y son cubiertos en las especificaciones de prueba de SuperGuard, que proporcionan la unión entre los requisitos y los test.
El Método 1d, “Estimación de errores a partir de los conocimientos y la experiencia«, se basa en el conocimiento de Solid Sands de áreas de implementación difícil para la biblioteca de C, así como en las pruebas de regresión efectuadas desde el desarrollo inicial del paquete de prueba y verificación del compilador SuperTest de Solid Sands hace más de 30 años.
Con este planteamiento, SuperGuard desempeña un papel destacable en el lado derecho del Modelo V para desarrollo de software. Con relación a ISO 26262 Parte 6, Cláusula 9: “Verificación de la unidad de software”, abarca lo siguiente:
- Cumplimiento de la implementación de la biblioteca estándar de C según sus requisitos
- Verificación de la interfaz de hardware-software mediante test en el hardware de destino
- Confianza en la ausencia de funcionalidades imprevistas mediante la verificación de casos de fallo y la monitorización de la cobertura de código
- Verificación de los recursos necesarios mediante test en el hardware de destino
