Utilisez Agentic AI pour générer des tests API plus intelligents. En quelques minutes. Apprenez comment >>
DO-178C
Conformité à la norme DO-178C
Vérifiez et validez les logiciels conformes à la norme DO-178C avec les solutions de test Parasoft C/C++. Réduisez le coût de mise en conformité à la norme DO-178C en automatisant les méthodes de test requises par la norme.
DO-178C
Qu'est-ce que le DO-178C ?
DO-178C est une norme internationale régissant le développement de logiciels dans les systèmes et équipements embarqués pour assurer la sécurité fonctionnelle tout au long du cycle de vie des produits aéronautiques.
Satisfaire DO-178C
Maîtrisez les exigences de vérification DO-178C, évitez les pannes critiques et assurez la certification de navigabilité afin que votre logiciel embarqué réponde aux normes de sécurité les plus élevées.
Guide de conformité à la norme DO-178C pour l'aérospatiale et la défense
Découvrez la norme stricte de sécurité fonctionnelle DO-178C. Découvrez un cadre complet pour créer un processus de conformité stable et durable.
Avantages apportés par Parasoft à DO-178C
Répondez aux objectifs de la norme DO-178C en automatisant les méthodes de vérification et de validation telles que les révisions de code, la traçabilité des exigences, l'analyse statique, les tests unitaires, la couverture de code, etc. Réduisez les coûts de développement et accélérez les délais de certification tout en maintenant la conformité en matière de sécurité.
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 norme de codage violations, sans exécuter le code.
Conforme aux normes de conformité DO-178C | Parasoft fournit un support de conformité pour les normes de codage spécifiques à l'aviation et générales, garantissant des applications C et C++ robustes et fiables. | |
Test de sécurité d'analyse statique (SAST) | Intégrez la conformité aux règles et directives de codage de sécurité provenant de normes telles que CWE, CERT, OWASP et DISA ASD STIG dans vos processus d'analyse statique pour garantir une sécurité logicielle robuste pour les systèmes aéroportés. | |
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, etc. | |
Analyse du flux de données | L'analyse du flux de données permet de détecter des vulnérabilités telles que des variables non initialisées, des défauts d'injection et une gestion dangereuse des données dans les logiciels avioniques critiques. | |
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. Si vous utilisez l'éditeur VS Code, appliquez notre extension de test C/C++ et exploitez l'assistant IA de Parasoft pour expliquer les violations d'analyse statique et recevoir des suggestions pour les corriger. |
Analyse dynamique – DO-178C
Notre infrastructure complète de tests logiciels pour C et C++ prend en charge les tests unitaires, les tests d'intégration, les tests système, etc. L'infrastructure automatise la création de tests 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 DO-178C grâce à la prise en charge par Parasoft de divers types de couverture, notamment les codes d'instruction, de branche, MC/DC et d'assemblage ou d'objet. Ces types de couverture et d'autres contribuent à garantir la sécurité et la fiabilité du code en identifiant le code non testé, le code mort et les défauts potentiels. |
Traçabilité des exigences
Automatisez et assurez la traçabilité bidirectionnelle DO-178C entre les exigences, les cas de test, les résultats de test, le code source et les revues de code pour répondre aux objectifs DO-178C et garantir la conformité.
Rapport de conformité
Suivez automatiquement la conformité à la norme DO-178C 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.
Incorporez l'analyse statique et dynamique à votre flux de travail CI/CD
Nos analyses statiques, tests unitaires, tests de régression, couverture de code et traçabilité des exigences 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 la livraison de code sûr, sécurisé et fiable, tout en rationalisant la conformité aux normes DO-178C.
Qualification des outils
Les solutions de test C/C++ de Parasoft incluent des kits de qualification d'outils pour valider leur utilisation dans des applications critiques pour la sécurité dans n'importe quel écosystème de développement. Ces kits automatisent l'évaluation de nos capacités d'analyse statique, de tests unitaires et de couverture de code pour garantir qu'elles répondent aux exigences de conformité définies par les normes DO-330 et DO-178C.
Solutions pour aider à atteindre les objectifs de la norme DO-178C
Test C / C ++
C/C++test est une puissante solution de tests logiciels automatisés pour les applications critiques en matière de sécurité et de sûreté. Elle offre des analyses statiques et dynamiques, la traçabilité des exigences, et bien plus encore. Elle garantit la conformité à la norme DO-178C et s'intègre parfaitement aux IDE C et C++, aux pipelines CI/CD et aux déploiements conteneurisés afin de répondre aux exigences de vérification et de validation de la norme.
En Savoir Plus
Test CT C/C++
Le test CT C/C++ spécialement conçu répond aux exigences strictes des applications critiques pour la sécurité et la sûreté aériennes en automatisant les méthodes de vérification de la couverture du code et de la traçabilité des exigences requises par les normes DO-178C et DO-326A. Il s'intègre parfaitement aux frameworks de tests unitaires open source populaires tels que GoogleTest, aux pipelines CI/CD et aux déploiements conteneurisés. De plus, il constitue une excellente extension pour VS Code.
En Savoir Plus
DTP
Parasoft DTP agrège les résultats de toutes les pratiques de test et assure la traçabilité des exigences afin de garantir la conformité à la norme DO-178C. Le tableau de bord de reporting assure un suivi intelligent et continu des résultats des tests, pour une meilleure visibilité sur les écarts, les points positifs et les points négatifs.
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 Plus« Le meilleur outil de test sur cible DO-178 que j'ai essayé. »
Dans l’ensemble, l’expérience utilisateur a dépassé nos attentes de la concurrence.
Il a fallu des SEMAINES avec d'autres outils pour instrumenter correctement notre base de code et extraire la couverture de la cible. Avec Parasoft, cela m'a pris 16 heures sur deux jours de travail et j'ai rencontré très peu de problèmes imputables à l'outil. Parasoft a mis en œuvre de nombreuses solutions de bon sens aux problèmes posés par DO-178 et DO-330, et la grande majorité du temps, elles ont fonctionné sans problème, contrairement à tous ces autres outils.
- Timothy F., ingénieur logiciel
Pourquoi Parasoft?
Parasoft offre des avantages uniques pour la vérification et la validation DO-178C avec des solutions modernes et complètes qui automatisent les processus critiques tels que l'analyse statique et dynamique, la traçabilité des exigences et la couverture structurelle du code. Nos solutions s'intègrent parfaitement aux pipelines CI/CD existants, réduisant ainsi les efforts manuels tout en garantissant la conformité. Vous trouverez ci-dessous d'autres moyens par lesquels Parasoft aide les équipes de logiciels embarqués.
Intégrations dédiées
Nos solutions de test C/C++ offrent des intégrations dédiées avec des environnements de développement critiques pour la sécurité, tels que INTEGRITY-178 tuMP de Green Hills Software, Wind River VxWorks et d'autres solutions certifiées. Des intégrations supplémentaires avec des IDE intégrés, des débogueurs et des pipelines CI/CD prennent en charge des environnements spécifiques à l'aérospatiale tels qu'Eclipse, VS Code, Green Hills MULTI, Wind River Workbench, ARM MDK, ARM DS-5, TI CCS, Visual Studio, etc.
Nous soutenons les pratiques DevSecOps, en veillant à ce que la sécurité et la conformité soient parfaitement intégrées au cycle de vie du développement. Ces intégrations permettent un flux de travail fluide qui répond aux exigences complexes et critiques en matière de sécurité du développement de logiciels aérospatiaux.
Tests au niveau du système pour les applications aérospatiales
Effectuez des tests réseau au niveau système, essentiels au développement de systèmes logiciels aérospatiaux à l'aide de nos solutions. Automatisez les tests API fonctionnels de bout en bout avec la création de tests avancés dans SOAtest, qui prend en charge les applications avec plusieurs interfaces et protocoles, garantissant ainsi l'intégrité et la sécurité du système.
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. Ainsi, les équipes de développement aérospatial accélèrent les tests sans attendre l'accès aux services ou systèmes dépendants, qui peuvent être incomplets ou indisponibles pendant les phases de test critiques.
Économies de temps et d'argent
Gagnez un temps et des coûts considérables grâce à nos solutions d'automatisation des tests. Vous pouvez compter sur nous pour vous faciliter la tâche et vous apporter tout le soutien nécessaire pour atteindre vos objectifs de sécurité en matière de conformité à la norme DO-178C. Les supports pédagogiques tels que les webinaires, les livres blancs et les blogs servent également d'outils complémentaires permanents.
Tests matériels et logiciels ciblés
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.
Foire aux questions (FAQ)
Documentation associée
Améliorez vos tests logiciels avec les solutions Parasoft.