Tests des exigences fonctionnelles
Les exigences fonctionnelles font référence aux conditions et comportements spécifiques qu’un modèle Simulink doit satisfaire pour garantir qu’il répond aux spécifications de design prévues. Les exigences fonctionnelles définissent la manière dont un modèle doit se comporter dans diverses conditions, y compris les résultats attendus pour des entrées données.
Rubriques
- 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. (depuis 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.
