EverTest

EverTest 是用于 Simulink、Stateflow 和 TargetLink 模型及库的动态模型验证的合格工具。EverTest 软件支持测试驱动设计，可与手动开发或自动生成的外部代码配合，实现软件在环（SIL）和处理器在环（PIL）验证。EverTest 以系统化方式支持仿真测试的创建、管理、执行、评估与文档生成。

EverTest 支持基于需求、等价性及前后对照测试。您可以生成验证报告，存档并审查测试结果，重新运行失败的测试，并通过集成的逐步调试器分析模型中的数据流和控制流。EverTest 已根据 IEC 61508 和 ISO 26262 在合格开发环境中获得动态模型验证认证。