Main Content

Verification, Testing, and Certification

Tune parameters, analyze code performance, test numeric equivalence, and perform code coverage and traceability analyses

For system development, use the V-model continuous verification approach.

For rapid prototyping of subcomponents, run real-time, external mode simulations that enable you to monitor signals and tune model parameters in your target application.

Use code execution profiling to establish whether generated code meets real-time requirements of your target hardware and determine code sections that require performance improvements.

Verify that the generated code:

  • Correctly implements a model by testing numeric equivalence between the model and generated code:

    • For systems, components, and subcomponents like referenced models, use the SIL/PIL Manager top model, Model block, or test harness workflows.

    • For a subcomponent like an atomic subsystem, perform a unit test on the code generated from the atomic subsystem by using a Simulink® Test™ harness with the SIL/PIL Manager. For more information, see Configure and Run PIL Simulation.

  • Does not contain unintended functionality by comparing model coverage against code coverage or performing a traceability analysis. Configure SIL and PIL simulations to generate code coverage metrics. Generate reports that provide bidirectional traceability between model objects and generated code.

In addition to Embedded Coder®, you can use other products for code verification, for example, Requirements Toolbox™, Simulink Test, and Polyspace® products.

Categories