Découvrez GoogleTest certifié TÜV avec Agentic AI pour les tests C/C++ !
Plus de détails »
Automation Industriel
Les normes de sécurité fonctionnelle, telles que la norme IEC 61508 et ses dérivés, exigent des organismes qu'ils prouvent que leurs logiciels et exigences de sécurité sont conformes et ont fait l'objet de tests complets. Depuis plus de 30 ans, Parasoft accompagne les organismes dans la mise en conformité avec ces normes grâce à des bonnes pratiques telles que les tests unitaires, la couverture de test, les métriques logicielles, la traçabilité et l'analyse statique du code, avec une prise en charge intégrée des normes de codage MISRA, CERT et autres normes de l'industrie de l'automatisation.
Les systèmes d'automatisation industrielle (et les logiciels qui les pilotent) sont de plus en plus interconnectés, délaissant les réseaux privés au profit d'Internet pour connecter les capteurs aux infrastructures critiques et aux systèmes d'information de l'entreprise. Si Internet accroît la flexibilité des systèmes, il a également engendré une explosion de nouvelles menaces et de complexités. La moindre faille de sécurité dans les logiciels de contrôle représente un risque d'attaque terroriste, exploitant une situation imprévue. Les solutions de test C/C++ de Parasoft offrent la solution de test de sécurité logicielle la plus complète du marché, permettant ainsi aux entreprises de développer et de déployer des logiciels avec un minimum de risques.
Les solutions industrielles Internet des objets (IIoT) multicouches nécessitent des technologies et des outils différents pour implémenter et tester le logiciel pour chaque couche. Les capteurs et actionneurs de bas niveau sont très probablement développés avec C et C ++, tandis que les couches supérieures sont implémentées avec Java ou C #. La connectivité ajoute de la complexité avec plusieurs composants utilisant différents protocoles pour propager les messages jusqu'à l'utilisateur final. Parasoft fournit des outils de test pour traiter chaque couche de complexité, intégrés de manière transparente avec des rapports et des analyses sophistiqués pour aider les organisations à gérer cette complexité croissante.
Pour garantir les niveaux de sécurité fonctionnelle requis, de nombreuses organisations choisissent de développer leurs systèmes d'automatisation industrielle conformément à la norme CEI 61508, qui impose des processus de développement et de test logiciels rigoureux et disciplinés. Les outils de test logiciels automatisés de Parasoft réduisent le coût de la mise en conformité avec la norme CEI 61508 en fournissant les outils automatisés nécessaires à une conformité efficace, ainsi qu'un système de reporting centralisé qui simplifie la documentation.
Réduisez le coût de développement de logiciels de haute qualité, sans sacrifier le temps de mise sur le marché.
Le test Parasoft C / C ++ satisfait plusieurs exigences de test logiciel énumérées dans la norme CEI 61508. L'exhaustivité de la solution se traduit par un effort d'apprentissage et de configuration moindre. Les développeurs n'ont pas besoin d'apprendre plusieurs outils et peuvent se concentrer sur leurs activités principales. Les intégrateurs d'outils ou les architectes gagnent du temps sinon passé à implémenter des interfaces entre les outils pour échanger des données et générer des rapports uniformes.
Les solutions de test Parasoft C/C++ sont conçues en pensant aux applications critiques pour la sécurité. Lors de l'exécution de tests unitaires ou de la surveillance de la mémoire d'exécution, tous les composants requis pour créer le binaire de test, y compris les cas de test pour le code testé, la stimulation et les stubs, sont exprimés sous la forme du code source et peuvent être versionnés et inspectés. En exprimant tous les artefacts de test sous la forme du code source, C/C++test garantit que l'état de la mémoire avant l'exécution des tests est construit de la même manière que dans le système de production.
Le test Parasoft C/C++ est pris en charge avec un kit de qualification IEC 61508 dédié qui est conforme aux exigences standard pour le processus de qualification des outils. Au lieu de simplement fournir une assistance à la qualification sous la forme d'une collection de cas de test et de modèles pour les scripts et les rapports qui nécessitent beaucoup de personnalisation, l'outil automatisé d'assistance à la qualification de Parasoft guide les utilisateurs à travers toutes les étapes nécessaires pour qualifier l'outil et automatise la majorité. du travail manuel fastidieux nécessaire à la qualification de l'outil. Cela comprend l'exécution des cas de test à partir de la suite de tests exhaustive fournie, ainsi que la génération des rapports finaux requis pour documenter le processus de qualification. Parasoft C/C++test CT est en cours de certification TÜV SÜD et un kit qualité est en cours de développement.
« La solution de Parasoft nous permet à tous de devenir de meilleurs programmeurs. Elle nous aide à déceler des erreurs dont nous n'avions même pas conscience. Grâce à elle, l'équipe de modélisation et d'analyse globales a gagné un temps précieux et des ressources considérables, que nous aurions autrement consacrés à la recherche et à la correction de défauts. Nous pouvons désormais utiliser ce temps pour développer de nouvelles fonctionnalités. »
– Trane
