如何使用Simulin金宝appk设计验证器自动检测您的Simulink模型中的设计错误
您可以使用Simulin金宝appk Design Verifier™在开发过程的早期自动检测设计错误。这节省了大量的开发和测试时间。金宝app支持的设计错误包括死逻辑、按零除法和许多其他错误。
在本视频中,您将看到如何使用Simulink Design Verifie金宝appr来查找设计中的错误,以及在检测到错误时如何使用Simulink Design Verifier中的可视化功能进行调试。
您还将看到Simulink Design金宝app Verifier如何为运行时错误提供测试用例,可以使用Simulink中的调试功能对其进行调试®,简化了理解错误原因的过程。
大家好,我叫Andrew,是MathWorks公司Simulink Design Verifier产品的金宝app开发人员。
在本视频中,我将向您展示如何通过按下按钮来检测设计错误。
金宝appSimulink是一种基于模型的设计工具,设计验证器可以帮助您在开发过程的早期检测Simulink模型中的设计错误,从而节省时间和金钱。
Design Verifier使用正式的方法,这允许它证明某些设计错误永远不会发生,当它们发生时,它提供了一个暴露问题并帮助调试的测试用例。
首先,我们将打开Simulink工具条上的Design Verifier窗格并运行Design Ve金宝apprifier。对于此分析,Design Verifier将检测模型中的死逻辑。死逻辑是模型永远无法执行的逻辑。
设计验证器在该模型中发现了一个死逻辑实例。Design Verifier将用红色突出显示失效逻辑的实例,这使得查找它变得容易。结果检查器窗口准确地告诉我们哪些条件永远不能执行。
这里,tspeed < mintspeed从来不是true。原因是这个转换首先捕捉到tspeed小于mintspeed,然后将mintspeed分配给tspeed。这意味着我们永远不会因为tspeed小于mintspeed而离开这个状态。
实际上,当tspeed等于mintspeed时,我们也希望从这种状态过渡,所以我们实际上希望(tspeed小于或等于mintspeed)是条件。
这是Design Verifier帮助我们改进设计的一个例子。
当我们重新运行分析时,我们现在看到模型被证明没有死逻辑。
接下来,我们将分析模型的运行时错误,即除以零。就像之前一样,我们将按下检测设计错误按钮,design Verifier将自动执行其分析。
在这种情况下,Design Verifier已经检测到两个除零的实例。
Design Verifier的部分功能在于,它将为您提供一个测试用例,可以用来帮助调试错误。通过按“查看测试用例”,Design Verifier将为您生成一个测试工具,您可以模拟它来调试设计错误。这允许我们使用Simulink的所有调试功能,以便更好地了解问题的原因。金宝app
通过导航到errors,我们可以看到我们除以holdrate,在这种情况下它必须为0。这实际上是我们自己定义的一个值。我们除以它的事实表明我们不希望这个参数的值为0。在这种情况下,修复错误的方法是更改holdrate参数的规范,以排除0的值,这是我们一开始打算使用的值——Design Verifier帮助改进设计的另一个实例!
通过重新运行分析,我们现在看到该模型被证明没有除零错误。
现在您已经看到了如何使用design Verifier自动检测设计错误。以下是design Verifier目前能够检测到的设计错误的完整列表,我们将在未来继续添加更多。
除了设计错误检测之外,design Verifier还能够执行自动测试生成并证明模型满足其指定的需求。
非常感谢您的时间,更多信息,请查看视频描述中的链接。
相关产品下载188bet金宝搏
Vous pouvez samgalement samaclectionner unsite web dans列表:
评论优化器降低了站点的性能
Pour optimizer les performance du site, ssamiclectionnez la rsamicion chinese (en chinis you en anglais)。我的网站,我的工作,我的作者,我的朋友,我的朋友,我的朋友,我的朋友,我的朋友。