Utilisez Agentic AI pour générer des tests API plus intelligents. En quelques minutes. Apprenez comment >>
Automation Industriel
Normes de sécurité fonctionnelle telles que IEC 61508 et ses dérivés exigent des organisations qu'elles prouvent que les exigences logicielles et de sécurité sont respectées et entièrement testées. Depuis plus de 30 ans, Parasoft accompagne les organisations dans le respect de ces normes grâce aux meilleures pratiques requises, telles que les tests unitaires, la couverture des tests, les indicateurs logiciels, la traçabilité et l'analyse statique du code, avec une prise en charge intégrée des normes MISRA, CERT et autres normes de codage du secteur de l'automatisation.
Les systèmes d'automatisation industrielle (et les logiciels qui les alimentent) sont de plus en plus connectés, n'utilisant plus de réseaux privés, mais s'appuyant de plus en plus sur l'Internet public pour connecter les capteurs aux systèmes de contrôle des infrastructures critiques et aux systèmes dorsaux de l'entreprise. Internet, tout en améliorant la flexibilité des systèmes, a créé une explosion de nouvelles menaces et de nouvelles complexités. En cas de failles de sécurité dans le logiciel de contrôle, il existe un risque que les portes soient ouvertes à une attaque terroriste utilisant une situation imprévue dans le processus. Solutions de tests Parasoft C/C++ fournit la solution de test de logiciels de sécurité la plus complète du marché, afin que les organisations puissent développer et publier des logiciels avec moins 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 les niveaux requis de sûreté et de sécurité fonctionnelles, de nombreuses organisations choisissent de développer leur systèmes d'automatisation industrielle conformes avec la norme CEI 61508, qui exige des processus de développement et de test de logiciels disciplinés et rigoureux. Les outils de test de logiciels automatisés de Parasoft réduisent le coût de la conformité à la norme CEI 61508 en fournissant les outils automatisés nécessaires pour atteindre efficacement la conformité, ainsi qu'un système de reporting centralisé qui rend les efforts de documentation moins manuels.
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 apprend à tous à devenir de meilleurs programmeurs. Elle nous aide à détecter des erreurs dont nous n'avions même pas conscience. La solution de Parasoft a permis à l'équipe de modélisation et d'analyse globales d'économiser du temps et des ressources que nous aurions autrement consacrés à la recherche et à la correction des défauts. Au lieu de cela, nous pouvons consacrer ce temps à l'ajout de nouvelles fonctionnalités. »
– Trane
