文件
设计错误检测包括死亡逻辑,整数溢出,划分零,违反设计属性和断言。金宝app®设计Verifier™使用正式方法来识别模型中的难以找到的设计错误,而无需进行广泛的测试或模拟运行。你用金宝appSimulink Design Verifier在包含设计错误的模型中突出显示块,并且已证明在没有它们的情况下。对于具有错误的每个块,计算信号范围边界并生成再现仿真错误的测试向量。
通过使用设计错误检测分析来检测模型中的整数溢出错误。金宝appSimulink®设计验证程序™标识可能导致整数溢出的模型构造,然后证明在模拟期间不能发生整数溢出或生成演示整数溢出错误的测试用例。
检测模型中的绑定数组访问错误。
您单击了与此MATLAB命令对应的链接:
在MATLAB命令窗口中输入它来运行命令。Web浏览器不支持MATLAB命令。金宝app
选择一个网站,以便在可用的地方进行翻译内容,并查看本地活动和优惠。根据您的位置,我们建议您选择:。
您还可以从以下列表中选择一个网站:
选择中国网站(以中文或英文)以获得最佳网站性能。其他MathWorks国家网站未优化您所在地的访问。
联系您当地的办公室
立即获得试用