Rendez les tests de régression manuels plus rapides, plus intelligents et plus ciblés. Voyez-le en action >>
Bénéficiez d'un framework de test complet et automatisé, conçu spécifiquement pour répondre aux exigences de la norme DO-178C, grâce aux solutions de test C/C++ de Parasoft. Développez des applications C et C++ plus sûres et plus fiables.
Parasoft a mis en œuvre de nombreuses solutions de bon sens aux problèmes posés par les normes DO-178 et DO-330, et dans la grande majorité des cas, elles ont fonctionné immédiatement sans problème, contrairement à tous ces autres outils.
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é.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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é.
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.
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.
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.
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
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.
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.
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.
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.
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.
Simplifiez la conformité à la norme DO-178C. Essayez dès maintenant les solutions de test C/C++ de Parasoft.
