基于模型的测试

基于模型的测试是一种从系统需求模型生成测试用例的系统方法。它允许您独立于算法设计和开发评估需求。

基于模型的测试包括:

• 为测试创建一个系统需求模型
• 从这个需求模型表示生成测试数据
• 用生成的测试用例验证您的设计算法

在基于模型的测试中，您使用需求模型来生成测试用例，以验证您的设计。该过程还通过将测试用例和验证目标与高级测试需求联系起来，帮助自动化其他验证任务，并简化评审过程。与要求工具箱™您可以在其中直接编写需求动态仿真模块^®或者与第三方需求工具交换需求。您可以建立并分析需求、设计、生成的代码和测试之间的可追溯性。

使用仿真软件测试™您管理测试用例并系统地执行它们，以确认您的设计满足需求。要提高生成的测试用例的质量，超越传统的随机和启发式方法，您可以使用仿真软件设计校验™，它使用形式化分析技术。与仿真软件覆盖™您可以使用模型和代码覆盖率度量来评估基于模型的测试工作的完整性。这些指标可以识别缺失的需求和未预期的功能。

为了将硬件和生产代码合并到基于模型的测试中，您可以将仿真结果的动态输出与通过在软件在环(SIL)、处理器在环(PIL)或实时与硬件在环(HIL)中测试收集的数据进行比较。您可以使用仿真软件测试帮助管理这个等价测试工作流。