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