基于模型的测试是生成的系统需求模型测试案例的系统方法。它可以让你评价的要求独立的算法设计和开发的。
基于模型的测试包括:
- 创建的系统要求的模型测试
- 从这个需求模型表示生成测试数据
- 与生成测试用例验证您的设计算法
在基于模型的测试,可以使用需求模型生成测试用例来验证你的设计。这个过程也可以自动完成其他验证任务,并通过测试案例和核查目标链接到高水平的测试要求,简化审查程序。同金宝appSimulink的要求您可以直接在编写要求金宝app®或与第三方需求工具交换的需求。您可以建立和分析的可追溯性要求,设计,生成的代码和测试之间。
运用金宝appSimulink的测试™您所管理的测试案例,系统地执行它们,以确认你的设计是否符合要求。为了提高所产生的测试用例的品质超越了传统的随机和启发式方法,可以生成测试金宝appSimulink设计验证器™,它采用正式的分析技术。同金宝appSimulink的覆盖™您可以使用模型和代码覆盖率的指标来评估你的基于模型的测试工作的完整性。这些指标可以识别遗漏的需求和意想不到的功能。
为了结合硬件和生产代码为基于模型的测试,可以比较的模拟结果的动态输出,通过软件在环(SIL),处理器在环(PIL),或在测试中收集的数据实时与硬件在环(HIL)。您可以使用金宝appSimulink的测试为了帮助管理这一等测试工作流程。