Solid Sands ha anunciado hoy el lanzamiento de SuperGuard C Library Safety Qualification Suite. Dentro de SuperGuard, se documentan los requisitos y las especificaciones de las pruebas de la biblioteca C, como ya está disponible en SuperTest.

"Muchos de nuestros clientes, incluidos los de sectores que desarrollan aplicaciones críticas para la seguridad, nos han alertado de su necesidad de calificar las bibliotecas estándar. La librería se convierte en una parte integral de las aplicaciones, mientras que había una falta de herramientas profesionales para la cualificación de la librería en el mercado. Esta observación nos hizo decidirnos a desarrollar SuperGuard", explicó Marianne Damstra, CCO de Solid Sands. "Como empresa más destacada del mundo en la comprobación de compiladores para su uso en el ámbito de las aplicaciones críticas para la seguridad, combinada con nuestro profundo conocimiento de las pruebas y los requisitos, estábamos perfectamente capacitados y podíamos crear SuperGuard para que fuera la herramienta de cualificación de librerías más completa disponible en la actualidad."

SuperGuard proporciona una trazabilidad completa entre los requisitos derivados de la definición del lenguaje ISO C y el conjunto de pruebas. SuperGuard mantiene la documentación necesaria para ofrecer la información y la transparencia que exigen las autoridades de certificación internacionales.

"Todos los compiladores de C se utilizan con una biblioteca estándar. Las funciones de la biblioteca se vinculan a la aplicación y se ejecutan en el objetivo. Esto hace que los desarrolladores de aplicaciones críticas para la seguridad tengan que demostrar que el código de la biblioteca está tan rigurosamente probado como el código que ellos mismos escriben", dijo Marcel Beemster, CTO de Solid Sands. "Nuestro producto actual SuperTest no sólo valida el compilador, sino que también contiene un conjunto completo de pruebas para validar la biblioteca. Necesitábamos proporcionar a los desarrolladores la documentación necesaria para mostrar cómo esas pruebas de la biblioteca se basan en los requisitos y las especificaciones de las pruebas, al nivel exigido por las normas de seguridad funcional."

La especificación del lenguaje C no define explícitamente un conjunto de requisitos que puedan probarse para cada función de la biblioteca, y sin embargo esos requisitos son un componente esencial de las aprobaciones de normas de seguridad funcional como la ISO 26262. Por lo tanto, deben ser creados a partir de la especificación del lenguaje por el desarrollador de las pruebas, que en este caso es Solid Sands. Estos requisitos y la trazabilidad de las pruebas son lo que diferencia a SuperGuard.

Los productos de Solid Sands se están convirtiendo rápidamente en el "estándar de oro" para la calificación de compiladores y bibliotecas en aplicaciones de seguridad crítica.

SuperGuard C Library Safety Qualification Suite estará disponible en el verano de 2021, como producto independiente y como complemento para los usuarios de SuperTest. Actualmente se está desarrollando un paquete similar para la biblioteca estándar de C++.

Más información o presupuesto