Simulink Verification and Validation

Test des composants

Simulink Verification and Validation dispose d’une API pour l’analyse et la simulation d’un ou plusieurs modèles référencés, sous-systèmes ou sous-diagrammes atomiques dans un modèle. Toutes les fonctions relatives aux tests des composants sont utilisables à partir de la ligne de commande ou intégrées aux scripts MATLAB®.

Génération d’un modèle harnais de test

La génération d’un modèle harnais de test permet d’isoler un sous-système atomique ou un modèle référencé par un système de contrôle plus important et de l’extraire sous forme de modèle harnais en vue de tests et d’analyses complémentaires. Vous pouvez utiliser ce modèle harnais pour effectuer un test complet des composants en cours de développement ou lorsque le reste du modèle de système n’est pas disponible pour la simulation.

La génération de modèle harnais automatise la configuration des interfaces d’entrées et sorties, y compris les bus complexes fortement imbriqués. Les dépendances des sous-systèmes, telles que les data store externes, sont intégrées dans le logiciel et associées aux entrées du nouveau modèle. Le nommage des signaux requis et les connexions sont automatisés afin de correspondre aux attributs du composant testé.

Enregistrement, importation et création des données

La fonction d’enregistrement des données permet de capturer les signaux d’entrée pendant une simulation en boucle fermée et de réutiliser les vecteurs de test pour la simulation du modèle harnais. Le format de données sous-jacent étant compatible avec Simulink Design Verifier™, vous pouvez générer d’autres cas de test à l’aide de la fonction de génération de test de Simulink Design Verifier.

Lors de la génération du modèle harnais, la fonction de génération peut contenir les données enregistrées lors de lasimulation et les importer dans le bloc Signal Builder.

Il est possible d’utiliser les modèles harnais contenant un bloc Signal Builder pour le débogage et l’analyse détaillée. Le bloc Signal Builder Simulink permet de modifier de façon graphique les vecteurs de test et d’importer les données de test existantes à partir de feuilles de calcul type Excel.

Workflow in Simulink Verification and Validation utilizing component testing functions to augment tests done on the control system model and to verify the model and code in the simulation.
Flot de test des composants avec Simulink Verification and Validation. Le flot utilise les fonctions de test des composants pour augmenter les tests effectués dans le modèle de système de contrôle et pour vérifier le modèle et le code dans la simulation.

Exécution des tests

La fonction d’exécution des tests permet d’automatiser l’exécution des cas de test par rapport aux modèles et au code généré en modes simulation SIL et PIL. Ces deux derniers nécessitent Embedded Coder.

Il est possible d’importer les résultats des tests des composants dans Data Inspector pour une analyse approfondie. La fonction d’exécution des tests est intégrée aux outils de couverture de modèle et de couverture de code afin de collecter des informations supplémentaires sur l’exhaustivité des tests.

Liaison des tests aux spécifications

Dans Signal Builder, vous pouvez lier les cas test avec des documents externes, tels que les spécifications fonctionnelles et les plans de test, par le biais du volet Requirements de la fenêtre Signal Builder. Vous pouvez en outre affecter des assertions à des cas test individuels afin d’analyser automatiquement la réussite ou l’échec des tests.

Using the Simulink Signal Builder block to link test cases with verification blocks and requirements.
Utilisation du bloc Signal Builder Simulink pour lier des cas tests aux blocs de vérification et aux spécifications. Le volet Verification des paramètres des blocs et le volet Requirements sont affichés.
Point suivant: Analyse de la couverture de modèle

Essayer Simulink Verification and Validation

Obtenir une version d'évaluation

Connecting Simulink with Other Simulation Frameworks

Visionner le webinar