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.
- 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