安德鲁•LeCours MathWorks
您可以使用Simulin万博1manbetxk Design Verifier™在开发过程的早期自动检测设计错误。这节省了大量的开发和测试时间。万博1manbetx支持的设计错误包括死逻辑、被零除等。
在本视频中,您将看到如何使用Simulink Design Verifie万博1manbetxr来查找设计中的错误,以及如何在检测到错误时,使用Simulink Design Verifier中的可视化功能进行调试。
您还可以了解Simulink Desig万博1manbetxn Verifier如何为运行时错误提供测试用例,可以使用Simulink中的调试功能调试®,简化了理解错误原因的过程。
大家好,我是Andrew,我是MathWorks的Simulink Design Verifier产品的万博1manbetx开发人员。
在此视频中,我将向您展示如何使用按钮来检测设计错误。
万博1manbetxSimulink是一种基于模型的设计的工具,设计验证者在开发过程中节省时间和金钱的早期提前检测了Simulink模型中的设计错误。
设计验证者使用正式方法,这允许它证明某些设计错误永远不会发生,而且当它们可以时,它会提供一个暴露问题并帮助调试的测试箱。
首先,我们将在Simulink ToolStrip上打开设计验证程序窗格并运行设计验证程序。万博1manbetx对于此分析,设计验证者将检测模型中的死亡逻辑。死亡逻辑是逻辑,可以由模型执行。
设计验证器在这个模型中发现了一个死逻辑实例。Design Verifier会用红色标出失效逻辑的实例,这样就很容易找到失效逻辑。结果检查窗口确切地告诉我们哪些条件永远不能被执行。
在这里,Tspeed 实际上,当TSPEED等于Mintspeed时,我们还希望从这种状态转换出来,因此我们实际上需要(tspeed小于或等于mintspeed)。 这是设计验证者有助于我们改善我们的设计的位置的一个例子。 当我们重新运行分析时,我们现在看到模型被证明是没有死逻辑的。 接下来,我们将分析模型的运行时错误,即除零。就像以前一样,我们将按下检测设计错误按钮,design Verifier将自动执行它的分析。 在这种情况下,Design Verifier检测到两个被零除法的实例。 Design Verifier的部分强大之处在于,它会给你一个测试用例,可以用来帮助调试错误。通过按“查看测试用例”,Design Verifier将为您生成一个测试工具,您可以模拟它以调试设计错误。这允许我们使用Simulink的所有调试功能,以便更好地理解问题的原因。万博1manbetx 通过导航到错误,我们可以看到我们将其划分副,在这种情况下必须为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! 通过重新运行分析,我们现在看到这个模型被证明是没有零除错误的。 您现在已经看到了如何使用设计验证程序自动检测设计错误。以下是设计验证者目前能够检测的全部设计错误列表,我们将来继续添加更多。 除了设计错误检测外,设计验证者还能够执行自动测试生成,并证明模型符合其指定的要求。 非常感谢您的时间,并有更多信息,请参阅视频描述中的链接。
您还可以从以下列表中选择一个网站:
选择中国网站(以中文或英文)以获取最佳网站性能。其他MathWorks国家网站未优化您的位置。