入门验证与确认
探索的例子，文章和教程。
系统，基于需求的测试是高完整性的软件发展的关键工作流程。此视频提供了使用Simulink的验证和确认产品的自引导的例子的概述。s manbetx 845万博1manbetx
视频
这个例子展示了如何一个设计师将开始使用MathWorks公司的模型验证和确认工具。它会引导你如何管理和Simulink中查看的要求，运行合规性检查建模标准，并检查运行时错误。万博1manbetx本例使用Simulink的要求，S万博1manbetximulink的检查，和Simulink设计验证。
文件交换
万博1manbetxSimulink的要求，您可以创作，导入和Simulink的内部管理需求，跟踪其执行和验证状态，并快速响应需求的变化。
视频
如果你有Simulink万博1manbetx的测试和Simulink的要求，您可以连结要求测试用例的测试管理。链接到的测试可以让你看到的要求是如何与测试证实。
文档
笔者暂时评估与Simulink的试验测试，以验证复杂的时序依赖型的要求。万博1manbetx您可以使用明确的语义的自然语言格式指定评估。
视频
开发，管理和利用Simulink测试执行基于模拟的测试。万博1manbetx
视频
使用三重选择算法为例，这篇文章显示模型的测试覆盖率如何被使用在基于需求的测试，以确定失踪的要求。
文章
测量模型的测试覆盖率，并利用Simulink覆盖生成的代码。万博1manbetx
视频
如果您有嵌入式编码和Simulink覆盖面，您可以在分析覆盖生万博1manbetx成的代码软件在环（SIL）或处理器在环（PIL）模拟。
文档
调试复杂的设计通过突出显示功能的依赖性和产生具有在Simulink设计验证模型切片器功能的简化模型更快。万博1manbetx
视频
本文介绍了基于Simulink的验证工作流程。万博1manbetx涵盖的主题包括创建测试用例，失踪模型覆盖生成测试用例，并测量代码覆盖。
文章
了解编辑时检查标识指引或标准问题，如何在Simulink或Stateflow的同时编辑。万博1manbetx
视频
在模型开发，检查和分析模型，以提高其质量的信心。检查你对标准模型如MAB风格指南和高完整性系统设计指南，如DO-178和ISO 26262。
文档
这个例子显示了如何使用度量仪表板，以收集模型度量数据。
例
使用Si万博1manbetxmulink的验证和确认，以在模型和重构为可重用的组件识别重复的模式。
视频
了解型号质量目标（MQO），已经由领导从汽车行业和MathWorks的定义。本标准规定了Simulink模型的质量目标，并在软件开发生命周期的不同阶段。万博1manbetx
白皮书
找出设计错误，生成测试用例，并验证反对使用Simulink设计验证的要求设计。万博1manbetx
视频
找出设计错误，证明合规性要求，并生成测试。
文档
此示例示出了如何检测在sldvexFloatingPointErrorChecks示例模型非限定性，NaN和低于正常浮点值。该模型由浮点运算的结果是在一个错误。执行设计错误检测的分析模型来检测这些错误。
文档
这个例子说明了如何完善对死者的逻辑模型。该sldvSlicerdemo_dead_logic模型由你细化依赖分析死者逻辑路径。
文档
