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