[1]王艳臣,李必信,戴君.基于扩展同步序列的Java多线程程序可达性测试方法[J].东南大学学报(自然科学版),2006,36(6):931-936.[doi:10.3969/j.issn.1001-0505.2006.06.012]
 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.[doi:10.3969/j.issn.1001-0505.2006.06.012]
点击复制

基于扩展同步序列的Java多线程程序可达性测试方法()
分享到:

《东南大学学报(自然科学版)》[ISSN:1001-0505/CN:32-1178/N]

卷:
36
期数:
2006年第6期
页码:
931-936
栏目:
计算机科学与工程
出版日期:
2006-11-20

文章信息/Info

Title:
Reachability testing for Java multithread programs based on extended synchronization sequences
作者:
王艳臣1 李必信12 戴君3
1 东南大学计算机科学与工程学院, 南京 210096; 2 南京大学计算机软件新技术国家重点实验室, 南京 210093; 3 江南大学控制科学与工程研究中心电气自动化研究所, 无锡 214122
Author(s):
Wang Yanchen1 Li Bixin12 Dai Jun3
1 School of Computer Science and Engineering, Southeast University, Nanjing 210096, China
2 State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing 210093, China
3 Institute of Electric Autom
关键词:
可达性测试 多线程 扩展同步序列
Keywords:
reachability testing multithread extended synchronization sequence
分类号:
TP311.56
DOI:
10.3969/j.issn.1001-0505.2006.06.012
摘要:
为了克服传统可达性方法在测试Java多线程程序时具有的局限性和无法检测事件未同步错误及其引起的同步不当等错误,提出一种基于扩展同步序列的可达性测试方法.该方法包括购建Java多线程程序流图、计算扩展同步序列和确定性测试3部分.实例分析表明,同步扩展同步序列的应用,能够有效地解决上述局限性,Java多线程程序中事件未同步及其引起的同步不当等错误也能得到有效的检测.这种基于扩展同步序列的可达性方法与传统可达性方法相比,具有一定的优越性.
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.

参考文献/References:

[1] Gait J.A probe effect in concurrent programs[J]. Software-Practice and Experience,1986,16(3):225-233.
[2] Carver R H,Tai K C.Replay and testing for concurrent programs[J]. IEEE Software,1991,8(2):66-74.
[3] Hwang G H,Tai K C,Huang T L.Reachablility testing:an approach to testing concurrent software[C] //Proceedings of First Asia-Pacific Conference on Software Engineering.Tokyo,Japan,1994:246-255.
[4] Hsu S Y,Chung C G.A heuristic approach to path selection problem in concurrent program testing[C] //Proc of 3rd IEEE Workshop on Future Trends of Distributed Computing Systems.Los Alamitos,CA,1992:86-92.
[5] Taylor R N,Levine D L,Kelly C D.Structural testing of concurrent programs[J]. IEEE Trans on Software Eng,1992,18(3):206-215.
[6] Li S Q,Chen H Y,Sun Y X.A framework of reach ability testing for Java multithread programs[C] //IEEE International Conference on Systems,Man and Cybernetics.Hague,Holland,2004:2730-2734.
[7] Tai K C,Carver R H.Deterministic execution testing and debugging of concurrent programs[C] //Proc 1989 Pacific Northwest Software Quality Conference.Portland,Oregon,USA,1989:170-182.
[8] Fang Y,Jin M Z,Liu C.Dynamic analysis and replay of Java concurrent programs [J]. Computer Engineering and Applications,2001,12:59-63.

相似文献/References:

[1]夏勤,王宏宇,赵阿群,等.基于多线程技术的WAP网关实现与测试研究[J].东南大学学报(自然科学版),2000,30(6):1.[doi:10.3969/j.issn.1001-0505.2000.06.001]
 Xia Qin,Wang Hongyu,Zhao Aqun,et al.On a Multithread Technique Based WAP Gateway Implementation and Testing[J].Journal of Southeast University (Natural Science Edition),2000,30(6):1.[doi:10.3969/j.issn.1001-0505.2000.06.001]

备注/Memo

备注/Memo:
基金项目: 国家自然科学基金资助项目(60473065)、计算机软件新技术国家重点实验室(南京大学)课题资助项目.
作者简介: 王艳臣(1976—),男,硕士生; 李必信(联系人),男,博士,教授, bx.li@seu.edu.cn.
更新日期/Last Update: 2006-11-20