一个用于Java程序可达性测试的改进方案

摘要

Java程序的并发性使它比串行程序更难测试，而可达性测试是一种有效的并发程序测试方法。首先比较了现有的Java程序可达性测试技术，进而提出了一种融合的改进方案以提高同步序列集的生成效率。然后指出新方案已覆盖了用伯恩斯坦条件裁减同步序列集的功能。最后详述如何通过扫描源程序来自动获取同步事件的时序约束关系，进而减少不可行的同步序列，并介绍了相应的实现算法和数据结构。