You can use Simulink Design Verifier™ to automatically detect design errors early in the development process. This saves a lot of development and test time. Supported design errors include dead logic, division-by-zero, and many others.
In this video, you’ll see how to use Simulink Design Verifier to find errors in a design, and how errors, when detected, can be debugged using the visualization features in Simulink Design Verifier.
您还将看到Simulink Design金宝app Verifier如何为运行时错误提供测试案例,可以使用Simulink中的调试功能进行调试®, simplifying the process of understanding the cause of an error.
Hi, my name is Andrew, and I am a developer for the Simulink Design Verifier product at MathWorks.
在此视频中,我将向您展示如何使用按钮来检测设计错误。
金宝app仿真软件是基于模型的工具设计和Design Verifier helps detect design errors in your Simulink models early in the development process saving time and money.
设计验证者使用正式方法,可以证明某些设计错误永远不会发生,并且在可能的情况下,它提供了一个暴露问题并有助于调试的测试柜。
首先,我们将在Simulink Toolstrip上打开设计验证窗格并运行设计验证器。金宝app对于此分析,设计验证者将在模型中检测到死逻辑。死逻辑是逻辑,模型永远无法执行。
Design Verifier found one instance of dead logic in this model. Design Verifier will highlight the instances of dead logic in red, which makes finding it easy. The results inspector window tells us exactly which conditions can never be exercised.
在这里,tspeed 实际上,当Tspeed等于Mintspeed时,我们还希望从这种状态过渡,因此我们实际上希望(Tspeed小于或等于Mintspeed)成为条件。 这是设计验证者帮助我们改善设计的一个示例。 When we rerun the analysis, we now see that the model is proven to be free of dead logic. Next, we’ll analyze the model for a run-time error, division-by-zero. Just as before, we'll press the detect design errors button, and Design Verifier will automatically perform its analysis. In this case, Design Verifier has detected two instances of division-by-zero. Part of the power of Design Verifier is that it will give you a testcase which can be used to help debug the error. By pressing "view test case," Design Verifier will generate a test harness for you, which you can simulate in order to debug the design error. This allows us to use all of the debugging capabilities of Simulink in order to better understand the cause of the issue. 通过导航到错误,我们可以看到我们正在按holdrate分割,在这种情况下必须为0。这实际上是我们定义自己的价值。The fact that we are dividing by it indicates that we don’t want this parameter to possibly take a value of 0. The fix to the error, in this case, is to change the specification of the holdrate parameter to exclude the value of 0, which is what we had intended to begin with—another instance of Design Verifier helping to improve our design! By rerunning the analysis, we now see that the model is proven to be without division-by-zero errors. 现在,您已经看到了如何使用设计验证器自动检测设计错误。这是设计验证者目前能够检测到的设计错误的完整列表,将来我们将继续增加更多。 除了设计错误检测外,设计验证者还能够执行自动测试生成,并证明模型满足其指定要求。 非常感谢您的时间,有关更多信息,请参阅视频说明中的链接。
您还可以从以下列表中选择一个网站:
选择中国网站(中文或英语)以获得最佳场地性能。其他Mathworks乡村网站未针对您所在的访问进行优化。