Simulink Verification and Validation

新特性

R2014a (版本 3.7)

发行时间: 2014年3月6日

3.7 版是 Release 2014a 的一部分,它提供了以下增强功能:

  • 覆盖率结果的 Web 视图选项
  • 针对模型配置参数编写的模型顾问检查
  • 关系运算符模块的条件覆盖率
  • 针对 MATLAB 代码分析器消息的模型顾问检查
  • 日语本地化支持

有关详细信息,请参阅发行说明

立即更新

往期新闻稿

R2013b (版本 3.6) - 2013年9月5日

3.6 版是 Release 2013b 的一部分,它提供了以下增强功能:

  • MATLAB 代码的需求可追溯性
  • 针对累积模型覆盖率结果的复位选项
  • 针对铁路应用程序的 EN 50128 建模标准检查
  • 针对 MATLAB 函数块和输入/输出范围规范的模型顾问检查

有关详细信息,请参阅发行说明

R2013a (版本 3.5) - 2013年3月7日

3.5 版是 Release 2013a 的一部分,它提供了以下增强功能:

  • Stateflow MATLAB 功能模块中整数溢出饱和度模型覆盖率
  • 管理需求可追溯性偏好的 rmipref 命令
  • 需求可追溯性位置标识符中包含 DOORS 模型前缀
  • 模型顾问对应在升级顾问、性能顾问和代码顾问之间导航

有关详细信息,请参阅发行说明

R2012b (版本 3.4) - 2012年9月11日

3.4 版是 Release 2012b 的一部分,具有以下增强功能:

  • IBM Rational DOORS 需求链接自定义标签
  • Simulink 批注的需求链接
  • Stateflow 事件覆盖率筛选
  • 提供高效模型指南检查的模型顾问控制面板
  • 对库模型和 DO-178C/DO-331 标准的模型顾问检查

有关详细信息,请参阅发行说明

R2012a (版本 3.3) - 2012年3月1日

3.3 版是 Release 2012a 的一部分,它提供了以下增强功能:

  • 整数溢出饱和度模型覆盖率
  • 从模型顾问中排除选中模型对象
  • 在模型窗口中突出显示模型顾问结果
  • Simulink 对象之间需求链接
  • 从外部文档直接超链接导航到 Simulink,在文档中替换导航对象插入

有关详细信息,请参阅发行说明