MATLAB 和 Simulink R2023b 版本更新，聚焦验证、确认和测试

述概

R2023b推出两款新产品和几项增强功能，可简化并自动化基于模型的设计，帮助工程师和研究人员为其组织实现产品创新和突破。

Simulink Fault Analyzer支持使用仿真进行系统的故障效应和安全分析。它无需修改设计即可执行故障注入仿真。故障可以定时或由系统条件触发。您可以管理在 Simulink、Simscape 和 System Composer 中建模引入的故障。可以使用Simulation Data Inspector分析故障影响。您可以使用Multiple Simulations面板执行故障敏感性分析。您可以利用仿真执行安全分析，例如失效模式和影响分析 （FMEA）。

Polyspace Test提供了用于开发、管理和执行嵌入式系统中 C 和C++代码的单元和集成测试的工具。您可以使用 Polyspace xUnit API 或图形化的测试用例编辑器、插桩或模拟来创建测试用例，以隔离和验证被测代码。Polyspace Test允许您在主机或嵌入式目标上执行测试，自动执行测试，并将测试与可追溯性要求联系起来。

您可以执行代码覆盖率分析，以使用决策、条件和修改的条件/决策覆盖率 （MC/DC） 等指标来衡量测试完整性。您可以使用自动生成测试来实现所需的代码覆盖率、测试边界值和扩展基于需求的测试用例。

关于演示者

刘洪斐，MathWorks中国高级项目支持经理，负责领导中国技术团队帮助中国地区的客户采用和实施基于模型的设计开发和自动代码生成及验证。曾任职于霍尼韦尔中国研发中心，软件研发团队主管，从事多种复杂关键机载系统软件的研发和测试认证。毕业于西安交通大学，获得计算机科学与技术专业本科和硕士学位。

阎阅，MathWorks 中国高级应用工程师，本科就读于四川大学电气信息专业，硕士毕业于伦敦帝国理工学院控制系统专业。2019年加入 MathWorks ，现主要支持汽车行业客户基于模型设计、代码生成和测试验证。

李敏，MathWorks中国高级应用工程师，专注于基于模型的设计在产品开发中的应用，主要负责控制系统的建模仿真、算法设计、代码生成与测试，毕业于北京航空航天大学，博士期间在航天专业期刊发表多篇学术论文。

胡乐华，MathWorks中国高级应用工程师，专注于MBD在汽车和航空等高安全行业的应用，在模型和代码生成及验证，嵌入式代码生成方面，有丰富的经验。现已全面负责Polyspace产品的推广和深度支持。拥有3年的MBD产品培训经验。加入MathWorks之前，曾就职于霍尼韦尔和中航工业，从事机载软件和系统仿真方面的工作。