根据要求测试系统

自动生成测试向量和测试预言

导入被测系统

被测系统的代码可以作为 FMI 组件轻松导入，可以完全由代码生成工具（Simulink、Scade、ControlBuild 等）生成，也可以部分由 STIMULUS 生成以嵌入您的 C 代码。在集成时，您还可以导入 CSV 日志文件以执行真实系统的后期分析。

构建测试案例

可以定义多个用例来测试系统，并且 STIMULUS 将为每个用例自动生成多个测试向量，以便最大限度地扩展测试活动的功能覆盖范围。可以将需求轻松地重复用作测试观察因素，以检测和报告任何违反规范的情况。

运行测试活动

测试活动可自动执行通过用例生成的大量测试向量，并且 STIMULUS 将报告有关需求违例和覆盖范围的全面指标。每次失败的测试都可以在仿真环境中重新运行，并可在该环境中分析需求违例。

需求在环验证

代码开发完成后，STIMULUS 可以自动检查其是否符合系统要求。您可以使用方框图构建一个测试环境，在其中将需求转换为测试观察因素，并使用标准 FMI 协议将被测系统导入为 DLL。随后，您可以生成并运行多个测试向量，STIMULUS 将自动检查被测系统的行为是否符合其规格。在测试活动期间，STIMULUS 还会计算并报告关于需求功能覆盖范围的全面指标。

STIMULUS 的实际应用

下图显示了 STIMULUS 的一个屏幕截图，其中已运行一次测试活动。右上角的窗口提供了已通过和已失败测试的快速概览，而底部的窗口则提供了有关已失败测试的精确指标，并使用户能够在标准仿真环境中重新运行失败的测试。