使用Simulink设计验证器为更高复杂性的模型生成测试用例时的最佳实践和经验教训金宝app
Guhan Gajapathy，雷诺-日产技术商业中心印度
在这个环节中，我们讨论了复杂模型和相应的C代码的高效单元测试需要如何使用有效的，以及优化的，满足特定功能需求和结构覆盖的测试用例。在我们5个多月的验证研究中，我们试用了Simulink Design Verifier™来生成结构覆盖最大的受控和优化测试金宝app用例。研究证明，在Simulink模型中设置适当的目标块和条件块，可以达到所要求的目标。金宝app通过Simulink设计验证器支持的特定定制方法，我们可以实现输出信号的最大结构覆盖以及预期的范围和分辨率覆盖。金宝app金宝app在这节课中，我们将讨论主要的挑战，以及Simulink设计验证器和定制的M-scripts如何帮助我们在很金宝app短的时间内验证模型和C代码。
相关视频和网络研讨会
您也可以从以下列表中选择一个网站: