Simulink Verification and Validation

新特性

R2014b (版本 3.8) - 发行时间 2014年10月2日

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

  • 关系边界值的模型覆盖率
  • 为使用 MATLAB 作为操作语言的图表提供建模标准检查支持
  • Simulink 数据字典条目的要求链接
  • 以模型突出显示和 Web 视图捕获和显示要求详细信息​​

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

往期新闻稿

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 标准的模型顾问检查

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