从验证和验证开始
探索示例、文章和教程。
这个示例工作流向用户展示了如何开始使用Simulink进行系统的、基于需求的测试。
GitHub
这个示例向您展示了设计人员如何开始使用MathWorks模型验证和验证工具。它将向您介绍如何在Simulink中管理和查看需求，运行检查是否符合建模标准，以及检查运行时错误。该示例使用了需求工具箱、Simulink检查和Simulink设计验证器。
GitHub
如果您有Simulink测试和需求工具箱，您可以将您的需求链接到测试管理器中的测试用例。链接到测试可以让您看到如何通过测试确认需求。
文档
使用Simulink Test对测试进行时间评估，以验证复杂的时间相关需求。您可以使用具有明确语义的自然语言格式来指定评估。
视频
使用Simulink Test开发、管理并执行基于模拟的测试。
视频
本文使用一个三重选择算法作为例子，展示了如何在基于需求的测试中使用模型测试覆盖率来识别缺失的需求。
文章
使用Simulink coverage在模型和生成的代码中度量测试覆盖率。
视频
如果您有嵌入式Coder和Simulink覆盖率，您可以在软件在循环(SIL)或处理器在循环(PIL)模拟期间分析生成代码的覆盖率。
文档
通过突出显示功能依赖性，并使用Simulink Design Verifier中的模型切片器特性生成简化的模型，可以更快地调试复杂的设计。
视频
本文介绍了一种基于Simulink的验证工作流。涵盖的主题包括创建测试用例，为缺失模型覆盖率生成测试用例，以及度量代码覆盖率。
文章
了解如何使用Simulink Check编写自己的自定义Model Advisor检查，并在编辑时运行。
视频
在模型开发期间，检查和分析您的模型，以增加对其质量的信心。检查您的模型的标准，如MAB风格指南和高完整性系统设计指南，如DO-178和ISO 26262。
文档
这个例子展示了如何使用Metrics Dashboard来收集模型度量数据。
例子
使用Simulink验证和验证来识别模型中的重复模式，并重构为可重用的组件。
视频
识别设计错误，生成测试用例，并使用Simulink design Verifier根据需求验证设计。
视频
识别设计错误，证明需求遵从性，并生成测试。
文档
30天的免费试用
开始
让我们知道我们能如何帮助你。
联系我们进行定制评估，并根据您的需求获得定价。
您也可以从以下列表中选择网站: