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