Tests für funktionale Anforderungen
Funktionale Anforderungen beziehen sich auf die spezifischen Bedingungen und Verhaltensweisen, die ein Simulink-Modell erfüllen muss, um sicherzustellen, dass es den beabsichtigten Designspezifikationen entspricht. Funktionale Anforderungen definieren, wie sich ein Modell unter verschiedenen Bedingungen verhalten soll, einschließlich der erwarteten Ausgaben für bestimmte Eingaben.
Themen
- 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. (Seit 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.
