由于并发程序固有的不确定性，传统的调试技术是不够的，尤其是在事后调试的场景中。 通过静态分析来探查缺陷可以避免高昂的故障重现成本。 在本文中，我们提出了一种针对并发错误的新颖调试方法。 我们利用错误报告和切片技术中的信息，从Java程序构建事件结构模型，以揭示与从错误报告中识别出的可疑变量和方法有关的程序行为。 利用事件结构的性质，我们从所有可能的执行轨迹中提取了一个很小但足够的子集，并通过图形将其可视化。 该方法可以有效地帮助理解并发系统，并帮助定位并发错误。 我们已经实现了一个名为JESVi