Webinaire en vedette : MISRA C++ 2023 : tout ce que vous devez savoir | Voir le séminaire

Embarqué

Test de logiciels embarqués pour des applications sûres et sécurisées

Assurez-vous que les systèmes embarqués sont sûrs, sécurisés et fiables avec les solutions de test logiciel unifiées de Parasoft. Automatisez la conformité en matière de sécurité fonctionnelle et suivez les normes de codage en constante évolution. Obtenez des informations précieuses sur les développements récents de l'IdO et des marchés critiques pour la sécurité embarquée, moteur de l'essor des solutions de test logiciel

Réduisez le coût de livraison des logiciels embarqués

Automatisez la conformité

Automatisez votre conformité aux normes de sécurité fonctionnelle, ce qui vous fait gagner du temps et de l'argent. Les normes incluent l'automobile (ISO 26262, ISO 21434), le militaire/aérospatial (DO-178B/C), le médical (CEI 62304), l'automatisation industrielle (CEI 61508) et le ferroviaire (EN 50128).

Test aux exigences

Réalisez et automatisez vos cas de test avec Parasoft pour vérifier et valider vos exigences d'exhaustivité fonctionnelle, d'exactitude et de cohérence. Testez sur votre matériel cible pour atteindre la conformité aux niveaux d'intégrité de sécurité les plus stricts.

Intégrez en toute transparence

Intégrez la conformité dans votre processus et écosystème de développement existants, de la gestion des exigences et du contrôle de source aux IDE et CI / CD.

Solutions de test de bout en bout pour les systèmes embarqués

Les logiciels embarqués nécessitent des tests approfondis à chaque phase du cycle de vie du développement logiciel, depuis la conception du système et de haut niveau jusqu'à la tests unitaires et d'intégration. Parasoft couvre tous vos besoins avec une solution de test dédiée et automatisée pour chaque étape des étapes de vérification et de validation afin que vous puissiez atteindre la conformité et fournir des logiciels de qualité à grande échelle. Le modèle en V ci-dessous indique comment les solutions Parasoft s'intègrent à votre processus de développement.

 

Implémentation

ANALYSE STATIQUE C, C++, C#, JAMA, VE.NET :

Traçabilité des exigences à toutes les phases de conception

VÉRIFICATION VALIDATION
  • Tests unitaires
  • Débogage de la mémoire
  • Couverture du code structurel
  • Test de sécurité
  • Test de Fuzz
  • Test d'API
  • Test de l'interface utilisateur
  • test de charge
  • Virtualisation des services
  • Traçabilité
  • Rapport et Analyse
V Infographie

Tests de logiciels embarqués pour les industries critiques pour la sécurité

Les appareils électroniques de tous les secteurs utilisent des logiciels en temps réel, qui évoluent vers des systèmes embarqués complexes, connectés et qui doivent être certifiés pour la sûreté et la sécurité. Les solutions de test de logiciels embarqués de Parasoft garantissent la sûreté, la sécurité, la fiabilité et les performances des applications embarquées.

Solutions de test de logiciels embarquées pour chaque industrie

Utilisez nos solutions de test logiciel unifiées et automatisées pour l'analyse statique, l'analyse dynamique, les tests unitaires et la couverture de code (déclaration, branche, MC / DC et code objet) pour accélérer et atteindre vos exigences de certification standard de l'industrie.

Développement de logiciels sûr, sécurisé et fiable

Parasoft intègre la sûreté et la sécurité dans votre logiciel embarqué grâce à une analyse de code automatisée et en appliquant des normes telles que MISRA C / C ++, CERT C / C ++, AUTOSAR C ++ 14, CWE et OWASP pour une conformité simplifiée.

Conformité aux normes de sécurité fonctionnelle

Tirez parti de Parasoft pour accélérer et satisfaire vos normes de sécurité fonctionnelle pour l'automobile (ISO 26262, ISO 21434), militaire/aérospatiale (DO-178B/C), dispositif médical (IEC 62304), automatisation industrielle (IEC 61508) et ferroviaire (EN 50128) industries.

Kit de certification et de qualification TÜV SÜD

Parasoft C/C++test est certifié par TÜV SÜD pour ISO 26262, ISO 21434, IEC 61508, IEC 62304 et EN 50128. Le kit de qualification de Parasoft est disponible pour tous les niveaux de la norme DO-178B/C.

Des appareils connectés

Les solutions de test de Parasoft fournissent des tests intégrés et basés sur les services pour garantir des appareils connectés fiables, évolutifs et sécurisés ou des initiatives IoT.

« MISRA », « MISRA C » et le logo triangulaire sont des marques déposées de The MISRA Consortium Limited. ©The MISRA Consortium Limited, 2021. Tous droits réservés.

Suite de produits intégrée

Icône de test Parasoft C/C++

Parasoft C / C ++test

Effectuer analyse statique, tests unitaires et couverture de code pour développer du code C et C++ de haute qualité qui est robuste, sûr, sécurisé et conforme aux normes de l'industrie.

Icône Parasoft Jtest

Jtest Parasoft

atteindre analyse de code statique, tests unitaires et couverture de code élevée avec JUnit pour accélérer la livraison d'applications Java sécurisées et fiables.

Icône Parasoft Assurer ++

Parasoft Insure ++

Détecter automatiquement erreurs d'exécution et vulnérabilités de sécurité tels que la corruption de la mémoire, les fuites de mémoire, les dépassements de pile et le débordement/sous-dépassement de la mémoire tampon.

Icône Parasoft dotTEST

Parasoft dotTEST

Réduisez le risque de développement C# ou VB.NET dans le framework Microsoft avec analyse statique approfondie, sécurité et couverture pour les applications d'entreprise et embarquées.

Icône PAO Parasoft

PAO Parasoft

Obtenez une vue complète de la qualité et de la conformité avec rapports agrégés et analyses avancées à travers les solutions de test Parasoft.