验证模型和生成代码

Simulink Verification and Validation™ 自动进行需求追溯、建模标准合规性分析和模型覆盖率分析。

您可以创建详细的需求可追溯性报告、编写建模检查标准及开发检查配置,从而与工程团队一起分享。还可以将需求文档链接到模型、测试用例和生成的代码。您可以生成框架模型以测试模型组件和代码,并使用模型覆盖率分析确保模型经过完整测试。

Simulink Verification and Validation 提供了 DO-178、ISO 26262、IEC 61508 及相关行业标准的建模标准检查。还可以通过 DO Qualification KitIEC Certification Kit 获得额外支持。


功能

使用 Simulink Verification and Validation

创建外部文档与 Simulink 模块之间的链接。

了解更多

需求跟踪到模型、测试和生成代码

将 Simulink 和 Stateflow 对象链接到需求文档中的文本。

了解更多

符合建模标准

使用模型顾问执行单个检查或一组检查。

了解更多

组件测试

使用一个 API 对模型中一个或多个引用模型、子系统或原子子图表进行分析和仿真。

了解更多

分析模型覆盖率

生成模型覆盖率报告,以指出设计中未测试的元素。

了解更多

产品资源

通过浏览这些资源,探索有关 Simulink Verification and Validation 的更多信息。

文档

浏览 Simulink Verification and Validation 函数和功能文档,包括发行说明和代码示例

功能

浏览可用 Simulink Verification and Validation 函数的列表

系统要求

查看最新 Simulink Verification and Validation 版本的系统要求

技术文章

查看使用 Simulink Verification and Validation 方面的文章,了解可以带来的技术优势

用户案例

了解 Simulink Verification and Validation 正在如何推动您所在行业内的研发步伐

社区和支持

查找问题答案并浏览故障排除资源


试用或购买

开始使用Simulink Verification and Validation 产品有多种方式。 下载免费试用版, or 了解定价和许可选项。

获取免费试用版

试用 Simulink Verification and Validation。

获取试用版

准备购买?

购买 Simulink Verification and Validation 并了解附加产品。

联系销售
定价和许可

有疑问吗?

Paul

联系 Paul Urban,
Simulink Verification and Validation 技术专家

给 Paul 发送电子邮件

Simulink Verification and Validation requires MATLAB, and Simulink.


相关解决方案

使用 Simulink Verification and Validation 来解决科技与工程上的挑战:


新闻与事件

了解 MathWorks 工程师对 Simulink 和基于模型的设计的看法.

Improve Design Efficiency Using Modeling Standards Checking