Verify Requirements with Temporal Assessments in Simulink Test
Informal text-based requirements may specify complex timing-dependent signal logic that needs to be implemented in the Simulink® model.
- Automating Verification and Validation with Simulink: http://bit.ly/2I2AYPn
- Requirements-Driven Workflows in Implementation and Test: http://bit.ly/2I1sIPu
- Find and Fix Design Errors using Simulink Test: http://bit.ly/2HYPt6R
With Simulink Test™, you can author temporal assessments for a test with precise semantics in a natural language format. These assessments accurately model complex timing-dependent behavior with conditions, events, signal values, and delays, and this video shows you how to construct assessments using an interactive form-based editor to enter those conditions, events, signal values, and delays, as well as responses. After executing the test, graphical representations allow you to visualize the results and debug design errors.
- Automating Verification and Validation with Simulink: http://bit.ly/2I2AYPn
- Requirements-Driven Workflows in Implementation and Test: http://bit.ly/2I1sIPu
- Find and Fix Design Errors using Simulink Test: http://bit.ly/2HYPt6R
With Simulink Test™, you can author temporal assessments for a test with precise semantics in a natural language format. These assessments accurately model complex timing-dependent behavior with conditions, events, signal values, and delays, and this video shows you how to construct assessments using an interactive form-based editor to enter those conditions, events, signal values, and delays, as well as responses. After executing the test, graphical representations allow you to visualize the results and debug design errors.
Posts
No comments