资料下载
×
基于全同步对覆盖准则的TSSA生成方法
消耗积分:2 |
格式:rar |
大小:0.97 MB |
2018-01-07
分享资料个
针对多线程并发程序生成覆盖同步语句的线程调度序列（TSS）效率低问题，提出了一种基于全同步对覆盖（ APSC）准则的TSS生成（TGBA）方法。首先，对并发程序中的同步语句，定义了同步对及APSC；然后，给出了一个同步对一线程关联图（ SPTG）构建方法；在此基础上，生成满足APSC的TSS；最后，使用JPF检测工具，对4个Java类库并发程序进行了TSS生成实验，并与常用的默认线程调度（DS）、抢占式线程调度（PS）和交叉线程调度（CS）序列生成方法在生成效率方面进行了对比分析。实验结果表明，与DS、CS方法相比，TCBA方法生成的TSS能够覆盖全部同步对；当满足APSC时，与PS方法相比，TCBA方法测试生成所需要的状态数、迁移数至少减少了19 889和44352，并且生成效率平均提升了1. 95倍，因此TCBA方法能够降低状态空间的规模开销，提高TSS的生成效率。
声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉
评论(0)
发评论
- 相关下载
- 相关文章
