开始使用验证和确认

探索的例子,文章和教程。

开始的例子

这个示例工作流显示用户如何开始使用系统,使用仿真软件基于需求的测试。金宝app

GitHub

这个例子向您展示了设计师如何开始使用MathWorks模型验证和验证工具。它向你介绍如何管理和查看需求在仿真软件,运行检查符合建模标准,检查运行时错误。金宝app示例使用仿真软件需求、模型检验和仿金宝app真软件设计验证器。

文件交换

需求跟踪和分析

金宝app仿真软件的需求让你作者、导入和管理需求在仿真软件中,跟踪他们的实现和验证状态和快速响应需求变化。

视频

如果你有仿真软件测试和仿金宝app真软件需求,你可以联系你的需求测试用例在测试经理。链接测试可以让你看到需求确认与测试。

文档

作者时间评估测试与仿真软件测试来验证复杂套牢的要求。金宝app您可以使用自然语言格式具有明确的语义指定评估。

视频

功能测试

开发、管理和使用仿真软件仿真测试执行测试。金宝app

视频

使用三层选择算法为例,本文展示如何使用测试覆盖模型来确定失踪在基于需求的测试需求。

文章

衡量测试覆盖率模型和使用仿真软件生成的代码覆盖率。金宝app

视频

如果你有嵌入式编码器和仿真软件覆盖,您可以分析生成的代码覆盖在金宝appsoftware-in-the-loop (SIL)或processor-in-the-loop(公益诉讼)模拟。

文档

调试复杂的设计更快的通过突出函数依赖和产生一个简化模型与模型切片机特性仿真软件设计验证器。金宝app

视频

认证标准遵从性

本文介绍了一种基于仿真软件验证工作流。金宝app涵盖的主题包括创建测试用例为缺失的模型生成测试用例覆盖率,和测量代码覆盖率。

文章

学习如何编辑时间检查识别准则或标准问题在仿真软件或Stateflow编辑。金宝app

视频

在模型的发展过程中,检查和分析模型来提高其质量的信心。检查你的模型与标准,如马伯风格指南和高度集成等系统设计指南- 178和ISO 26262。

文档

这个例子展示了如何收集模型度量数据通过使用度量仪表板。

例子

使用仿真金宝app软件验证和确认来识别重复的模式模型和重构为可重用的组件。

视频

了解模型质量目标(MQO),已被定义为汽车行业的领导人和MathWorks。这个标准提供了质量目标仿真软件模型在软件开发生命周期的不同阶段。金宝app

白皮书

设计错误检测

识别设计错误,生成测试用例,使用仿真软件设计校验和验证设计要求。金宝app

视频

这个例子展示了如何检测非限定的,奶奶,sldvexFloatingPointErrorChecks示例模型中的浮点值低于正常。模型由浮点算术运算,导致一个错误。执行设计错误检测分析来检测这些错误的模型。

文档

这个例子展示了如何完善死亡模型逻辑。sldvSlicerdemo_dead_logic模型由死的逻辑路径依赖完善的分析。

文档