Verification, Testing, and Certification
For system development, use theV-modelcontinuous 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,Modelblock, 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万博1manbetx®Test™harness with the SIL/PIL Manager. For more information, see配置和运行仿真公益诉讼.
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®s manbetx 845产品。
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