一个生成Java程序同步序列集的新算法

• 作者: 孙玉霞
• 来源期刊: 暨南大学学报（自然科学与医学版）
• 学科: 工学
• 关键词: Java程序 可达性测试 同步序列 时序约束 竞争变形体
• 年，卷（期）: 2006,（5）
• 页码范围: 670-675
• 页数: 6页
• 分类号: TP311.56
• 字数: 3849字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-9965.2006.05.007

摘要

为了提高在Java程序可达性测试中的同步序列生成效率,提出了一个新算法从无时序约束关系的同步事件派生竞争变形体集,避免或减少了不可行的竞争变形体的生成.定义了同步事件之间的线程家族时序约束关系,并详述了此约束关系的信息抽取算法和判定算法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孙玉霞	暨南大学计算机系	12	51	4.0	6.0