古汉Gajapathy,雷诺日产科技商务中心印度
在本次会议中,我们讨论了复杂模型的有效单元测试和相应的C代码如何使用有效,以及满足特定功能要求和结构覆盖的优化测试用例。在我们的验证研究中超过五个月,我们试图使用Simulink设计Verifier™,用于产生具有最大结构覆盖的受控和优化的测万博1manbetx试用例。该研究证明,在Simulink模型中,在适当的目标块和条件块设置中,可以实现所需的目标。万博1manbetx我们可以通过Simulink设计验证程序支持的特定定制方法实现输出信号的最大结构覆盖和预期范围和分辨率覆盖。万博1manbetx万博1manbetx在本次会话中,我们讨论关键挑战以及Simulink设计验证程序和自定义M脚本如何帮助我们在短时间内验证模型万博1manbetx和C代码。
记录:2015年5月23日
您还可以从以下列表中选择一个网站:
选择中国网站(以中文或英文)以获取最佳网站性能。其他MathWorks国家网站未优化您的位置。