摘要：为了提高在Java程序可达性测试中的同步序列生成效率，提出了一个新算法从无时序约束关系的同步事件派生竞争变形体集，避免或减少了不可行的竞争变形体的生成．定义了同步事件之间的线程家族时序约束关系，并详述了此约束关系的信息抽取算法和判定算法．
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
热门期刊服务
相关文章
影响因子：1
期刊级别：北大期刊
发行周期：双月刊
期刊在线咨询，1-3天快速下单！
查看更多>
超1000杂志，价格优惠，正版保障！
一站式期刊推荐服务，客服一对一跟踪服务！
