Obtenez une prise en charge complète de MISRA C 2023 dans la nouvelle version de test Parasoft C/C++. Rejoignez notre webinaire le 8 juin.
Avec le framework complet de Parasoft C/C++test pour C++ et Test unitaire C, les développeurs disposent de tout ce dont ils ont besoin pour créer, exécuter et maintenir des tests. S'intégrant aux principaux IDE, les fonctionnalités de test unitaire de Parasoft C/C++test incluent une analyse de couverture de code multimétrique, un puissant framework de stubbing et de C mocking, et une exécution multiplateforme automatisée. Ces fonctionnalités sont faciles à utiliser, réduisent la charge de mise en œuvre du cadre de test unitaire et améliorent la productivité des développeurs.
Avec une combinaison d'éditeurs graphiques et de vues pratiques, le test Parasoft C / C ++ est utilisé par les développeurs qui souhaitent créer et exécuter rapidement leurs cas de test, et par les testeurs qui bénéficient de ses éditeurs graphiques.
Les modules de test unitaire de Parasoft C/C++test incluent l'explorateur de cas de test, l'éditeur de cas de test, la vue Stubs et la vue de couverture, qui se combinent pour simplifier la création de tests unitaires et les résultats de l'analyse. Les utilisateurs peuvent découvrir rapidement du code C/C++ non testé, localiser les attentes d'appel de stub non satisfaites et trouver les assertions ayant échoué. Vous pouvez apporter des corrections directement à partir des vues dans lesquelles se trouve le problème.
Les utilisateurs optimisent leurs efforts de test en analysant les résultats de la couverture fusionnée (à partir de tests précédents, build par build) qui présentent les données générées à partir des tests au niveau du système et de l'unité. La vue de couverture peut être synchronisée avec l'explorateur de cas de test pour présenter des données filtrées pour toute sélection arbitraire de cas de test.
Convient pour une utilisation dans de grandes organisations et dans de petites équipes. Les utilisateurs peuvent soit consulter leur travail directement dans l'EDI, soit regrouper les efforts de toute l'équipe, pilotés par des tests, pour un post-traitement supplémentaire, des rapports et des analyses avancées via l'interface Web de Parasoft. À partir de là, les équipes peuvent générer des rapports interactifs avec traçabilité entre les exigences, la source et les cas de test.
Les tests unitaires sont plus faciles et plus productifs lorsqu'ils sont utilisés avec des frameworks de test de remplacement et de simulation. Parasoft C/C++test fournit un module puissant pour créer automatiquement des stubs et des mocks. Ce module peut aider aux tests d'injection de fautes, aider à réduire les dépendances du code C/C++ testé, ou simplement supprimer le code source non encore implémenté. La logique de stub et de simulation est efficacement mise en œuvre à l'aide d'éditeurs graphiques dédiés ou en tapant du code.
Le framework de stubbing de test C / C ++ ne nécessite aucune conception de code spéciale pour appliquer des stubs (tels que des fonctions virtuelles) et est pris en charge pour tous les compilateurs, y compris les compilateurs croisés.
Des rapports complets de couverture de code fournissent automatiquement des informations sur la rigueur du processus de test unitaire (et sont nécessaires pour se conformer aux normes de sécurité fonctionnelle). Le test Parasoft C / C ++ prend en charge tous les types importants de couverture de code, y compris les types de couverture instruction, branche et MC / DC.
Les vues de couverture dédiées sont étroitement intégrées à l'éditeur de code source et à l'explorateur de cas de test, ce qui permet aux développeurs de comprendre rapidement les lacunes de couverture et de concentrer leurs efforts en fonction des domaines de risque. La fusion des résultats de couverture de différentes sessions de test (y compris des tests au niveau du système) permet aux équipes de concentrer leurs tests sur le code non testé et les tests impactés par les modifications récentes du code. Le résultat est une réduction du temps consacré aux tests.
Le test Parasoft C / C ++ facilite les tests unitaires en simplifiant le processus de création de cas de test. Avec son interface graphique facile à comprendre, le test Parasoft C / C ++ réduit les barrières techniques, permettant aux testeurs ou au personnel d'assurance qualité, qui n'ont pas nécessairement de compétences en développement approfondies, de créer des tests unitaires.
Les utilisateurs peuvent facilement créer des scénarios de test avancés en définissant un ensemble d'étapes responsables de divers éléments de l'implémentation de scénario de test, tels que l'initialisation des paramètres, la configuration des stubs ou la validation des assertions. Les utilisateurs disposant de vecteurs de test volumineux enregistrés pendant une phase de simulation de modèle ou lors d'expériences dans le monde réel peuvent facilement connecter ces sources de données pour paramétrer les cas de test, qui récupèrent les entrées et les sorties de test directement à partir de fichiers CSV ou de feuilles de calcul XLS.
Les développeurs qui préfèrent créer des cas de test et des stubs en écrivant le code source au lieu d'utiliser une interface graphique peuvent utiliser les puissantes API de test C / C ++ pour définir la logique et le comportement des cas de test des composants isolés.
Vous pouvez utiliser le test Parasoft C / C ++ pour exécuter des tests unitaires sur la plate-forme hôte, le simulateur de processeur cible ou sur la cible intégrée. Optimisé pour prendre un minimum de surcharge supplémentaire pour l'empreinte binaire ou les cycles de processus, le faisceau de test du test Parasoft C / C ++ est fourni sous forme de code source et peut être personnalisé si des modifications spécifiques à la plate-forme sont nécessaires.
Des intégrations dédiées avec des IDE et des débogueurs intégrés rendent le processus d'exécution des cas de test unitaires fluide et automatisé. Les environnements pris en charge incluent Green Hills Multi, Wind River Workbench, IAR EW, ARM MDK, ARM DS-5, TI CCS et bien d'autres.
Le framework de tests unitaires de Parasoft C / C ++ a été conçu en pensant aux tests logiciels critiques pour la sécurité. Les stubs et cas de test avec des valeurs pour la simulation logicielle testée peuvent être modifiés avec des éditeurs graphiques, mais sont générés sous forme de code source. Les utilisateurs peuvent stocker et examiner les artefacts de test créés avec les fichiers du projet. L'initialisation des variables et des paramètres d'entrée pour la simulation logicielle testée se fait exactement de la même manière que lors du fonctionnement du logiciel de production. En tant que tel, le cadre de test unitaire peut être facilement qualifié pour se conformer aux normes de sécurité telles que ISO 26262, DO-178B / C, CEI 61508 ou EN 50128. Le test Parasoft C / C ++ est certifié par TÜV SÜD pour ces normes .
D'autres outils stockent les valeurs d'entrée pour les cas de test et les stubs dans un format propriétaire en tant que collection de valeurs. Ceci est fondamentalement différent de l'initialisation de la variable en production. Avec le test Parasoft C / C ++, les cas de test sont à la place stockés en tant que code source. Les valeurs des paramètres de code testés sont également initialisées dans le code source, plus proche du processus d'initialisation des paramètres dans le code de production, ce qui le rend mieux adapté pour tester le code critique pour la sécurité.
En plus d'être certifié de manière indépendante pour une utilisation dans des projets critiques pour la sécurité par TÜV SÜD, Parasoft C/C++test fournit également des kits de qualification spécifiques à l'industrie qui réduisent considérablement le temps et les efforts nécessaires pour obtenir la qualification d'outil pour des normes telles que ISO 26262, ISO 21434, DO 178B/C, CEI 61508 et EN 50128.
Utilisez Parasoft C/C++test pour les tests d'isolement purs (où une fonction testée est entièrement entourée de stubs) et les tests d'intégration (dans lesquels les composants testés interagissent avec d'autres modules logiciels réels). Vous pouvez vérifier les mêmes scénarios de test en mode isolation et intégration, et comparer les résultats pour toute différence potentielle. Changer le mode de test est une opération simple. Il ne nécessite que la spécification de l'emplacement des nouveaux stubs.