Mike Anthony, MathWorks
In part 4 of this webinar series, we discuss verification of the model against the textual requirements. In a requirements-based development process, the idea is to have at least one test case for each requirement. The executable Simulink model allows the developer to verify the model is functionally correct before generating the embedded software. This form of early verification makes use of Simulink and Simulink Report Generator to execute the requirements-based test cases against the model, compare the model’s behavior to the expected behavior to ensure proper functional behavior, and generate a test artifact documenting this testing. This example also makes use of the model coverage analysis feature of Simulink Verification and Validation, as a metric for completion of this requirements-based testing.
Note: Simulink Verification and Validation transitioned to Simulink Check, Simulink Coverage, and Simulink Requirements in R2017b.
Recorded: 31 Mar 2013
Select a Web Site
Choose a web site to get translated content where available and see local events and offers. Based on your location, we recommend that you select: .Select web site
You can also select a web site from the following list:
Select the China site (in Chinese or English) for best site performance. Other MathWorks country sites are not optimized for visits from your location.