离散信号事件驱动的自动测试系统仿真验证方法与实现

摘要

为在设计早期对复杂自动测试系统进行充分验证从而加速其成熟并降低研发成本,对离散事件系统规范进行扩展和改进,在原子模型中引入了端口和故障模式,通过端口间的连接构成耦合模型,提出一种离散信号事件驱动的仿真调度算法,并给出一个C/S架构的支持远程交互的仿真验证实现方案;基于自研的SCATS自动测试系统软件平台,分别针对一个示例系统和真实系统开展了实验,结果表明所提模型和方法支持复杂系统多分辨率层次化建模,仿真具有较高的一致性和执行效率,满足自动测试系统仿真验证工程应用需求。