MATLAB R2020a基于模型的开发平台方面的新进展：模型验证、代码生成和代码验证

概述

近几年在需求管理方面的更新很大，借助Requirements Toolbox可以实现需求在Simulink平台和需求管理工具之间的导入导出；需求和模型之间的链接在Simulink平台和需求管理工具之间的导入导出；需求跟踪矩阵。

模型切片(Model Slicer)功能和模型克隆检查功能移植到Simulink Check，定位模型错误，检查检查模型中重复使用的子系统这些功能更加便利，并且，新版本增加了对新版MAB建模规范的支持。

在测试变更管理中，测试文件的比较非常重要，Simulink Test引入测试文件的比较功能；测试报告的定制化让自动化测试报告成为很轻松的事情。

在一些疑难问题检查上，Simulink Design Verifier的设计错误检查功能有重要更新，一是支持对客户化代码的错误检查；二是提供了对检查错误的注释功能，这让这一工具能够检查的错误范围更广，并且也可以避免一些不必要的报错。

在功能测试时，覆盖率是测试是否完善的重要指标，Simulink Coverage最近几年也有重要更新，不仅提供了对代码的覆盖率支持，还为了满足ISO 26262要求，对于SIL/PIL的集成测试提供了调用覆盖率和函数覆盖率收集功能。

代码生成的更新主要体现在代码效率和C++代码生成上，新版本的Embedded Coder可以生成效率更高的代码，并且，为满足行业发展的趋势，在C++代码生成上有了很多更新。

新版本的Polyspace支持更多的编译器；也支持更多的检查规则。

关于演示者

董淑成，专注于基于模型的设计方法与成熟度