|
|||||
|
|
| 基于扩展同步序列的Java多线程程序可达性测试方法 | |
| 引用本文： | 王艳臣,李必信,戴君.基于扩展同步序列的Java多线程程序可达性测试方法[J].东南大学学报(自然科学版),2006,36(6):931-936. |
| 作者姓名： | 王艳臣 李必信 戴君 |
| 作者单位： | 1. 东南大学计算机科学与工程学院,南京,210096 2. 东南大学计算机科学与工程学院,南京,210096;南京大学计算机软件新技术国家重点实验室,南京,210093 3. 江南大学控制科学与工程研究中心电气自动化研究所,无锡,214122 |
| 基金项目： | 国家自然科学基金资助项目（60473065）、计算机软什新技术国家重点实验室（南京大学）课题资助项目. |
| 摘 要： | 为了克服传统可达性方法在测试Java多线程程序时具有的局限性和无法检测事件未同步错误及其引起的同步不当等错误,提出一种基于扩展同步序列的可达性测试方法.该方法包括购建Java多线程程序流图、计算扩展同步序列和确定性测试3部分.实例分析表明,同步扩展同步序列的应用,能够有效地解决上述局限性,Java多线程程序中事件未同步及其引起的同步不当等错误也能得到有效的检测.这种基于扩展同步序列的可达性方法与传统可达性方法相比,具有一定的优越性. |
| 关 键 词： | 可达性测试 多线程 扩展同步序列 |
| 文章编号： | 1001-0505（2006）06-0931-06 |
| 收稿时间： | 04 11 2006 12:00AM |
| 修稿时间： | 2006-04-11 |
Reachability testing for Java multithread programs based on extended synchronization sequences |
|
| Wang Yanchen,Li Bixin,Dai Jun.Reachability testing for Java multithread programs based on extended synchronization sequences[J].Journal of Southeast University(Natural Science Edition),2006,36(6):931-936. | |
| Authors: | Wang Yanchen Li Bixin Dai Jun |
| Institution: | 1School of Computer Science and Engineering, Southeast University, Nanjing 210096, China;2 State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing 210093, China;2 Institute of Electric Automatic,Control Science and Engineering Research Center, Southern Yangtze University, Wuxi 214122, China |
| Abstract: | 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. |
| Keywords: | reachability testing multithread extended synchronization sequence |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |