开始使用万博1manbetx设计验证器

教程

• 使用仿真软件对系统模型验证设计验证器万博1manbetx
  

  的特性和功能的概述万博1manbetx仿真软件设计验证器来帮助您开始使用正式的验证。

• 概述匹配仿真软件设计的工作流程万博1manbetx
  

  的基本概述万博1manbetx仿真软件设计验证器工作流。

• 发现设计中的错误控制器模型
  

  识别隐藏的设计错误在您的模型中使用设计错误检测分析。

• 为简化的巡航控制模型生成测试用例
  

  分析,演示了一个简单的控制系统模型万博1manbetx仿真软件设计验证器功能。

特色的例子

检测整数溢出错误

检测整数溢出错误在模型中通过使用设计错误检测分析。万博1manbetx仿真软件®设计校验™标识可能导致的模型构造整数溢出,然后证明了整数溢出不能发生在模拟或生成测试用例,演示了整数溢出错误。

打开脚本

财产证明巡航控制的工作流

找到一个财产违反使用仿真软件®设计校验™财产证明的分析。万博1manbetx您作为属性模型的安全需求,然后验证设计模型与需求。

开放的例子

巡航控制系统测试生成

生成测试用例,实现完整的模型覆盖。默认情况下,模型®设计校万博1manbetx验™生成测试用例满足目标最少的步骤。测试的目标之一力量PI控制器的离散集成器超过其上限。当您运行仿真软件设计验证器万博1manbetx没有限制,超过限制在一个单一的步骤通过强制速度为500。约束在限速值在0到100之间的测试用例。这迫使测试用例需要几个样品超过积分器限制。

开放的例子

视频

仿真软件设计验证万博1manbetx器是什么?
介绍万博1manbetx仿真软件设计验证器。

需求和先进的模型检查工作流
在仿真软件管理需求,执行先进模型检查,检查你的万博1manbetx模型运行时错误。

基于需求的测试工作流程
解释如何使用一个测试创建一个测试序列,定义一个正式的评估、测试用例与需求,运行测试套件,并分析缺失的模型测试覆盖率。