Pruebas para requisitos funcionales
Los requisitos funcionales hacen referencia a las condiciones y comportamientos específicos que un modelo de Simulink debe cumplir para garantizar que satisface las especificaciones de diseño previstas. Los requisitos funcionales definen cómo debe comportarse un modelo en distintas condiciones, incluidas las salidas esperadas para las entradas dadas.
Temas
- Model Requirements
The Simulink Design Verifier™ block library includes a sublibrary Example Properties.
- Perform Functional Testing and Analyze Test Coverage
Analyze functional dependencies, test model components in isolation, create suites of test cases, test models, and code to achieve coverage.
- Construct Specification Models by Using Requirements Table Blocks
Learn about specification models and how to use them for requirements-based verification. (Desde R2022b)
- Generate and Export Tests from Requirements Table Blocks
Automate test generation and execution in models that contain Requirements Table blocks.
- Isolate Verification Logic with Observers
Use Observer blocks to isolate verification logic in a model.
