Tests de fonctionnement pour la vérification

Vous pouvez utiliser Simulink^® Test™ pour créer, gérer et exécuter des tests pour les modèles Simulink et le code généré. Le Test Manager propose un moyen interactif de créer des tests en partant de zéro, d’importer des données de test et des modèles de harnais existants, et d’organiser vos tests. Vous pouvez exécuter les cas de test individuellement, par lots ou en tant que sous-ensemble filtré du fichier de test. En outre, vous pouvez contrôler les paramètres et itérer sur les valeurs des paramètres. Les tests peuvent être exécutés dans différents modes, à savoir dans le modèle, SIL (software-in-the-loop), PIL (processor-in-the-loop) et HIL (hardware-in-the-loop). Pour exécuter des tests en mode HIL, l’ordinateur cible doit être doté de Simulink Real-Time™. Vous pouvez également exécuter les mêmes tests comparatifs dans plusieurs versions de MATLAB^®.

Les résultats comprennent un récapitulatif concis des succès/échecs des éléments de votre hiérarchie de test, y compris des itérations, des cas de test, des suites de test et un fichier de test. Les outils de visualisation vous permettent d’explorer les différents jeux de données pour déterminer, par exemple, l’heure et la cause d'un échec particulier. Les résultats de couverture de Simulink Coverage™ permettent de quantifier la portée des tests de votre modèle ou de votre code.

Par exemple, vous pouvez :

Comparer les résultats entre votre modèle et le code généré en exécutant des tests d’équivalence entre différents environnements, tels que la simulation de modèle, SIL, PIL et HIL. La couverture n’est pas supportée pour les blocs SIL ou PIL.
Optimisez votre modèle ou votre code en itérant sur les valeurs paramétriques ou les paramètres de configuration.
Lancez les tests au niveau de l’unité en utilisant des harnais de test, et réutilisez ces tests lorsque vous passez au niveau de l’intégration et du système.
Exécuter des modèles contenant des vecteurs de test et des évaluations au sein du schéma bloc Simulink.

Simulink Test comprend une interface programmatique complète pour l’écriture de scripts de test. Les tests Simulink peuvent être intégrés aux tests MATLAB à l’aide du test unitaire MATLAB.

Création de tests

Lorsque vous créez un test, vous définissez les entrées correspondantes, les signaux d’intérêt, les plages de tolérance de succès ou d’échec des signaux, les itérations sur les valeurs paramétriques et les évaluations du comportement de la simulation. Vous pouvez créer des vecteurs d’entrée de test de plusieurs manières :

De manière graphique, par exemple avec le Signal Editor. Consultez Create and Edit Signal Data.
À partir de jeux de données, en utilisant par exemple Excel^® ou des fichiers MAT.
Sous la forme d’une séquence d’étapes de test qui progresse en fonction du temps ou de conditions logiques.

Vous pouvez définir des évaluations afin d’indiquer si les exigences fonctionnelles ne sont pas satisfaites. Ces évaluations respectent vos exigences de design ou votre plan de test. Il existe plusieurs façons de définir des évaluations :

Avec un langage d’évaluation structuré. Le langage structuré vous aide à évaluer des comportements temporels complexes, tels que deux événements qui doivent se produire dans un certain délai. Il vous aide également à identifier les conflits entre les exigences.
Avec les instructions verify d’un bloc Test Assessment ou Test Sequence. Pour plus d’informations sur la manière de configurer les blocs de votre modèle, consultez Verify Model Simulation by Using when Decomposition.
Avec les blocs de la bibliothèque de blocs de vérification du modèle.
Avec les tolérances que vous avez définies sur la sortie des données de simulation. Les tolérances définissent le delta acceptable par rapport aux données de la base de référence ou à une autre simulation.
Avec un script de critères personnalisé que vous créez avec MATLAB.

Vous pouvez utiliser des données et des modèles de test existants avec Simulink Test. Par exemple, si vous disposez de données issues de tests sur le terrain, vous pouvez tester votre modèle ou votre code en mappant les données avec votre cas de test. Si vous disposez de modèles de test existants qui utilisent des blocs de vérification de modèle, vous pouvez organiser ces tests et gérer les résultats dans le Test Manager.

Génération de tests

Simulink Design Verifier™ vous permet de générer des cas de test qui atteignent les objectifs de test ou augmentent la couverture du modèle ou du code. Vous pouvez générer des cas de test à partir du Test Manager ou de l’interface Simulink Design Verifier. Dans un cas comme dans l’autre, vous pouvez intégrer les cas de test générés à vos tests originaux afin de créer un fichier de test qui atteint une couverture complète. Vous pouvez également lier les nouveaux cas de test à des exigences supplémentaires.

Exécution des tests

Vous pouvez contrôler les modes d’exécution des tests à partir du Test Manager. Par exemple, vous pouvez :

Exécuter des tests dans différentes versions de MATLAB. Les tests effectués dans différentes versions vous permettent d’exploiter des données de test récentes tout en exécutant votre modèle dans sa version de production.
Exécutez des tests comparatifs pour vérifier le code généré. Vous pouvez exécuter le même test en mode modèle, SIL et PIL et comparer les résultats numériques afin de démontrer l’équivalence code/modèle.
Exécutez des tests HIL pour vérifier les systèmes fonctionnant sur du hardware temps réel en utilisant Simulink Real-Time, y compris les instructions verify de votre modèle qui vous aident à déterminer si les exigences fonctionnelles sont satisfaites.
Réduisez la durée des tests en les exécutant en parallèle avec Parallel Computing Toolbox™ ou MATLAB Parallel Server™, ou en exécutant un sous-ensemble filtré de l’ensemble de votre fichier de test.

Reporting

Lorsque vous faites état des résultats de vos tests, vous pouvez définir des propriétés de rapport correspondant à vos environnements de développement. Par exemple, les rapports peuvent dépendre du succès ou de l’échec des tests. Ils peuvent inclure des tracés de données, des résultats de couverture et des exigences liées à vos cas de test. Vous pouvez créer et stocker des chiffres MATLAB personnalisés qui s’affichent avec un rapport. Les options de rapports sont conservées dans le fichier de test, de sorte qu’elles sont exécutées à chaque fois que vous exécutez un test.

Une licence MATLAB Report Generator™ permet de bénéficier d’options de personnalisation supplémentaires, notamment :

Création de rapports à partir d’un modèle Microsoft^® Word ou PDF.
Constitution de rapports à l’aide d’objets personnalisés qui agrègent les résultats individuels.