难以到达的状态的测试生成一直是功能验证中最困难的任务之一。 在本文中，我们提出了PACOST，一种基于PAth约束求解的测试生成方法，该方法在抽象指导的仿真框架中运行以覆盖难以到达的状态。 PACOST在路径约束求解器中将具体的仿真和符号仿真结合在一起，以生成一组有效的输入矢量，用于探索不同的仿真路径，然后进行考虑抽象距离的下一个状态选择。 此外，提出了两种回溯策略来缓解死角问题并确保快速收敛到目标状态。 实验结果表明，PACOST可以有效覆盖难以到达的状态。