Evaluaciones, criterios y verificación
Las pruebas funcionales incluyen evaluación del comportamiento de la simulación y comparación de datos de la simulación con los resultados esperados. Para evaluar el comportamiento de la simulación, puede:
- Utilizar evaluaciones temporales y lógicas en un caso de prueba. 
- Incluir instrucciones - verifyy otros operadores en un bloque Test Assessment o Test Sequence. Utilice el bloque Test Sequence para especificar una serie de pasos para estimular el componente o sistema que se somete a prueba. Utilice el bloque Test Assessment para evaluar el comportamiento del componente o sistema que se somete a prueba.
- Utilizar bloques de la biblioteca Model Verification. 
Para evaluar los datos de la simulación, puede:
- Comparar la salida de prueba con los datos de referencia o comparar la salida de dos simulaciones utilizando criterios de equivalencia. 
- Utilizar tolerancias de valor o tiempo cuando compare los datos de la simulación con los datos de referencia o cuando compare dos simulaciones. Los tipos disponibles de tolerancias son relativa, absoluta, de adelanto y de retraso. Las tolerancias de adelanto y de retraso son útiles para comparaciones en las que la temporización de datos es diferente, como comparaciones entre distintos solvers o comparaciones entre modelos que se ejecutan en el escritorio y código que se ejecuta en un objetivo. 
- Utilizar un script personalizado de criterios para procesar los datos de la simulación. 
Para obtener una visión general de los distintos métodos de verificación, consulte Assess Simulation and Compare Output Data.
Bloques
| Observer Reference | Create and contain an Observer model | 
| Observer Port | Wirelessly link signals to use with verification | 
| Test Sequence | Create simulation testing scenarios, function calls, and assessments | 
| Test Assessment | Assess and verify behavior of system under test | 
| Sequence Viewer | Display messages, events, states, transitions, and functions between blocks during simulation | 
| Assertion | Check whether signal is zero | 
Clases
| sltest.testmanager.Assessment | Logical or temporal assessment object (Desde R2022a) | 
| sltest.testmanager.AssessmentSymbol | Symbol used in assessment (Desde R2022a) | 
| sltest.testmanager.TestCase | Create or modify test case | 
Herramientas
| Simulink Test Manager | Testing models and code in different execution environments, manage test suites, and analyze and report results | 
Operadores de sintaxis
Temas
- Assess Simulation and Compare Output DataAssess simulation behavior and compare to expected output, use verifyandassertstatements and run-time assessments.
- Assess Temporal Logic by Using Temporal AssessmentsUse temporal assessments to assess model timing and verify temporal signal logic in the System Under Test. 
- Logical and Temporal Assessment SyntaxLearn about the types of logical and temporal assessments and their syntax. 
- Verify Model Simulation by Using when DecompositionUse Whendecomposition to switch between steps and activateverifystatements in Test Assessment blocks.
- Define Test Steps and AssessmentsUse operators and functions in Test Sequence and Test Assessment blocks to define tests and verify model simulation. 
- Access Model Data Wirelessly by Using ObserversWirelessly access signal and data information. 
- Observe MessagesObserve message signals and obtain message details. 
- Observe Conditional Subsystem SignalsObserve signals in conditional subsystems. 
- Observe Internal Variables of an FMUUse an observer to access internal variables of an FMU. 
- Set Signal TolerancesSpecify value and time tolerances for baseline and equivalence criteria. 



