Ansys Scade Test
Outil de validation des logiciels embarqués critiques
Ansys SCADE Test™ est une solution puissante pour la validation et la vérification des logiciels embarqués critiques, garantissant la conformité aux normes de sécurité rigoureuses dans les secteurs tels que l’aéronautique, l’automobile, le ferroviaire et le spatial. L’outil permet de générer automatiquement des tests, de simuler des scénarios, et de produire des rapports détaillés pour assurer la qualité du logiciel.
Fonctionnalités clés d'Ansys SCADE Test
- Génération automatique de cas de test
L’outil Ansys SCADE Test permet de générer automatiquement des cas de test à partir des modèles SCADE. Cette fonctionnalité assure une couverture complète des fonctionnalités et vérifie que le logiciel respecte les spécifications initiales. La génération automatique réduit le temps de développement tout en augmentant la précision des tests. - Simulation des scénarios de test
Avec Ansys SCADE Test, il est possible de simuler des scénarios de test dans un environnement virtuel. Cela permet de valider le comportement du logiciel avant de l'exécuter sur le matériel cible, réduisant ainsi les erreurs potentielles. Les tests simulés aident à anticiper les interactions, à contrôler les états du système et à valider les résultats attendus. - Couverture des exigences
Ansys SCADE Test garantit une traçabilité complète entre les exigences et les cas de test, assurant que toutes les spécifications du système ont été testées. Cette fonctionnalité est essentielle pour les industries exigeant un haut niveau de sécurité, où il est crucial de démontrer que chaque exigence a été correctement vérifiée. - Génération de rapports automatiques
L’outil fournit des rapports automatiques détaillant les résultats des tests, la couverture des exigences et la couverture du code. Ces rapports sont précieux pour les audits de certification, que ce soit selon les normes DO-178C pour l'aéronautique ou ISO 26262 pour l'automobile. - Intégration avec des outils tiers
Ansys SCADE Test s’intègre facilement avec d'autres outils de test et de gestion des exigences, facilitant l'intégration dans des chaînes d'outils complexes, augmentant ainsi l'efficacité des équipes de développement. - Vérification de la couverture structurelle
L’outil permet également de vérifier que toutes les branches et conditions du code ont été testées grâce à l'analyse de couverture structurelle. Cela garantit que chaque partie du code a été prise en compte dans les tests, réduisant ainsi le risque de défaillances en production. - Tests sur le matériel cible (l'appareil ou le système embarqué final)
Pour des tests plus réalistes, Ansys SCADE Test permet d’exécuter les tests sur le matériel cible, assurant que le comportement du logiciel est conforme aux attentes en condition réelle. Cela est crucial pour vérifier la performance, la fiabilité et la sécurité des systèmes embarqués.
Licences disponibles pour Ansys SCADE Test
Ansys SCADE Test propose plusieurs options pour répondre aux besoins spécifiques des développeurs :
- Ansys SCADE Test Environment for Host : Un environnement qui permet de valider les modèles Ansys SCADE sur un ordinateur hôte, sans nécessiter de matériel cible.
- Ansys SCADE Test Model Coverage : Un outil pour analyser la couverture des tests sur les modèles, garantissant que tous les chemins et conditions du code ont été testés.
- Ansys SCADE Test Model Execution : Permet de lancer des tests directement sur les modèles Ansys SCADE, facilitant une validation précoce du comportement.
- Ansys SCADE Test Target Execution : Exécution des tests sur le matériel cible, simulant les conditions réelles d'utilisation.
Pourquoi utiliser Ansys SCADE Test pour vos projets critiques ?
Ansys SCADE Test est particulièrement adapté pour les systèmes où la sécurité, la fiabilité et la conformité réglementaire sont prioritaires. En utilisant cet outil, les développeurs peuvent optimiser leur processus de test, réduire les délais de développement et garantir un logiciel de haute qualité qui respecte les normes de sécurité les plus strictes.
Brochure bientôt disponible
