开始验证和验证
探索示例，文章和教程。
系统的、基于需求的测试是高完整性软件开发的关键工作流。本视频提供了一个使用Simulink验证和验证产品的自我引导示例的概述。下载188bet金宝搏金宝app
视频
此示例显示了设计师如何开始MathWorks模型验证和验证工具。它通过如何在Simulink中管理和查看要求，运行检查是否符合建模标准，并检查运行时错误。金宝app该示例使用Simulink要求，S金宝appimulink检查和Simulink设计验证程序。
文件交换
金宝appSimulink Requirements允许您在Simulink中编写、导入和管理需求，跟踪它们的实现和验证状态，并快速响应需求更改。
视频
如果您有Simulink金宝app测试和Simulink要求，则可以将您的要求链接到测试管理器中的测试案例。链接到测试允许您了解如何使用测试确认要求。
文档
使用Simulink Test编写测试的时间评估，以验证复杂的依赖时间的需求。金宝app您可以使用语义明确的自然语言格式来指定评估。
视频
使用Simulink测试开发，管理和执行基于模拟的测试。金宝app
视频
使用Triplex选择算法作为示例，本文显示了模型测试覆盖如何用于在基于要求的测试期间识别缺失的要求。
文章
使用Simulink Ruckage测量模型中的测试覆盖并生成的代码。金宝app
视频
如果您有Embedded Coder和Simulink覆盖率，金宝app您可以在软件在环(SIL)或处理器在环(PIL)模拟期间分析生成代码的覆盖率。
文档
通过突出显示功能依赖性并使用Simulink设计验证程序中的模型切片机功能突出显示功能依赖项并产生简化模型，调试复杂设计。金宝app
视频
本文介绍了基于Simulink的验证工作流程。金宝app涵盖的主题包括创建测试用例，生成缺少模型覆盖率的测试用例，以及测量代码覆盖率。
文章
了解编辑时检查如何在编辑时识别Simulink或statflow中的指南或标准问题。金宝app
视频
在模型开发中，检查和分析模型，以增加其质量的信心。检查您的模型，防止标准，如MAB样式指南和高完整性系统设计指南，如DO-178和ISO 26262。
文档
这个示例展示了如何使用Metrics Dashboard收集模型度量数据。
例子
使用Si金宝appmulink验证和验证将模型和重构中的重复模式识别到可重用组件中。
视频
了解模型质量目标（MQO），由汽车行业和MATHWORKS的领导者定义。本标准为软件开发生命周期的不同阶段提供了Simulink模型的质量目标。金宝app
白皮书
使用Simulink design Verifier识别设计错误，生成测试用例，并根据需求验证设计。金宝app
视频
识别设计错误，证明要求合规性并生成测试。
文档
此示例显示如何在SLDVEXFLOATEPOINTERRORORORORORCERCHECKS示例模型中检测非小型，NAN和子正轮机浮点值。该模型包括浮点算术运算操作，导致错误。执行设计错误检测分析以检测模型中的这些错误。
文档
这个例子展示了如何为死逻辑优化模型。sldvSlicerdemo_dead_logic模型由死逻辑路径组成，您可以对其进行依赖项分析。
文档
免费试用
30天的探索触手可及。
如您需要帮忙，请联系我们。
联系我们进行自定义评估，并根据您的需求获得定价。
