随着互联网的流行,Java这门语言也发展的异常迅速,与Java相关的研究也越来越多。Java是一门可靠性驱动的语言,这尤其体现在它的异常处理机制上,在Java中,开发者会被强制要求处理异常。软件的健壮性与异常处理息息相关,因此异常处理相关的研究具有实际意义。Java语言规范对于异常处理机制给出了严格的约束,但实际使用中的多种Java虚拟机实现会有不一致的地方,因此针对Java虚拟机异常处理机制的一致性研究是非常有必要的。本文提出了一种用于验证不同Java虚拟机实现的异常处理机制是否一致的方法,根据设计思想实现了测试工具。本文提出的验证方法为在Jimple代码中随机的注入异常代码,然后在不同的Java虚拟机实现上运行生成的测试用例,对比并分析运行结果。注入的异常可以分为两类,分别是受检异常和非受检异常,通过组合异常类型和注入异常的次数来生成不同的测试用例。通过前期的调研、测试工具的设计与实现,实验验证的结果及过程,最终验证了本文所选用的两种Java虚拟机(OpenJDK和gij)实现在异常处理上的一致性,未来还可以对测试工具进行更深层次的优化,扩大测试用例的基数、种类以及被测试的Java虚拟机的实现种类,进一步验证Java虚拟机异常处理机制的一致性及发现Java虚拟机异常处理实现的缺陷。