Solutions logicielles d'automatisation industrielle

Parasoft minimise le coût du processus de conformité aux normes de codage en fournissant des rapports dédiés. Les rapports de conformité donnent à l'utilisateur une vue dynamique du processus de conformité, aidant à hiérarchiser les résultats des violations d'analyse statique en fonction des regroupements et des catégorisations de la norme de codage d'origine.

Une documentation de conformité est nécessaire pour prouver la conformité. Le générer automatiquement permet aux équipes de gagner un temps précieux lorsque les rapports et la documentation générés sont conformes à la norme MISRA 2016, très populaire dans les secteurs de l'automatisation.

Le test Parasoft C / C ++ détecte les problèmes complexes de type runtime au début de la phase de développement en analysant les chemins d'exécution à travers le code et en trouvant les bogues potentiels. En plus de plus de 2200 règles et vérificateurs, Parasoft permet aux équipes de vérifier facilement les directives de codage spécifiques à l'organisation avec un éditeur spécial pour créer des vérificateurs personnalisés pour étendre (ou remplacer) les règles intégrées fournies avec l'outil. Avec le test Parasoft C / C ++, les utilisateurs n'ont pas à écrire de scripts, et les directives de codage spécifiques à l'organisation peuvent être entièrement automatisées pour remplacer le processus manuel de vérification de la conformité.

Les vues pratiques et les éditeurs graphiques du test Parasoft C / C ++ réduisent l'effort manuel de création et de maintenance de cas de test unitaires avec un cadre de test unitaire conçu en tenant compte des tests logiciels critiques pour la sécurité. Les stubs et les cas de test avec des valeurs pour la stimulation du logiciel testé peuvent être créés sous forme de code source ou avec des éditeurs graphiques avec des capacités de génération 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 stimulation logicielle testée se fait exactement de la même manière que pendant le fonctionnement du logiciel de production, ce qui rend la méthode fiable et robuste.

Les tests unitaires sont beaucoup plus faciles et productifs s'ils sont utilisés avec un cadre de stubbing / mocking. Le puissant module de test Parasoft C / C ++ pour créer des stubs et des simulations aide dans les tests d'injection de fautes, réduit les dépendances du code testé et permet aux utilisateurs de supprimer facilement le code source non encore implémenté.

Le test Parasoft C / C ++ prend en charge toutes les mesures de couverture généralement requises lors du développement de logiciels critiques pour la sécurité (instruction, branche, MC / DC, fonction, appel, chemin, condition simple, ligne et bloc), affichant les résultats de la couverture de code de tous niveaux de test, y compris les tests au niveau de l'unité, de l'intégration et du système.

Le test C / C ++ réduit le temps nécessaire pour analyser les résultats de la couverture et trouver les lacunes dans le processus de test. Les développeurs peuvent examiner les résultats de la couverture de code dans l'EDI avec des vues dynamiques et filtrer les résultats en fonction de la métrique, de la fonction / méthode ou du cas de test spécifique.

Parasoft s'intègre aux systèmes de gestion des exigences pour fournir des rapports de traçabilité qui affichent la corrélation entre les exigences et les éléments suivants:

• Code source créé pour implémenter ces exigences.
• Cas de test créés pour tester les exigences.
• Résultats des tests exécutés.
• Résultats de la couverture du code.

Les rapports de traçabilité fournissent des informations claires et complètes sur l'avancement du développement. Les équipes peuvent facilement déterminer combien d'exigences ont déjà été implémentées et dans quelle mesure elles sont testées.

Le test Parasoft C / C ++ peut être intégré à des outils de développement basés sur des modèles tels que Matlab / Simulink ou IBM Rational Rhapsody, en vérifiant la conformité du code source généré à partir des modèles aux normes de codage et en effectuant une validation dynamique à l'aide des ensembles de données des moteurs de simulation , puis en présentant les résultats de la couverture de code.

Le test Parasoft C / C ++ est certifié par TÜV SÜD comme pouvant être utilisé lors du développement de logiciels critiques pour la sécurité avec la norme CEI 61508. Pour les projets présentant un niveau de risque plus élevé, le kit de qualification du test Parasoft C / C ++ automatise une partie importante du processus de qualification des outils, réduisant la quantité de travail manuel et éliminant cette distraction des équipes logicielles.

Un outil d'assistance à la qualification dédié guide les utilisateurs à travers toutes les étapes requises pour qualifier l'outil, automatisant la majorité du travail manuel fastidieux requis pour qualifier l'outil, y compris l'exécution des cas de test de la suite de tests exhaustive fournie avec le kit de qualification, et génération des rapports finaux nécessaires pour documenter le processus de qualification.