[ad_1]
Solid Sands ha agregado una colección de encabezados C++ a su SuperGuard Library Safety Qualification Suite, el conjunto de pruebas basado en requisitos de la compañía para bibliotecas estándar C y C++. Las características incluyen trazabilidad completa entre los requisitos derivados de la definición del lenguaje ISO C y C++ y las pruebas de bibliotecas individuales.
SuperGuard procesa las especificaciones de las bibliotecas ISO C y C++ en los requisitos que debe cumplir una implementación de la biblioteca. Estos requisitos están vinculados a especificaciones de prueba que especifican cómo una prueba particular debe verificar los requisitos, y la especificación está vinculada a las pruebas en SuperGuard.
La solución permite la creación de una ruta detallada desde la especificación hasta las pruebas que es fácil de entender y verificar y proporciona confianza en la conformidad de las implementaciones de las bibliotecas C y C++ con sus especificaciones. SuperGuard está diseñado para lograr una alta cobertura de código estructural de la implementación de la biblioteca de destino y ayudar a proporcionar una segunda forma de demostrar la integridad del conjunto de pruebas.
La suite tiene una herramienta de software para informar los requisitos que las implementaciones de bibliotecas C y C++ satisfacen y no, según lo verificado mediante una ejecución del conjunto de pruebas para un caso de uso o configuración específicos. Estos encabezados de C++ ya están disponibles y se puede acceder a ellos rápidamente para ampliar la versión actual de SuperGuard. Los encabezados SuperGuard C++ agregados están dirigidos a usuarios de implementaciones de bibliotecas C++ de código abierto LLVM y GCC y simplifican el proceso de certificación para los usuarios de estas bibliotecas.
Según Marianne Damstra, CCO de Solid Sands, “las bibliotecas C++ deben calificarse de la misma manera que la biblioteca estándar C, y los clientes de Solid Sands han estado interesados en agregar encabezados C++ a la suite SuperGuard desde su lanzamiento original en 2021. Estamos orgullosos de ser el primer proveedor de tecnología en ofrecer un producto que admite la calificación de bibliotecas C++ con un conjunto de pruebas sólido basado en requisitos».
Para facilitar el acceso a los nuevos encabezados y maximizar el uso de SuperGuard Library Safety Qualification Suite, Solid Sands ofrece SuperGuard C++ Core, que consta de encabezados comúnmente solicitados. Los usuarios pueden solicitar cualquier encabezado adicional que necesiten para garantizar una elección flexible para quienes utilizan parte de la biblioteca de C++.
Enlaces relacionados:
[ad_2]