基于模型的测试是一种系统方法，可以从系统要求模型生成测试用例。它允许您评估独立于算法设计和开发的要求。
基于模型的测试涉及：
- 创建测试的系统要求模型
- 从此要求生成测试数据 - 模型表示
- 使用生成的测试用例验证您的设计算法
使用基于模型的测试从要求生成测试。
在基于模型的测试中，您使用要求模型来生成测试用例以验证您的设计。此过程还通过将测试用例和验证目标链接到高级测试要求，帮助自动化其他验证任务并简化审阅过程。和万博1manbetxSimulink要求您可以直接在内部作者万博1manbetx®或使用第三方要求工具的交换要求。您可以在要求，设计，生成的代码和测试之间建立和分析可追溯性。
使用万博1manbetxSimulink Test™您可以管理测试用例，并系统地执行它们以确认您的设计满足要求。为了提高传统的随机和启发式方法超越生成的测试用例的质量，您可以使用测试生成测试万博1manbetxSimulink Design Verifier™，使用正式分析技术。和万博1manbetxSimulink Coverage™您可以使用模型和代码覆盖度量标准来评估基于模型的测试工作的完整性。这些指标可以识别缺失的要求和意外功能。
要将硬件和生产代码合并到基于模型的测试中，您可以通过在循环（SIL），循环（PIL）中的软件（SIL），循环（PIL）中或IN中通过测试收集的数据进行比较模拟结果的动态输出实时与硬件循环（HIL）。您可以使用万博1manbetxSimulink测试帮助管理此等价测试工作流程。
