×

基于数据竞争故障的变异策略

消耗积分:1 | 格式:rar | 大小:1.42 MB | 2017-12-09

分享资料个

　　针对并发程序变异测试中并发变异算予触发数据竞争故障能力较低的问题，提出了基于数据竞争故障的变异策略。从并发变异算子设计的角度给出了面向锁对象的变异策略（LMS）和面向共享变量的变异策略（SMS），设计了重置同步锁（ SLRO）和移出共享变量操作（MSVO）两个并发变异算子。从变异点选取的角度给出了一种同步关系对变异点选取策略（ SMPSS）。在12个Java类库并发程序上，应用SLRO和MSVO算子针对SMPSS选取出的变异点植入故障，生成变异体，并使用JPF检测工具，检测生成的变异体引发数据竞争故障的能力。实验结果表明，新设计的SLRO和MSVO变异算予对12个被测程序分别生成了121和122个有效变异体，变异算予的有效性分别为95. 28%和99. l9%。由此可知，新设计的并发变异算子能有效触发数据竞争故障。

下载并关注上传者 开通VIP，低至0.08元下载/次

声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉

评论(0)
发评论

下载排行榜

全部0条评论

快来发表一下你的评论吧 !