如何使用仿真软件设计验万博1manbetx证器自动检测的仿真软件模型设计错误吗
您可以使用仿真软件设计验万博1manbetx证人™自动检测在开发过程的早期设计错误。这可以节省大量的开发和测试时间。万博1manbetx支持包括死去的逻辑设计错误,除零,和许多其他人。
在这个视频中,您将看到如何使用仿真软件设计验证器发现设计中的错误,以及如何万博1manbetx错误,当检测到,可以使用可视化调试特性仿真软件设计验证器。
您还将看到如何仿真软件设计验证器提供了一万博1manbetx个运行时错误的测试用例,可以调试使用仿真软件的调试功能®的过程,简化理解错误的原因。
嗨,我的名字叫安德鲁,我的开发人员在MathWorks仿真软件设计验证器产品。万博1manbetx
在这个视频中,我将向您展示如何检测设计错误的推动按钮。
万博1manbetx仿真软件是基于模型的设计工具和设计验证器有助于及早发现设计错误在你的仿真软件模型在开发过程中节省时间和金钱。
设计验证器使用正式的方法,它可以证明某些设计错误永远不会发生,当他们可以,它提供了一个公开的testcase和有助于调试问题。
首先,我们将打开设计验证器窗格在仿真软件将来发布和运行设计验证器。万博1manbetx分析、设计验证器将检测死的逻辑模型。死的逻辑是无法执行的逻辑模型。
设计验证人发现死逻辑在这个模型的一个实例。设计验证器将在红色突出死亡的实例的逻辑,可以方便地找到它。结果检查器窗口告诉我们哪些条件无法行使。
在这里,tspeed < mintspeed从来都不是真实的。这种转变的原因在于,捕获,tspeed小于mintspeed第一,然后分配mintspeed tspeed。这意味着我们永远不会离开这个国家由于tspeed不到mintspeed。
事实上,我们也想转换的状态当tspeed等于mintspeed,所以我们真正想要的(tspeed小于或等于mintspeed)条件。
这是一个例子的设计验证器可以帮助我们改善我们的设计。
当我们重新运行分析,我们现在看到的模型被证明是免费的逻辑。
接下来,我们将分析该模型的运行时错误,除零。就像以前一样,我们会按检测设计错误按钮,和设计验证器会自动执行的分析。
在这种情况下,设计验证器检测到除零的两个实例。
设计验证人的力量的部分原因是,它会给你一个testcase,可以用来帮助调试错误。按“查看测试用例,设计验证器将为您生成一个测试工具,它可以为了模拟调试设计的错误。这允许我们使用的所有调试功能仿真软件为了更好地理解这个问题的原因。万博1manbetx
通过导航到错误,我们可以看到,我们是除以holdrate,在这种情况下必须是0。这是我们定义的值。我们是除以它表明,我们不希望这个参数可能的值为0。修正错误,在这种情况下,是改变的规范holdrate参数排除0的价值,这是我们打算开始个设计实例验证器有助于改善我们的设计!
通过运行分析,我们现在看到模型被证明是没有除零错误。
现在您已经看到了如何使用设计验证器自动检测设计错误。这是设计的完整列表设计验证器是目前能够发现错误,我们将继续在未来增加更多。
除了设计错误检测、设计验证器可以执行自动测试生成和证明模型符合指定的要求。
非常感谢你的时间,和更多信息,请参见视频中的链接描述。
相关产品s manbetx 845
你也可以从下面的列表中选择一个网站
表现最好的网站怎么走吗
选择中国网站(中文或英文)最佳站点的性能。其他MathWorks国家网站不优化的访问你的位置。