R2017b中有一个产品发生了许可相关的变化。要使用此产品的最新版本，您必须订阅MathWorks软件维护服务(R2017b)。

万博1manbetxSimulink验证和验证

从R2017b开始，Simu万博1manbetxlink验证和验证™已经过渡到三个产品:Simulink Check™、Simulink Coverage™和Simulink Res manbetx 845quirements™。

• 需求跟踪和需求管理接口(RMI)功能已经转移到Simulink需求中。万博1manbetx
• 模型和生成的代码覆盖功能，以及组件验证功能等slvnvmakeharness，已转移至Simulink覆盖。万博1manbetx
• 法规遵循检查、模型度量、克隆检测和重构，以及模型转换器功能已经转移到Simulink检查中。万博1manbetx

万博1manbetxSimulink检查、Simulink覆盖和Simulink要求都需要MATLAB^®和仿真软万博1manbetx件^®，但它们之间没有相互依赖关系。万博1manbetxSimulink Design Verifier™需要Simulink验证和验证，现在需要Simulink检查和Simulink覆盖。

万博1manbetx从R2017b版本开始，Simulink需求和Simulink覆盖范围都是可用的。由于Simulink验证和验证产品的过渡，如果您正在使用R万博1manbetxMI(需求管理接口)进行需求跟踪，或者使用R2017a或更早的时候使用模型/生成的代码覆盖功能，那么需要使用Simulink检查来使用这些功能。万博1manbetxSimulink Check保留了来自Simulink验证和验证的许可特性，允许在旧版本中使用。

请联络支持万博1manbetx的更多信息

了解更多关于过渡的信息

如果你是: