Test per i requisiti funzionali
I requisiti funzionali si riferiscono alle condizioni e ai comportamenti specifici che un modello di Simulink deve soddisfare per garantire che soddisfi le specifiche di progettazione previste. I requisiti funzionali definiscono il comportamento atteso di un modello in diverse condizioni, inclusi gli output previsti a fronte di specifici input.
Argomenti
- 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. (Da 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.
