Andrew Lecours,Mathworks
您可以使用Simulin金宝appk Design Verifier™在开发过程中自动检测设计错误。这节省了大量的开发和测试时间。金宝app支持的设计错误包括死亡逻辑,逐个零和许多其他。
在此视频中,您将看到如何使用Simulink设计验证程序在设计中查找错误,金宝app以及检测到的错误,可以使用Simulink设计验证程序中的可视化功能进行调试。
您还可以了解Simulink Desig金宝appn Verifier如何为运行时错误提供测试用例,可以使用Simulink中的调试功能调试®,简化了解错误原因的过程。
嗨,我的名字是安德鲁,我是Mathworks的Simulink设计验证程序产品的开发人员。金宝app
在此视频中,我将向您展示如何使用按钮来检测设计错误。
金宝appSimulink是一种基于模型的设计的工具,设计验证者在开发过程中节省时间和金钱的早期提前检测了Simulink模型中的设计错误。
设计验证者使用正式方法,这允许它证明某些设计错误永远不会发生,而且当它们可以时,它会提供一个暴露问题并帮助调试的测试箱。
首先,我们将在Simulink ToolStrip上打开设计验证程序窗格并运行设计验证程序。金宝app对于此分析,设计验证者将检测模型中的死亡逻辑。死亡逻辑是逻辑,可以由模型执行。
设计验证程序在此模型中找到了一个死亡逻辑的一个实例。Design Verifier将突出红色以红色的死亡逻辑的实例突出显示,这使得能够轻松找到。结果检查员窗口告诉我们无法锻炼哪些条件。
在这里,Tspeed 实际上,当TSPEED等于Mintspeed时,我们还希望从这种状态转换出来,因此我们实际上需要(tspeed小于或等于mintspeed)。 这是设计验证者有助于我们改善我们的设计的位置的一个例子。 当我们重新运行分析时,我们现在看到模型被证明是没有死亡逻辑的。 接下来,我们将分析模型以获取运行时错误,逐个零。就像以前一样,我们将按下检测设计错误按钮,设计验证者将自动执行其分析。 在这种情况下,设计验证者已检测到逐个零的两个实例。 设计验证者的一部分是它将为您提供一个测试箱,可用于帮助调试错误。按下“查看测试用例”,设计验证程序将为您生成测试线束,您可以模拟,以便调试设计错误。这使我们能够使用Simulink的所有调试功能,以便更好地理解问题的原因。金宝app 通过导航到错误,我们可以看到我们将其划分副,在这种情况下必须为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国家网站未优化您的位置。