Verification, Testing, and Certification - MATLAB & Simulink (original) (raw)

Main Content

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.

Verification, Testing, and Certification - MATLAB & Simulink (original) (raw)

Categories