基于扩展同步序列的Java多线程程序可达性测试方法

Reachability testing for Java multithread programs based on extended synchronization sequences

为了克服传统可达性方法在测试Java多线程程序时具有的局限性和无法检测事件未同步错误及其引起的同步不当等错误,提出一种基于扩展同步序列的可达性测试方法.该方法包括购建Java多线程程序流图、计算扩展同步序列和确定性测试3部分.实例分析表明,同步扩展同步序列的应用,能够有效地解决上述局限性,Java多线程程序中事件未同步及其引起的同步不当等错误也能得到有效的检测.这种基于扩展同步序列的可达性方法与传统可达性方法相比,具有一定的优越性.

In order to overcome the limitation and errors （such as inability to detect unsynchronized event errors and incorrect synchronization errors caused by it） in the traditional reachability testing methods which are used to test Java multi-thread programs, an approach of reachability testing based on extended synchronization sequence is proposed. The approach includes three main processes, i. e. the construction of Java multi-thread flow diagram （JTFD）, the construction of extended synchronization sequences and the deterministic testing of extended synchronization sequence. Some case analyses indicate that application of extended synchronization sequences can solve this kind of limitation effectively, and the unsynchronized event errors and incorrect synchronization errors can also be detected effectively in java multithreaded programs. Compared with other old reachability testing methods, the proposed approach provides some advantages.