Simplifiez les flux de travail de conformité avec le nouveau test C/C++ 2024.2 et l'automatisation pilotée par l'IA | Inscrivez-vous
Conformité ISO 26262 et outils
Réalisez la vérification et la validation des logiciels conformes à la norme ISO 26262 avec les solutions de test Parasoft C/C++. Réduisez le coût de mise en conformité à la norme ISO 26262 en automatisant les méthodes de test requises par la norme.
ISO 26262
Qu’est-ce que la norme ISO 26262 ?
L'ISO 26262 est une norme internationale relative à la sécurité fonctionnelle qui régit le développement de dispositifs électriques, électroniques et programmables dans l'industrie automobile afin de garantir la sécurité tout au long du cycle de vie des produits automobiles.
Conforme à la norme ISO 26262
Assurez-vous que votre logiciel automobile répond aux normes de sécurité les plus élevées en maîtrisant les exigences de vérification de la norme ISO 26262 et évitez les rappels critiques et coûteux en garantissant une fiabilité prête à rouler.
La norme ISO 26262 est divisée en 12 parties. La partie 6 de la norme traite spécifiquement du développement de produits au niveau logiciel. Les équipes qui utilisent Parasoft économisent du temps et des efforts en adhérant à cette partie de la norme. Les sections 6.9, 6.10 et 6.11 représentent les tests ou la vérification et la validation formelles du logiciel.
Aperçu de la série de normes ISO 26262
Obtenez un aperçu des 12 parties de la norme de sécurité fonctionnelle automobile ISO 26262.
Guide pour atteindre la conformité à la norme ISO 26262
Obtenez des informations précieuses sur la sécurité fonctionnelle grâce à notre guide complet sur la norme ISO 26262.
Avantages apportés par Parasoft à la norme ISO 26262
Répondez aux objectifs de la norme ISO 26262 en automatisant les méthodes de vérification et de validation telles que les revues de code, la traçabilité des exigences, l'analyse statique, les tests unitaires, la couverture de code, etc., tout en réduisant les coûts de main-d'œuvre et les délais de mise sur le marché.
Analyse statique
Examinez automatiquement votre code source à l'aide du puissant moteur d'analyse de code de Parasoft pour une détection précoce des erreurs potentielles, des vulnérabilités de sécurité et des violations des normes de codage, sans exécuter le code.
Satisfaire aux normes de conformité | Parasoft offre une couverture à 100 % des normes de codage MISRA, AUTOSAR C++ 14, CERT et autres pour les applications C et C++ les plus sûres et les plus sécurisées possibles. |
Test de sécurité d'analyse statique (SAST) | Intégrez la conformité aux normes de codage de sécurité telles que CWE, OWASP, DISA ASD STIG et UL 2900 dans les processus de test d'analyse statique. |
Analyse du flux de contrôle | L'analyse du flux de contrôle de Parasoft reconnaît les chemins d'exécution possibles dans un programme et la manière dont le contrôle passe d'une partie du code à une autre. Cela permet de détecter les problèmes potentiels liés à la logique, au flux, à la structure du programme et bien plus encore. |
Analyse du flux de données | Notre analyse du flux de données permet une compréhension plus approfondie du comportement du programme sur la manière dont les données sont utilisées, modifiées et transmises dans le code, aidant à identifier des problèmes tels que les variables inutilisées, les vulnérabilités d'injection, les XSS, l'exposition de données sensibles, etc. |
Visites et inspections | Améliorez l'analyse statique avec des procédures pas à pas ou le module de révision de code. Conçue pour rendre les évaluations par les pairs plus pratiques et productives en automatisant la préparation, la notification et le suivi, notre solution identifie automatiquement le code mis à jour, le fait correspondre aux réviseurs désignés et suit la progression de chaque élément de révision jusqu'à la clôture. |
Testez plus intelligemment avec l'IA et le ML | Parasoft intègre l'intelligence artificielle et l'apprentissage automatique pour améliorer la productivité du flux de travail d'analyse statique de votre équipe, en signalant et en hiérarchisant les violations qui doivent être corrigées en premier. |
Analyse dynamique
Notre infrastructure complète de tests logiciels pour C et C++ prend en charge les tests unitaires, d'intégration, système et bien plus encore. L'infrastructure automatise et implique l'exécution du programme avec diverses entrées et configurations pour détecter les problèmes qui se manifestent pendant l'exécution.
Tests unitaires | Isolez l'unité à tester avec un framework de stubbing automatisé et des simulations pour valider que chaque unité fonctionne comme prévu et pour garantir qu'elle se comporte correctement pour une variété d'entrées, y compris les cas où le code dépendant n'est pas disponible. |
Génération de cas de test automatisée | La génération automatique de cas de test crée automatiquement des cas de test, y compris des cas limites et des conditions d'erreur, que les tests écrits manuellement pour le code C et C++ peuvent ne pas couvrir. Cela améliore le processus de test en réduisant l'effort manuel, en garantissant la cohérence et en augmentant la couverture des tests. |
Couverture du code structurel | Répondez à toutes les exigences de couverture de code ISO 26262 grâce à la prise en charge par Parasoft de différents types de couverture, notamment les instructions, les branches et les MC/DC. Ces types de couverture contribuent à garantir la sécurité et la fiabilité du code en identifiant le code non testé, le code mort et les défauts potentiels. |
Rapport de conformité
Suivez automatiquement la conformité et générez des rapports pour démontrer le respect de normes réglementaires et organisationnelles spécifiques grâce à notre tableau de bord de création de rapports dynamique. Il prend également en charge des stratégies de création de rapports avancées utilisant des données historiques, même pour les bases de code volumineuses et le code hérité où la visibilité est généralement difficile.
Traçabilité des exigences
Automatisez et assurez la traçabilité bidirectionnelle ISO 26262 entre les exigences, les cas de test, les résultats de test et le code, y compris les revues de code.
Incorporez l'analyse statique et dynamique à votre flux de travail CI/CD
L'analyse statique, les tests unitaires, les tests de régression, la couverture de code et la traçabilité des exigences de Parasoft s'intègrent facilement dans votre pipeline CI/CD. Les équipes peuvent également intégrer certaines de ces fonctionnalités dans d'autres frameworks de test comme GoogleTest pour des tests continus, permettant ainsi la livraison rapide de code sûr, sécurisé et de haute qualité.
Qualification des outils
Les solutions C/C++ de Parasoft pour l'analyse statique, les tests unitaires et la couverture de code ont été certifiées ISO 26262 par le TÜV SÜD à tous les niveaux ASIL. Nous proposons également un kit de qualification d'outils qui automatise le processus d'évaluation et de validation de nos solutions de test C/C++, garantissant qu'elles répondent à des normes et exigences spécifiques pour une utilisation dans des environnements de développement critiques ou réglementés.
Solutions pour aider à répondre aux exigences ISO 26262
Test C / C ++
C/C++test est une solution de test logiciel automatisée puissante pour les applications critiques de sécurité et de sûreté automobile qui garantissent la conformité à la norme ISO 26262. Il s'intègre étroitement dans votre IDE C et C++, votre pipeline CI/CD et vos déploiements conteneurisés pour les méthodes de vérification et de validation requises par la norme ISO 26262.
En savoir plus
Test CT C/C++
Le test CT C/C++ spécialement conçu répond aux exigences strictes des applications automobiles critiques en matière de sûreté et de sécurité, en automatisant la couverture du code et les méthodes de vérification requises par les normes ISO 26262 et ISO 21434. Il s'intègre aux cadres de tests unitaires open source populaires, CI/CD. pipelines et déploiements conteneurisés. C'est une excellente extension pour VS Code.
En savoir plus
DTP
Parasoft DTP regroupe les résultats de toutes les pratiques de test et la traçabilité des exigences pour garantir la conformité à la norme ISO 26262. Le tableau de bord de reporting fournit une surveillance intelligente et continue des résultats des tests pour une meilleure visibilité sur les lacunes ainsi que sur ce qui fonctionne et ce qui ne fonctionne pas.
En savoir plus
Assurer ++
Détectez automatiquement les problèmes de mémoire, les erreurs d'exécution et les vulnérabilités de sécurité telles que la corruption de mémoire, les fuites de mémoire, les débordements/débordements de mémoire tampon, les dépassements de pile et visualisez les allocations et les désallocations de mémoire avec des affichages graphiques.
En savoir plusPourquoi Parasoft?
Parasoft présente de nombreux avantages uniques. Étant donné que bon nombre de nos clients sont issus de secteurs allant des dispositifs médicaux aux systèmes de défense, nos solutions doivent être dynamiques et robustes. Des outils de développement à la gestion du cycle de vie, voici quelques-unes des façons dont les solutions Parasoft aident les équipes de logiciels embarqués à se conformer aux exigences ISO 26262.
Intégrations dédiées
Fournissant des intégrations dédiées avec des IDE et des débogueurs intégrés, nos solutions de test C/C++ prennent également en charge les environnements IDE qui incluent Eclipse, VS Code, Green Hills Multi, Wind River Workbench, IAR EW, ARM MDK, ARM DS-5, TI CCS, Visual Studio, et plus encore.
Les équipes peuvent utiliser C/C++test et C/C++test CT pour exécuter des tests unitaires, d'intégration et système sur la plateforme hôte, le simulateur ou sur le matériel cible intégré. Optimisez notre solution entièrement intégrée pour minimiser les frais supplémentaires dus à l'empreinte binaire des cycles de processus.
Tests au niveau du système d'architecture orientée services
Exploitez SOAtest et Virtualize pour des tests au niveau du système basés sur le réseau, essentiels pour les véhicules définis par logiciel (SDV). Automatisez les tests d'API fonctionnels de bout en bout avec la création de tests fonctionnels avancés dans SOAtest pour les applications avec plusieurs interfaces et protocoles.
Créez des intégrations plus tôt, stabilisez les dépendances et obtenez un contrôle total des données de test avec Virtualize. Les équipes peuvent évoluer rapidement sans attendre l'accès aux services dépendants qui sont incomplets ou indisponibles.
Tests de logiciels HIL pour l'automobile
Nos solutions C/C++ sont essentielles pour garantir que les logiciels fonctionnent de manière précise et fiable lorsqu'ils sont intégrés au matériel réel. Elles permettent de détecter les problèmes spécifiques au matériel, de valider les hypothèses de conception et de garantir que le système répond aux conditions réelles et aux exigences de performances.
Économies de temps et d'argent
Nos solutions d'automatisation des tests permettent de réaliser des économies de temps et d'argent considérables. Nous nous efforçons de rendre le processus aussi simple que possible et de vous accompagner autant que nécessaire pour atteindre vos objectifs de sécurité en matière de conformité à la norme ISO 26262. Les supports pédagogiques tels que les webinaires, les livres blancs et les blogs servent également d'outils complémentaires permanents.
FAQ
Documentation associée
Améliorez vos tests logiciels avec les solutions Parasoft.