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

作者：孙玉霞

来源：暨南大学学报(自然科学与医学版), 2006, (05): 670-675.

DOI：10.3969/j.issn.1000-9965.2006.05.007

• Java程序
• 可达性测试
• 同步序列
• 时序约束
• 竞争变形体

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

• 单位
  暨南大学