Contenu principal

Évaluations, critères et vérification

Vérification logique et temporelle, comparaison des données, tolérances de valeur et de temps, traitement spécialisé des résultats

Les tests fonctionnels comprennent l’évaluation du comportement de la simulation et la comparaison des données de simulation avec les résultats attendus. Vous pouvez évaluer le comportement de la simulation en procédant de l’une des manières suivantes :

  • Recourir à des évaluations temporelles et logiques dans un cas de test.

  • Inclure des instructions verify et d’autres opérateurs dans un bloc Test Assessment ou Test Sequence. Utiliser le bloc Test Sequence pour spécifier une série d’étapes et ainsi stimuler le composant ou le système en cours de test. Utiliser le bloc Test Assessment pour évaluer le comportement du composant ou du système en cours de test.

  • Utiliser des blocs de la bibliothèque de vérification du modèle.

Vous pouvez évaluer les données de la simulation en procédant de l’une des manières suivantes :

  • Comparer les résultats d’un test à des données de base de référence ou comparer les résultats de deux simulations au moyen de critères d’équivalence.

  • Utiliser des tolérances de valeur ou de temps, lors de la comparaison des données de simulation avec les données de base de référence ou lors de la comparaison de deux simulations. Les types de tolérances disponibles sont les tolérances relatives, les tolérances absolues, et les tolérances en avance et en retard. Les tolérances en avance et en retard sont utiles pour les comparaisons dans lesquelles la synchronisation des données diffère, telles que les comparaisons entre différents solveurs ou les comparaisons réalisées entre les modèles exécutés sur votre desktop et le code exécuté sur une cible.

  • Utiliser un script de critères personnalisé pour traiter les données de simulation.

Pour obtenir une vue d’ensemble des différentes méthodes de vérification, consultez Assess Simulation and Compare Output Data.

Blocs

Observer ReferenceCreate and contain an Observer model
Observer PortWirelessly link signals to use with verification
Test SequenceCreate simulation testing scenarios, function calls, and assessments
Test AssessmentAssess and verify behavior of system under test
Sequence ViewerDisplay messages, events, states, transitions, and functions between blocks during simulation
AssertionCheck whether signal is zero

Classes

sltest.testmanager.AssessmentLogical or temporal assessment object (depuis R2022a)
sltest.testmanager.AssessmentSymbolSymbol used in assessment (depuis R2022a)
sltest.testmanager.TestCaseCreate or modify test case

Outils

Simulink Test ManagerTesting models and code in different execution environments, manage test suites, and analyze and report results

Opérateurs syntaxiques

développer tout

verifyAssess logical expression and log result
assertEvaluate logical expression and stop simulation if false
etElapsed time of test step
tElapsed time of simulation
afterElapsed time since beginning of test step
beforeElapsed time until specified time in test step
durationElapsed time since condition is true
hasChangedDetect data change in test step
hasChangedFromDetect data change from specified value in test step
hasChangedToDetect data change to specified value in test step
squareSquare wave test signal
sawtoothSawtooth wave test signal
triangleTriangle wave test signal
rampReturn input value for test signal generation
heavisideHeaviside step test signal
latchSave value of an expression

Rubriques

Sélection d՚exemples