Verification of Automatically Generated Code
Code verification is often left to the end of the project, when changes are expensive to implement. What if you could verify the behaviour of your system throughout the development life cycle? Using the same test scenarios developed for your simulation model, you can continuously verify the behaviour of the generated code as you refine and extend it. The session covers:
- Development, management, and execution of reusable test cases across simulation and code generation workflows
- Use of dynamic and static verification techniques
- Collection of code coverage to measure the completeness of your testing from within Simulink®
- Collection of execution profiling metrics and results annotations on the model
- Analysis of standards conformance and proving correctness of the production code
Note: Simulink Verification and Validation transitioned to Simulink Check, Simulink Coverage, and Requirements Toolbox in R2017b.
Recorded: 5 Oct 2016
Related Products
Learn More
Featured Product
Simulink Check
Up Next:
Related Videos:
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: .
You can also select a web site from the following list
How to Get Best Site Performance
Select the China site (in Chinese or English) for best site performance. Other MathWorks country sites are not optimized for visits from your location.
Americas
- América Latina (Español)
- Canada (English)
- United States (English)
Europe
- Belgium (English)
- Denmark (English)
- Deutschland (Deutsch)
- España (Español)
- Finland (English)
- France (Français)
- Ireland (English)
- Italia (Italiano)
- Luxembourg (English)
- Netherlands (English)
- Norway (English)
- Österreich (Deutsch)
- Portugal (English)
- Sweden (English)
- Switzerland
- United Kingdom (English)
Asia Pacific
- Australia (English)
- India (English)
- New Zealand (English)
- 中国
- 日本Japanese (日本語)
- 한국Korean (한국어)