Verification, Testing, and Certification
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
- Rapid Prototyping and Real-Time Simulation
Use external mode simulations for rapid prototyping
- Code Execution Profiling
View and analyze execution profiles of code sections
- Software-in-the-Loop Simulation
Test generated code on development computer
- Processor-in-the-Loop Simulation
Test generated code on target processor or simulator
- Programmatic Code Generation Verification
Test numerical equivalence with code generation verification programming interface
- Target Environment Verification
Verify generated code manually
- Code Coverage
Collect metrics for generated code during SIL or PIL simulation
- Code Analysis and Tracing
Verify generated code manually by using reports, traceability, and Polyspace static code analysis products
- Tool Qualification and Certification
Qualify Embedded Coder for IEC certification