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