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