Découvrez GoogleTest certifié TÜV avec Agentic AI pour les tests C/C++ !
Plus de détails »
EMBEDDED
Les tests fonctionnels des logiciels embarqués pour les systèmes critiques doivent vérifier bien plus que le code. Ils doivent également valider les interactions entre les composants, notamment les API, les services et les messages qui déterminent le comportement sûr et fiable du système sur le terrain. Parasoft teste ces deux aspects, conformément à toutes les normes en vigueur dans votre secteur.
Les logiciels embarqués ne fonctionnent plus de manière isolée. Un véhicule, un avion, une pompe à perfusion ou un contrôleur industriel moderne est un réseau de composants échangeant des messages via des architectures orientées services et des bus de messages, souvent mis à jour à distance longtemps après sa livraison. La qualité dépend autant de la manière dont ces composants communiquent que de la capacité de calcul de chacun.
Parasoft effectue les deux tests avec une seule plateforme automatisée. Test C / C ++ et C/C++test CT gère la vérification au niveau du code : analyse statique, tests unitaires, couverture structurelle et preuves de certification. SOAtest et Virtualiser Étendre cette rigueur aux tests d'intégration — les API, les services et les dépendances entre les composants. DTP assure la traçabilité et la production de rapports prêts pour l'audit.
DIFFÉRENCIATEUR
La vérification au niveau du code est essentielle. Mais un système critique pour la sécurité ne se résume pas à ses composants. Les défauts qui immobilisent les aéronefs, rappellent les véhicules et déclenchent des interventions sur le terrain résident de plus en plus dans les interfaces et la communication entre les composants.
Un calculateur de freinage qui réussit tous les tests unitaires peut néanmoins présenter un dysfonctionnement si un contrôleur dépendant envoie un message erroné au mauvais moment. Un système de surveillance parfaitement fonctionnel en laboratoire peut tomber en panne si le système auquel il est connecté expire.
Les normes le savent, c'est pourquoi elles imposent des tests d'intégration, des tests d'interface et des tests de robustesse face à des entrées anormales (DO-178C §6.4.2.2 ; injection de défauts ISO 26262 ; tableaux de l'annexe IEC 61508).
Pour les satisfaire, il faut gérer les connexions, et pas seulement le code.
Pour tester le comportement d'un composant via une interface, l'élément distant doit être présent et suffisamment contrôlable pour permettre de reproduire les conditions requises par le test. Dans le développement de systèmes critiques pour la sécurité, voici les principaux obstacles rencontrés.
La construction est toujours en cours, réalisée par une autre équipe ou un autre fournisseur. L'attente retarde la vérification jusqu'à une phase avancée, lorsque les défauts coûtent le plus cher.
Les bancs d'essai HIL, les cartes cibles et les bancs d'essai certifiés sont limités, coûteux et partagés, ce qui freine les tests continus.
Une poignée de bancs d'essai et une file d'attente d'ingénieurs et de tâches d'intégration continue entraînent des conflits, des problèmes d'ordonnancement et des tests qui ne peuvent pas s'exécuter en parallèle.
Les normes exigent robustesse et injection de défauts : plages anormales, messages perdus, conditions hors limites. Il est impossible de piloter de manière fiable un calculateur de freinage réel ou de reproduire ces états sur un banc d'essai, de façon sûre et répétable.
Gammes de modèles, niveaux de finition et d'équipements, configurations régionales et d'abonnement : chaque combinaison doit être vérifiée, souvent avec des options inaccessibles physiquement. Recréer des environnements réels pour chaque variante n'est pas envisageable à grande échelle.
Virtualize simule le comportement, les réponses et les protocoles des composants avec lesquels votre système communique. Disponible à la demande, il est contrôlable au niveau du message et peut être utilisé en toute sécurité dans n'importe quelle condition de panne prévue par la norme.
Décalez les tests vers la gauche. Les équipes s'exercent sur demande aux conditions anormales et limites obligatoires, et chaque ingénieur et pipeline dispose de son propre environnement isolé. Cessez d'attendre du matériel rare, inachevé ou trop dangereux à endommager.
La couche connectée est testée avec autant de rigueur que le code, ce qui constitue le seul moyen de vérifier réellement le système.
Les normes exigent des techniques et des preuves rigoureuses. Parasoft offre les deux.
Analyse statique, tests unitaires et couverture structurelle — jusqu’à la couverture MC/DC et du code objet lorsque le niveau A de la norme DO-178C l’exige. Collectés sur l’hôte et la cible.
Outils d'analyse et de test certifiés TÜV SÜD, kits de qualification d'outils automatisés et rapports qui satisfont aux exigences de documentation et de traçabilité du processus de certification.
Normes
Industrie
Les véhicules à gestion logicielle ont intégré des dizaines de calculateurs dans des architectures zonales dotées de réseaux Ethernet orientés services. Les équipes doivent atteindre une couverture structurelle de niveau ASIL (jusqu'à MC/DC au niveau ASIL D) et valider la messagerie orientée services basée sur AUTOSAR (y compris SOME/IP) entre les calculateurs, souvent avant même que toutes les dépendances physiques ne soient établies.
C/C++test et C/C++test CT assurent l'analyse statique, les tests unitaires, la conformité MISRA/AUTOSAR C++14 et la couverture de code. SOAtest et Virtualize valident la messagerie SOME/IP et virtualisent les dépendances ECU indisponibles grâce à des tests de robustesse intégrés. Les outils certifiés TÜV SÜD et la traçabilité DTP génèrent les preuves ISO 26262 requises.
Normes
Industrie
La norme DO-178C impose les exigences les plus strictes de tous les secteurs. Au niveau A, la couverture structurelle s'étend au-delà des circuits MC/DC jusqu'au code objet/assembleur, les tests de robustesse sont obligatoires et le logiciel n'est jamais certifié de manière autonome ; il l'est uniquement dans le cadre du système embarqué, par l'intermédiaire d'un DER. Les environnements cibles sont rares et le temps de test certifié est coûteux.
C/C++test avec ASMTools automatise la couverture du code objet/assembleur, une exigence de niveau A sans équivalent. Les kits de qualification DO-330 automatisent la génération de preuves de qualification des outils (TQL-1 à 5). SOAtest gère les tests d'interface et de robustesse, tandis que Virtualize prend en charge les LRU et les bus dépendants, permettant ainsi aux tests d'intégration de s'effectuer indépendamment du matériel. DTP centralise la traçabilité et les preuves d'audit.
Normes
Industrie
La rigueur médicale est axée sur les risques, et non sur la couverture. Il n'existe pas de tableau de couverture prédéfini. L'assurance découle des contrôles des risques de la norme ISO 14971. Les équipes doivent gérer des logiciels d'origine inconnue (SOUP) et ne peuvent pas reproduire des dysfonctionnements dangereux sur un dispositif réel en laboratoire. Or, c'est précisément ce que les contrôles des risques exigent de vérifier. Les dispositifs connectés ajoutent les protocoles HL7/FHIR et la messagerie cloud à la surface de test.
C/C++test garantit un codage sécurisé (MISRA, CERT, CWE) avec une traçabilité bidirectionnelle reliant les tests et la couverture aux contrôles des risques de la norme ISO 14971. SOAtest et Virtualize testent la messagerie des périphériques connectés et simulent les systèmes dépendants et les conditions de panne impossibles à reproduire en toute sécurité sur le matériel. DTP centralise la traçabilité qui sous-tend les preuves de validation logicielle de la FDA.
Normes
Industrie
Le niveau SIL est défini par la probabilité de défaillance dangereuse, et la rigueur de la couverture structurelle augmente avec elle — jusqu'à MC/DC à SIL 4, selon l'annexe B de la norme IEC 61508-3. Les contrôleurs fonctionnent pendant des décennies sur des réseaux d'installations en service qui ne peuvent pas simplement être mis hors service ou forcés dans des états de défaut pour les tests — et les dispositifs de terrain sont souvent indisponibles pendant le développement.
C/C++test est directement conforme aux techniques des annexes A/B de la norme IEC 61508-3 requises par niveau SIL, avec une analyse statique, des tests unitaires et une couverture certifiés TÜV SÜD. SOAtest pilote les tests fonctionnels via des protocoles connectés tels que MQTT, tandis que Virtualize simule les dépendances entre les dispositifs de terrain et l'installation afin que les tests d'intégration et de défaillance puissent être exécutés sans interruption des systèmes en production. DTP assure la traçabilité SIL.
Normes
Industrie
Les logiciels ferroviaires sont soumis à des normes de certification SIL rigoureuses, impliquant de longs cycles de certification transfrontaliers et des environnements de test certifiés rares et coûteux. Les composants de signalisation et de contrôle doivent être vérifiés conjointement, mais les sous-systèmes dépendants et les équipements de voie sont rarement tous disponibles en même temps.
C/C++test est certifié TÜV SÜD pour les normes EN 50128/EN 50716 et assure l'analyse statique, les tests unitaires et la couverture requis par les niveaux SIL. SOAtest et Virtualize pilotent et simulent les sous-systèmes dépendants, permettant ainsi de démarrer les tests d'intégration au plus tôt. DTP génère la traçabilité et les preuves d'audit nécessaires à la validation croisée.
POURQUOI PARASOFT
Vérification au niveau du code avec C/C++test et C/C++test CT. Vérification au niveau de l'intégration avec SOAtest et Virtualize. Le tout dans une chaîne d'outils unique et unifiée. Plus besoin d'assembler des outils ponctuels pour combler le fossé entre les tests unitaires et système.
Les logiciels C/C++test et C/C++test CT sont certifiés TÜV SÜD pour la sécurité fonctionnelle selon les normes IEC 61508, IEC 62304, EN 50128/EN 50716 et ISO 26262, côté hôte et cible, avec des kits de qualification qui automatisent les preuves de qualification des outils DO-178C/DO-330 et ISO 26262.
La virtualisation élimine les dépendances rares, inachevées et dangereuses à rompre. Déplacez les tests en amont et rendez la robustesse requise et les conditions de panne reproductibles à la demande.
DTP centralise la traçabilité bidirectionnelle des exigences, la couverture et les rapports de conformité. Les preuves s'accumulent au fur et à mesure des tests.
Des tests continus sur l'hôte et la cible, intégrés aux chaînes d'outils embarquées et aux systèmes ALM que vos équipes utilisent déjà.
Test C / C ++
Test CT C/C++
Virtualiser
SOAtest
DTP