模块说明
自动生成测试向量和测试预言。
软件功能集
被测系统的代码可以作为 FMI 组件轻松导入，可以完全由代码生成工具（Simulink、Scade、ControlBuild 等）生成，也可以部分由 STIMULUS 生成以嵌入您的 C 代码。在集成时，您还可以导入 CSV 日志文件以执行真实系统的后期分析。
可以定义多个用例来测试系统，并且 STIMULUS 将为每个用例自动生成多个测试向量，以便最大限度地扩展测试活动的功能覆盖范围。可以将需求轻松地重复用作测试观察因素，以检测和报告任何违反规范的情况。
测试活动可自动执行通过用例生成的大量测试向量，并且 STIMULUS 将报告有关需求违例和覆盖范围的全面指标。每次失败的测试都可以在仿真环境中重新运行，并可在该环境中分析需求违例。
代码开发完成后，STIMULUS可以自动检查其是否符合系统要求。您可以使用方框图构建一个测试环境，在其中将需求转换为测试观察因素，并使用标准FMI协议将被测系统导入为DLL。随后，您可以生成并运行多个测试向量，STIMULUS将自动检查被测系统的行为是否符合其规格。在测试活动期间，STIMULUS还会计算并报告关于需求功能覆盖范围的全面指标。