使用Simulink设计验证器为更高复杂性模型生成测试用例期间的最佳实践和经验教训

在本节课中，我们将讨论如何对复杂模型和相应的C代码进行高效的单元测试，以使用有效的、优化的、满足特定功能需求和结构覆盖的测试用例。在我们5个多月的验证研究中，我们试用了Simulink Design Verifier™，以生成具有最大结构覆盖率的受控和优化测试用例。研究证明，在Simulink模型中，通过适当的Objective块和Condition块设置，可以实现所要求的目标。通过Simulink Design Verifier支持的特定定制方法，我们可以实现输出信号的最大结构覆盖、预期范围和分辨率覆盖。在本节课中，我们将讨论主要挑战，以及Simulink Design Verifier和定制m -script如何帮助我们在短时间内验证模型和C代码。