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

• 作者: 戴君 李必信 王艳臣
• 来源期刊: 东南大学学报（自然科学版）
• 学科: 工学
• 关键词: 可达性测试 多线程 扩展同步序列
• 年，卷（期）: 2006,（6）
• 页码范围: 931-936
• 页数: 6页
• 分类号: TP311.56
• 字数: 5151字
• 语种: 中文
• DOI: 10.3321/j.issn:1001-0505.2006.06.012

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李必信	东南大学计算机科学与工程学院	39	305	9.0	15.0
5	戴君	江南大学控制科学与工程研究中心电气自动化研究所	2	7	1.0	2.0
6	王艳臣	东南大学计算机科学与工程学院	1	7	1.0	1.0