STIMULUS est la solution pour modéliser, valider et tester les exigences fonctionnelles
STIMULUS permet ainsi de résoudre efficacement les problématiques de spécification et de vérification.
Solution de validation intégrale basée sur les exigences
STIMULUS redéfinit la validation fonctionnelle en intégrant les exigences directement dans la modélisation.
Il permet de spécifier le comportement attendu du système, de générer automatiquement des scénarios de test, et de comparer les réponses du code aux exigences. En phase d’intégration, il analyse les résultats de tests HIL pour détecter toute non-conformité, automatisant ainsi la vérification du système de bout en bout.
Domaines d'application
- Systèmes embarqués
- Conformité aux normes de sûreté
- Validation fonctionnelle des ECU
- Contrôle-commande des trains
- Systèmes de signalisation et sécurité ferroviaire
- Vérification d’exigences normées
- Systèmes critiques embarqués
- Simulation de scénarios & test de mission
- Validation d’exigences fonctionnelles
- Dispositifs médicaux embarqués
- Respect des exigences de sécurité et traçabilité
- Support pour la certification
- Automatisation industrielle, robots collaboratifs
- Spécification et test des comportements en environnement complexe
- Simulation des interactions et vérification du contrôle
Automatisation des tests fonctionnels
- STIMULUS génère automatiquement des vecteurs de test pour stimuler le code, puis observe les réponses produites.
- Ces sorties sont comparées aux comportements attendus définis dans les exigences, afin de vérifier leur conformité. Le logiciel permet ainsi de lancer un grand nombre de tests en toute autonomie, tout en assurant une traçabilité complète des exigences tout au long du processus.
Simuler et valider vos exigences fonctionnelles
- STIMULUS permet aux architectes système d’enrichir les modèles en y intégrant les exigences fonctionnelles, désormais simulables et vérifiables.
Cela facilite la détection précoce d’erreurs telles que des exigences manquantes, ambiguës ou contradictoires, améliorant ainsi la qualité du système dès les premières phases du développement. - Les équipes de développement bénéficient d’exigences claires, validées et directement exploitables, tandis que les équipes de validation ne sont plus contraintes de créer manuellement les scénarios de test.
Avec STIMULUS, les tests sont générés et exécutés automatiquement à partir des exigences, permettant une couverture étendue avec un effort réduit — un gain d’efficacité significatif à tous les niveaux du cycle de développement.
Test HIL
- STIMULUS prend en charge le test du système intégré en analysant automatiquement les fichiers journaux produits par les environnements de test.
- Ces fichiers contiennent les entrées et sorties observées pendant l’exécution des tests. STIMULUS les compare aux exigences spécifiées et signale automatiquement toute violation de comportement attendu.
Stimulus et CATIA Magic
- STIMULUS complète les modèles SysML en permettant de spécifier, simuler et valider des comportements détaillés, souvent difficiles à représenter avec précision dans SysML.
- Grâce à une continuité numérique avec CATIA Magic, l’architecture SysML et les signaux associés peuvent être importés directement dans STIMULUS, où le comportement du système est modélisé de manière plus fine et vérifié par simulation.
Pourquoi choisir Stimulus
À quoi sert STIMULUS ?
STIMULUS est utilisé pour :Définir précisément les exigences fonctionnelles
Simuler le comportement attendu d’un système
Détecter les erreurs ou incohérences dès les premières phases de développement
Automatiser les tests fonctionnels à partir des exigences
Vérifier le respect des exigences par le code ou le système final
Quels types d’erreurs peut-on détecter avec STIMULUS ?
- Exigences manquantes, contradictoires ou ambiguës
- Comportements inattendus ou incohérents
- Violations d’exigences durant l’exécution (simulation ou test réel)
Quels sont les bénéfices concrets de STIMULUS
- Détection précoce des erreurs → réduction du coût des corrections
- Automatisation des tests → gain de temps et meilleure couverture
- Exigences validées avant implémentation → réduction des retours en arrière
- Amélioration de la communication entre ingénierie système, développement et validation
Formations
Découvrez nos formations spécialisées pour optimiser l’utilisation de CST Studio Suite au sein de votre entreprise. Nos formateurs expérimentés, certifiés par Dassault Systèmes, vous guideront vers l’excellence logicielle, adaptée à vos besoins spécifiques. Investissez dans la réussite de votre entreprise en renforçant les compétences de votre équipe grâce à nos formations de haute qualité.
Galerie
