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

Reachability testing for Java multithread programs based on extended synchronization sequences

作　　者：王艳臣[1] 李必信[1] 戴君[2] 

机构地区：[1]东南大学计算机科学与工程学院,南京210096 [2]江南大学控制科学与工程研究中心电气自动化研究所,无锡214122

出　　处：《东南大学学报（自然科学版）》2006年第6期931-936,共6页Journal of Southeast University：Natural Science Edition

基　　金：国家自然科学基金资助项目(60473065);计算机软件新技术国家重点实验室(南京大学)课题资助项目

摘　　要：为了克服传统可达性方法在测试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.

关 键 词：可达性测试 多线程 扩展同步序列 

分 类 号：TP311.56[自动化与计算机技术—计算机软件与理论]