验证、确认和测试

验证和确认快速入门 -凯发k8网页登录

浏览示例、文章和教程。

入门示例

本示例工作流程可帮助用户入门，了解如何使用 simulink 进行系统化的、基于需求的测试。

github

此示例向您展示设计人员如何快速入门，掌握 mathworks 的模型验证和确认工具。跟随视频，您将了解到如何在 simulink 中管理和查看需求，运行建模标准合规检查，以及检查运行时错误。此示例使用 requirements toolbox、simulink check 和 simulink design verifier。

github

需求可追溯性和分析
requirements toolbox 概述
使用 requirements toolbox，您可以在 matlab 和 simulink 中编写、导入和验证需求，跟踪需求的实现和验证状态，并针对需求变更做出快速响应。

视频
从需求链接到测试用例
如果您有 simulink test 和 requirements toolbox，则可以在测试管理器中将需求链接到测试用例。通过链接，您可看到通过测试确认需求的过程。

文档

使用 simulink test 为测试编写时态评估，以验证复杂的、时序相关的需求。您可以使用具有明确语义的自然语言格式来指定这些评估。

视频

功能测试
simulink test 概述
使用 simulink test 开发、管理和执行基于仿真的测试。

视频

这篇文章以一个三元组选择算法为例，展示了在基于需求的测试中，如何使用模型测试覆盖率来识别缺失的需求。

文章
simulink coverage 概述
使用 simulink coverage 测量模型和所生成代码的测试覆盖率。

视频

如果您有 embedded coder 和 simulink coverage，则可以在软件在环 (sil) 或处理器在环 (pil) 仿真过程中，分析生成代码的覆盖率。

文档

使用 simulink design verifier 中的模型分块器，突出显示功能依存关系并生成简化的模型，从而更快地调试复杂的设计。

视频

认证标准合规性

这篇文章描述了基于 simulink 的验证工作流程。涵盖的主题包括创建测试用例，为模型中未被覆盖的部分生成测试用例，以及测量代码覆盖率。

文章
如何定义自定义编辑时检查
了解如何使用 simulink check 编写在编辑时运行的自定义模型顾问检查。

视频

在模型开发过程中，检查和分析模型，让您对模型质量更有信心。对照 mab 风格指南和高完整性系统设计指南（如 do-178 和 iso 26262）等标准，检查您的模型。

文档

此示例展示如何使用 metrics dashboard 收集模型指标数据。

示例

使用 simulink 验证和确认，识别模型中的重复模式，并将其重构为可重用组件。

视频
模型质量目标
了解由汽车行业领导者和 mathworks 定义的模型质量目标 (mqo)。针对 simulink 模型，此标准提供在软件开发生命周期不同阶段的质量目标。

白皮书

设计错误检测
simulink design verifier 概述
使用 simulink design verifier 识别设计错误，生成测试用例，并根据需求验证设计。

视频
simulink design verifier 快速入门
识别设计错误、证明需求合规及生成测试。

文档

此示例使用 sldvexfloatingpointerrorchecks 示例模型，展示了如何检测非有限、nan 和非规范浮点值。该模型包含导致错误的浮点算术运算。执行设计错误检测分析，以检测模型中的这些错误。

文档
分析死逻辑
此示例展示如何优化死逻辑模型。sldvslicerdemo_dead_logic 模型由死逻辑路径组成，您可以进行优化以实现依存关系分析。

文档

30天免费试用

快速入门

我们可以为您提供帮助。

联系凯发k8网页登录开展定制化评估，基于具体需求获取相应定价。

网站地图