Tests for Functional Requirements
Functional requirements refer to the specific conditions and behaviors that a Simulink model must satisfy to check it meets the intended design specifications. Functional requirements define how a model should behave under various conditions, including the expected outputs for given inputs. Test input vectors generated from an executable specification model are independent of the design model, and the specification model can serve as an oracle to validate the behavior of the design model.
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.
- Generate Test Cases for Model Blocks
Generate Test Cases for Model Reference blocks.
- 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.
- Use Specification Models for Requirements-Based Testing
Follow a systematic approach to verify your design model against requirements. (Since R2022b)
- Create Back-to-Back Tests Using Enhanced MCDC
Create and run equivalence tests using enhanced MCDC.
- Test Model Against Requirements and Report Results
Associate your model with detailed requirements, demonstrate traceability, test against requirements.
