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