\u00ab Nombre de nos clients, notamment ceux qui d\u00e9veloppent des applications o\u00f9 la s\u00fbret\u00e9 est essentielle, nous ont alert\u00e9 sur leur besoin de qualifier les biblioth\u00e8ques standard. Les biblioth\u00e8ques deviennent partie int\u00e9grante des applications, mais, \u00e9tonnamment, aucun outil professionnel n\u2019\u00e9tait disponible sur le march\u00e9 pour qualifier des biblioth\u00e8ques. Cette observation nous a d\u00e9cid\u00e9 \u00e0 d\u00e9velopper SuperGuard, \u00bb explique Marianne Damstra, Directrice Relations Clients de Solid Sands. \u00ab En tant que premier acteur mondial du test de compilateurs destin\u00e9s aux applications \u00e0 s\u00fbret\u00e9 critique, et fort de notre exp\u00e9rience des tests et des exigences, nous \u00e9tions id\u00e9alement plac\u00e9s pour construire SuperGuard, et en faire l’outil de qualification de biblioth\u00e8que le plus complet \u00e0 ce jour. \u00bb<\/p>\n
SuperGuard fournit une tra\u00e7abilit\u00e9 compl\u00e8te entre les exigences d\u00e9riv\u00e9es de la d\u00e9finition du langage C ISO et la suite de test. SuperGuard conserve la documentation n\u00e9cessaire pour fournir les informations et la transparence exig\u00e9es par les autorit\u00e9s de certification internationales.<\/p>\n
\u00ab Tous les compilateurs C sont utilis\u00e9s avec une biblioth\u00e8que standard. Les fonctions de la biblioth\u00e8que sont li\u00e9es \u00e0 l’application et sont ex\u00e9cut\u00e9es sur la cible. Il incombe donc aux d\u00e9veloppeurs d’applications \u00e0 s\u00fbret\u00e9 critique de d\u00e9montrer que le code de la biblioth\u00e8que est aussi rigoureusement test\u00e9 que le code qu’ils \u00e9crivent eux-m\u00eames, \u00bb d\u00e9clare Marcel Beemster, Directeur Technique de Solid Sands. \u00ab Notre produit actuel, SuperTest, ne se contente pas de valider le compilateur, il contient \u00e9galement une suite compl\u00e8te de tests pour valider la biblioth\u00e8que. Nous devions fournir aux d\u00e9veloppeurs la documentation n\u00e9cessaire permettant de montrer que ces tests de biblioth\u00e8que \u00e9taient bien bas\u00e9s sur les exigences et les sp\u00e9cifications de test, telles que requises par les normes de s\u00e9curit\u00e9 fonctionnelle. \u00bb<\/p>\n
La sp\u00e9cification du langage C ne d\u00e9finit pas explicitement d’ensemble d’exigences en mati\u00e8re de test pour chaque fonction de biblioth\u00e8que. Pourtant, de telles exigences sont essentielles \u00e0 l’approbation des normes de s\u00fbret\u00e9 fonctionnelle telles que la norme ISO 26262. Ils doivent donc \u00eatre cr\u00e9\u00e9s \u00e0 partir de la sp\u00e9cification du langage par le d\u00e9veloppeur des tests, qui dans le cas pr\u00e9sent est Solid Sands. Ces exigences et la tra\u00e7abilit\u00e9 des tests sont ce qui diff\u00e9rencie SuperGuard.<\/p>\n
Les produits Solid Sands sont rapidement en train de devenir des r\u00e9f\u00e9rences en mati\u00e8re de qualification de compilateurs et de biblioth\u00e8ques pour les applications \u00e0 s\u00fbret\u00e9 critique. La suite de qualification de s\u00fbret\u00e9 de biblioth\u00e8que C, SuperGuard, sera disponible \u00e0 l’\u00e9t\u00e9 2021, \u00e0 la fois sous forme de produit autonome et sous forme de module compl\u00e9mentaire pour les utilisateurs de SuperTest. Un package logiciel similaire pour la biblioth\u00e8que standard C++ est actuellement en cours de d\u00e9veloppement.<\/p>\n