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

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

An Improved Scheme for Reachability Testing of Java Programs

Java programs are more difficult to test than sequential programs because of concurrency. Reachability testing is an effectiveapproach to testing concurrent programs. First compare the existing reachability testing techniques on Java programs, and propose anew combined scheme to improve the efficiency of generating synchronization sequences. And then demonstrate that the new schemecovered the functionality of reducing synchronization sequences offered by utilizing Bernstein condition. Finally focus on how to auto-matically acquire the sequential constraints between synchronization events by scanning source programs and apply the constraints indecreasing infeasible synchronization sequences, and introduce the algorithm and data structure of the implementation.