开始验证和验证
探索示例、文章和教程。
这个示例向您展示了设计人员如何开始使用MathWorks模型验证和验证工具。它将指导您如何在Simulink中管理和查看需求，检查是否符合建模标准，以及检查运行时错误。万博1manbetx这个例子使用了Simulink R万博1manbetxequirements, Simulink Check和Simulink Design Verifier。
文件交换
这个示例向您展示了测试人员如何开始使用MathWorks模型验证和验证工具。它将指导您如何使用测试序列创建测试，定义正式的评估，将测试用例链接到需求，运行测试套件，并分析缺失的模型测试覆盖率。这个例子使用了Simulink R万博1manbetxequirements, Simulink Test, Simulink Coverage，和Simulink Design Verifier。
文件交换
万博1manbetxSimulink Requirements允许您在Simulink中编写、导入和管理需求，跟踪它们的实现和验证状态，并快速响应需求更改。
视频
如果您有Simulink万博1manbetx Test和Simulink Requirements，您可以在测试管理器中将您的需求链接到测试用例。链接到测试可以让您看到需求是如何通过测试确认的。
文档
使用Simulink Test编写测试的时间评估，以验证复杂的依赖时间的需求。万博1manbetx您可以使用语义明确的自然语言格式来指定评估。
视频
使用Simulink Test开发、管理和执行基于模拟的测试。万博1manbetx
视频
本文以一个三重选择算法为例，展示了如何在基于需求的测试中使用模型测试覆盖率来识别缺失的需求。
文章
在Simulink coverage中使用模型覆盖率检测设计中未测试的元素万博1manbetx
视频
如果您有Embedded Coder和Simulink覆盖率，万博1manbetx您可以在软件在环(SIL)或处理器在环(PIL)模拟期间分析生成代码的覆盖率。
文档
在Simulink Design Verifier中，通过突出功能依赖关系和使用模型切片器功能生成简化模型，可以更快地调试复杂的设计。万博1manbetx
视频
本文介绍了一种基于Simulink的验证工作流。万博1manbetx涵盖的主题包括创建测试用例，为缺失的模型覆盖率生成测试用例，以及度量代码覆盖率。
文章
了解编辑时检查如何在编辑时识别Simulink或statflow中的指南或标准问题。万博1manbetx
视频
在模型开发期间，检查和分析您的模型以增加对其质量的信心。检查您的模型是否符合标准，如MAB风格指南和高完整性系统设计指南，如DO-178和ISO 26262。
文档
这个示例展示了如何使用Metrics Dashboard收集模型度量数据。
例子
使用Si万博1manbetxmulink Verification and Validation来识别模型中的重复模式，并将其重构为可重用组件。
视频
了解模型质量目标(Model Quality objective, MQO)，它已经由汽车行业和MathWorks的领导者定义。这个标准为软件开发生命周期的不同阶段的Simulink模型提供了质量目标。万博1manbetx
白皮书
使用Simulink design Verifier识别设计错误，生成测试用例，并根据需求验证设计。万博1manbetx
视频
识别设计错误，证明需求遵从性，并生成测试。
文档
这个示例展示了如何在sldvexFloatingPointErrorChecks示例模型中检测非有限、NaN和次正常浮点值。该模型由导致错误的浮点算术运算组成。执行设计错误检测分析以检测模型中的这些错误。
文档
这个例子展示了如何为死逻辑优化模型。sldvSlicerdemo_dead_logic模型由死逻辑路径组成，您可以对其进行依赖项分析。
文档
