Verification
Code verification shows that the generated code correctly implements a model and does not contain unintended functionality. Through behavioral and structural comparisons, code verification demonstrates the equivalence between the model and generated object code.
Test numerical equivalence between your model (component) and generated code by comparing simulation results to results from execution of generated code in the target IDE.
Demonstrate the absence of unintended functionality by performing a traceability analysis. Generate reports that provide bidirectional traceability between model objects and generated code.
Categories
- Numerical Equivalence Testing
Compare results from model simulation and generated code by using test benches
- Run-Time Data Collection
Collect run-time data by using external mode logging
- Report Generation
Generate reports and obtain descriptions of code generation results
- Code Tracing
Trace between generated code and corresponding blocks in a model
Featured Examples
View Requirement Links from Generated Code
View requirements linked to a model by using the Requirements Manager app and model object context menu.
You can also select a web site from the following list
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 (한국어)