Tests for Functional Requirements
Functional requirements refer to the specific conditions and behaviors that a Simulink model must satisfy to ensure it meets the intended design specifications. Functional requirements define how a model should behave under various conditions, including the expected outputs for given inputs.
Topics
- 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. (Since 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.
