Mathworks发行2017b

一种产品在R2017B中具有与许可相关的更改。要使用此产品的最新版本，您必须订阅R2017B的Mathworks软件维护服务。

万博1manbetx模拟验证和验证

从R2017B开始，Simu万博1manbetxlink验证和验证™已过渡到三个产品：Simulink Check™，Simulink Coverage™和需求Toolbox™。s manbetx 845

• 需求可追溯性和需求管理接口（RMI）功能已移至需求工具箱。
• 模型和生成的代码覆盖功能以及组件验证功能，例如slvnvmakeharness，已移至模拟覆盖范围。万博1manbetx
• 合规性检查，模型指标，克隆检测和重构以及模型变压器功能已移动以模拟检查。万博1manbetx

万博1manbetxSimulink检查，Simulink覆盖范围和需求工具箱每个都需要MATLAB^®和Sim万博1manbetxulink^®，但是他们没有彼此的依赖。万博1manbetxSimulink Design Verifier™需要Simulink验证和验证，现在需要Simulink检查和Simulink覆盖范围。

需求工具箱和Simulink覆盖范围可用，启动Re万博1manbetxlease R2017B及以后。由于Simulink验证和验证产品的过渡，如果您使用RMI万博1manbetx（需求管理接口）用于需求可追溯性或具有R2017A或更早的模型 /生成的代码覆盖能力，则需要Simulink检查以使用这些功能。万博1manbetxSimulink检查保留了Simulink验证和验证的许可功能，并允许在较旧版本上使用。

请联系支持万博1manbetx了解更多信息

了解有关过渡的更多信息

如果你是：