Logo Checking Technologies

Délivrez des applications C et C++ robustes, prévisibles et sûres.

Détectez les bugs au plus tôt et minimisez les risques en développant de meilleurs logiciels. L'analyse statique et les tests unitaires sont essentiels pour la qualité, la sécurité et la sûreté des applications, particulièrement dans les domaines sécuritaires. Parasoft propose une solution entièrement intégrée qui permet d'accélérer le DevOps et de s'assurer que les développements respectent les normes comme MISRA, ISO 26262, DO-178B/C, IEC 61508, EN50128 ou IEC 62304, ...

Apprenez à améliorer effectivement vos techniques de test, assurant la fiabilité et la sécurité de vos applications connectées embarquées.

Addressez les situations critiques pour les équipes

Réduisez le coût de développement de logiciels de haute qualité, tout en réduisant le délai de mise sur le marché.

  • Logiciels C/C++ embarqués de plus en plus complexes

    Réduisez les risques pour vos logiciels embarqués complexes en mettant en place des pratiques pour assurer la qualité des logiciels dès le début - tirer parti des meilleures pratiques de codage C et C++ (par exemple, MISRA, complètement supporté) et un framework de tests unitaires puissant.

  • Coût de la conformité pour les développements "Safety-Critical"

    Réduire la charge pour assurer que vos applications sont conformes aux normes de l'industrie et aux impératifs règlementaires. Créer un processus de développement logiciel robuste, avec des kits de reporting et de qualification complets, en utilisant C/C++Test, outil certifié TÜV-SÜD.

  • Atteindre rapidement un grand niveau de qualité

    Mettez un filet de sécurité autour de votre processus de développement en assurant la qualité, la fiabilité et la sécurité dès le début et accélérez le travail de livraison en mettant l'accent sur les risques associés aux changements dans le code.

  • Atténuer les risques de sécurité liés aux périphériques IoT connectés

    l'IoT augmente les risques et expose de plus en plus d'applications C/C++ aux attaques. Assurez une application rapide et cohérente des meilleures pratiques de sécurité et intégrez des attaques au niveau des APIs pour découvrir les problèmes de sécurité L'application.

Une même solution pour tous vos besoins en qualité C/C++

Analyse Statique et Sécurité avec C/C++test

L'analyse statique a prouvée être un moyen rapide et efficace de détecter des bugs et des défauts, si bien qu'il n'y a vraiment aucune raison de développer des logiciels sans elle. En tant que telle, elle est devenue fondamentale pour de nombreuses industries qui ont une exigence de conformité réglementaire telles que l'automobile (ISO 26262 et MISRA). L'analyse statique de Parasoft C/C++test détecte avec précision la plus large gamme de défauts et de non-conformité de l'industrie.

  • Vous permet de trouver et de corriger rapidement les défauts dans le code grâce à une analyse complète du chemin pour une détection précise des violations.
  • Supporte à la fois le mode préventif (détection de patterns) et le mode détection de bugs (Data Flow) avec un ensemble complet de métriques pour la structure du code.
  • Apporte la création de règles utilisateur avec RuleWizard.
  • Support complet pour les standards de sécurité critiques (i.e. ISO 26262, IEC 61508, DO 178B/C, EN 50128) et les bonnes pratiques de l'industrie (i.e. MISRA C++ 2008, MISRA C 2012, AUTOSAR C++14, Joint Strike Fighter (JSF), CERT C et C++, CWE, HIC++, ...).
  • Reporting Centralisé et audit de conformité avec Parasoft DTP
  • Facilité de déploiement : facile à configurer, facile à automatiser (CI/CD), non-intrusif et évolutif pour des équipes multiples.

Tests Unitaires et d'Integration avec C/C++test

Parasoft C/C++test minimise les défis complexes et chronophages associés à la création et la maintenance des Tests Unitaires et d'Intégration, en fournissant un environnement de création et de gestion des tests unifié, en permettant d'isoler le code en cours de test, et en fournissant des rapports de couverture avancés pour assurer que l'application a été soigneusement testée. C/C++test vous permet de tester à la fois hors et sur cible, en prenant en charge les périphériques embarqués et connectés d'aujourd'hui.

  • Interface graphique riche pour la création et la gestion des suites et des cas de test, à la fois via des éditeurs graphiques et directement dans le code source,
  • Framework de bouchonnage automatique pour isoler facilement le code en test,
  • Couverture de code avancée avec des rapports qui supportent des critères de couvertures multiples, incluant lignes, fonctions, déclarations (statements), blocs, Chemins, décisions, condition simple, MC/DC et appels
  • Supporte aussi l'exécution, la couverture et les rapports de test pour les frameworks de test open-source tels que CPPunit, CppUTest et Google Test
  • Reporting Centralisé avec Parasoft DTP pour l'agrégation et la couverture des tests manuels et automatisés,
  • Support de campagnes de tests sur cible pour un large choix de compilateurs et de cibles comme ARM, Clang, GNU, Green Hills, Hitech, IAR, Intel, Renesas, QNX, Tasking, Texas Instruments et Wind River.

Analyse Runtime, Couverture de Code et Traçabilité

Détection d'erreurs runtime

C/C++test supporte la détection d'erreurs runtime pour les applications embarquées en C. Ceci permet d'identifier des défauts runtime sérieux ou des vulnérabilités comme :

  • Des fuites mémoire,
  • Des problèmes de corruption mémoire,
  • L'accès à de la mémoire non initialisée,
  • L'accès à de la mémoire non allouée,
  • L'accès avec des pointeurs nuls,
  • L'utilisation de free() sur un pointeur invalide.

Analyse de couverture

En parallèle avec les tests unitaires et d'intégration, C/C++test vous permet de capturer les mêmes métriques de couverture pour les tests exécutés manuellement ou les tests automatisés avec des frameworks comme GoogleTest.

La couverture peut être agrégée directement sur le poste de développement ou bien dans les tableaux de reporting et d'analyse pour permettre de faire de l'analyse avancée comme le Change-Based Testing.

Traçabilité des exigences

C/C++test fournit une traçabilité complète des exigences pour supporter les exigences de conformité comme pour les normes FDA, DO-178B/C ou ISO 26262. Avec la capacité d'associer les tests aux exigences et d'isoler la couverture de code pour les tests individuels, les tableaux de reporting et d'analyse fournissent tous les détails sur la traçabilité depuis les exigences vers le code et les tests.

Sûreté Fonctionelle et Conformité

Pour effectivement pouvoir utiliser un outil pour la vérification de conformité à des standards industriels, vous avez besoin de deux choses : un outil certifié et un kit de qualification pour vérifier le fonctionnement dans votre environnement.

Logiciel Certifié

Parasoft C/C++test est certifié par TÜV SÜD pour la sûreté de fonctionnement conformément aux standards IEC 61508 et ISO 26262. Ceci permet aux équipes de développement d'atteindre le niveau de sûreté désiré (SIL/ASIL).

Kits de Qualification

Pour rationaliser le processus de vérification des outils, des Kits de Qualification de C/C++test sont disponibles pour DO-178B/C, ISO 26262, IEC 61508, EN 50128 et leurs dérivés. Ils sont adaptés avant livraison par nos équipes à votre environnement spécifique. En automatisant ce processus, nos Kits de Qualification Kits reduisent les erreurs humaines potentielles et le temps nécessaire pour qualifier C/C++test dans votre environnement de développement.

Quelle édition est faite pour vous ?

Éditions Desktop : Server :
Standard Professional Embedded Testing Automation Edition

Analyse Statique de Code

Création de règles de codage spécifiques

Analyse Statique de Code

Création de règles de codage spécifiques

Analyse Statique de Code

Création de règles de codage spécifiques

Analyse Statique de Code

Métriques :

Métriques basés sur des seuils

Métriques :

Métriques basés sur des seuils

Métriques :

Métriques basés sur des seuils

Métriques :

Tous les métriques, y compris ceux disponibles dans le Metrics Explorer de DTP

Exécution des Tests Unitaires :

GoogleTest
CppUnit
CppUTest

Exécution des Tests Unitaires :

GoogleTest
CppUnit
Framework de test de C/C++test

Exécution des Tests Unitaires :

GoogleTest
CppUnit
Framework de test de C/C++test

Exécution des Tests Unitaires :

GoogleTest
CppUnit
CppUTest
Framework de test de C/C++test

 

Création des Tests Unitaires :

Framework de test de C/C++test

Création des Tests Unitaires :

Framework de test de C/C++test

 

Analyse de Couverture :

Analyse pour les Tests Unitaires
Monitoring de l'application pendant les tests manuels et automatisés

Analyse de Couverture :

Analyse pour les Tests Unitaires
Monitoring de l'application pendant les tests manuels et automatisés

Analyse de Couverture :

Analyse pour les Tests Unitaires
Monitoring de l'application pendant les tests manuels et automatisés

Analyse de Couverture :

Analyse pour les Tests Unitaires
Monitoring de l'application pendant les tests manuels et automatisés

Types d'Analyse de Couverture :

Ligne

Types d'Analyse de Couverture :

Fonction
Ligne
Déclaration (statement)
Bloc
Chemin
Décision
Condition simple
MC/DC
Appel

Types d'Analyse de Couverture :

Fonction
Ligne
Déclaration (statement)
Bloc
Chemin
Décision
Condition simple
MC/DC
Appel

Types d'Analyse de Couverture (CppUnit, C/C++test framework):

Fonction
Line
Déclaration (statement)
Bloc
Chemin
Décision
Condition simple
MC/DC
Appel

Types d'Analyse de Couverture (tous frameworks):

Ligne

 

Monitoring Mémoire au Runtime

Monitoring Mémoire au Runtime

Monitoring Mémoire au Runtime

   

Support des Platformes embarquées

Support des Platformes embarquées
(optionnel)

Intégrations avec les IDEs :

Eclipse
Microsoft Visual Studio 2008-2017
et +

Intégrations avec les IDEs :

Eclipse
Microsoft Visual Studio 2008-2017
et +

Intégrations avec les IDEs :

ARM
Eclipse Development Studio
GCC
KEIL
Microsoft Visual Studio 2008-2017
Wind River
et +

Intégrations Systèmes de Build :

Exécution en Ligne de Commande pour intégration en automatisation des builds (i.e. make) et les infrastructures CI (plugins pour Jenkins, Bamboo, TeamCity et VSTS). Pour une liste complète des intégrations, cliquez ici.

Intégration avec DTP :

Distribution des tâches : téléchargement des violations et de l'analyse de couverture depuis DTP directement dans l'IDE des postes de développement

Intégration avec DTP :

Distribution des tâches : téléchargement des violations et de l'analyse de couverture depuis DTP directement dans l'IDE des postes de développement

Intégration avec DTP :

Distribution des tâches : téléchargement des violations et de l'analyse de couverture depuis DTP directement dans l'IDE des postes de développement

Intégration avec DTP :

Possibilité d'envoyer les résultats vers DTP pour un reporting et une analyse centralisées

Essayer Parasoft C/C++test

"En déployant C/C++test en tant qu'outil de vérification des standards de codage, le projet de Solution Mobile du Centre Logiciel de Samsung Electronics a réduit de 80% le nombre de violations de codage; une amélioration significative de nos processus de développement/test."

Samsung

"C/C++test est devenu la base du développement logiciel orienté sécurité et a facilité un développement et une maintenance efficaces au moment où nos équipes grandissaient et où la complexité augmentait."

Schaeffler Technologies AG

"Nous sommes en mesure de mettre notre produit sur le marché environ 6 mois plus tôt avec les solutions Parasoft que nous aurions pû si nous étions restés avec nos anciens outils de tests."

Bovie Medical


Wikipedia Blog YouTube  Twitter

© Checking Technologies 2014-2019 / Mentions légales / webmaster