开始验证和验证
探索示例，文章和教程。
这个示例工作流向用户展示了如何开始使用Simulink进行系统的、基于需求的测试。万博1manbetx
GitHub.
此示例显示了设计师如何开始MathWorks模型验证和验证工具。它通过如何在Simulink中管理和查看要求，运行检查是否符合建模标准，并检查运行时错误。万博1manbetx该示例使用Simulink要求，S万博1manbetximulink检查和Simulink设计验证程序。
GitHub.
万博1manbetxSimulink Requirements允许您在Simulink中编写、导入和管理需求，跟踪它们的实现和验证状态，并快速响应需求更改。
视频
如果您有Simulink万博1manbetx测试和Simulink要求，则可以将您的要求链接到测试管理器中的测试案例。链接到测试允许您了解如何使用测试确认要求。
文档
使用Simulink Test编写测试的时间评估，以验证复杂的依赖时间的需求。万博1manbetx您可以使用语义明确的自然语言格式来指定评估。
视频
使用Simulink测试开发，管理和执行基于模拟的测试。万博1manbetx
视频
使用Triplex选择算法作为示例，本文显示了模型测试覆盖如何用于在基于要求的测试期间识别缺失的要求。
文章
使用Simulink Ruckage测量模型中的测试覆盖并生成的代码。万博1manbetx
视频
如果您有嵌入式编码器和Simulink覆盖，则可以在软件循环（万博1manbetxSIL）或循环中（PIL）模拟期间分析生成代码的覆盖范围。
文档
通过突出显示功能依赖性并使用Simulink设计验证程序中的模型切片机功能突出显示功能依赖项并产生简化模型，调试复杂设计。万博1manbetx
视频
本文介绍了基于Simulink的验证工作流程。万博1manbetx涵盖的主题包括创建测试用例，生成缺少模型覆盖率的测试用例，以及测量代码覆盖率。
文章
了解编辑时间检查如何在编辑时在Simulink或StateFlow中识别指南或标准问题。万博1manbetx
视频
在模型开发中，检查和分析模型，以增加其质量的信心。检查您的模型，防止标准，如MAB样式指南和高完整性系统设计指南，如DO-178和ISO 26262。
文档
此示例显示如何使用指标仪表板收集模型度量数据。
例子
使用Si万博1manbetxmulink验证和验证将模型和重构中的重复模式识别到可重用组件中。
视频
使用Simulink design Verifier识别设计错误，生成测试用例，并根据需求验证设计。万博1manbetx
视频
识别设计错误，证明要求合规性并生成测试。
文档
免费试用
30天的探索触手可及。
如您需要帮忙，请联系我们。
联系我们进行自定义评估，并根据您的需求获得定价。
