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