近年来，车载ATP测试研究工作主要集中在半实物仿真测试，通过搭建实物验证平台，对设备施加实际激励信号实现功能测试。目前，尚存在测试过程繁琐、测试周期长、异常排查困难、国产化水平低的问题。例如：文献[1]提出的列控ATP自动测试方案采用美国国家仪器公司（NI）商用测试管理软件TestStand实现，能够完成自动测试；但配置灵活度低，测试过程往往针对单一测试场景，并不能实现多种测试场景的接续测试；文献[2]提出的基于PXI通用总线技术的车载ATP测试平台，测试程序基于NI核心软件LabVIEW平台开发，能够满足复杂环境硬件测试需求；但测试过程需要大量人为干预，测试过程复杂且隐匿度高，给异常排查带来诸多不便。

对于车载ATP软件逻辑测试，现有研究较少。软件逻辑是车载ATP系统的核心，其具有定制特性，由于应用场景的不同，需要开发大量功能模块，致使产品软件逻辑复杂且差异较大。若能延长测试周期，在设计阶段对软件逻辑进行充分测试，尽早发现问题，保障逻辑正确性，就能减少半实物仿真测试工作量，避免重复测试^[3-4]。