基于并发程序数据竞争故障的变异策略

发布时间：2017-11-12 08:00

  本文关键词：基于并发程序数据竞争故障的变异策略

  更多相关文章： 并发程序变异测试 数据竞争故障 锁对象 共享变量 同步关系对

【摘要】：针对并发程序变异测试中并发变异算子触发数据竞争故障能力较低的问题,提出了基于数据竞争故障的变异策略。从并发变异算子设计的角度给出了面向锁对象的变异策略(LMS)和面向共享变量的变异策略(SMS),设计了重置同步锁(SLRO)和移出共享变量操作(MSVO)两个并发变异算子。从变异点选取的角度给出了一种同步关系对变异点选取策略(SMPSS)。在12个Java类库并发程序上,应用SLRO和MSVO算子针对SMPSS选取出的变异点植入故障,生成变异体,并使用JPF检测工具,检测生成的变异体引发数据竞争故障的能力。实验结果表明,新设计的SLRO和MSVO变异算子对12个被测程序分别生成了121和122个有效变异体,变异算子的有效性分别为95.28%和99.19%。由此可知,新设计的并发变异算子能有效触发数据竞争故障。
【作者单位】： 北京化工大学计算机系;
【基金】：国家自然科学基金资助项目(61472025,61170082) 教育部新世纪优秀人才支持计划项目(NCET-12-0757)~~
【分类号】：TP311.53
【正文快照】： 0引言随着多线程并发程序的广泛应用,并发程序的测试变得越来越重要。变异测试[1-2]作为一种基于故障植入的测试方法,通过对被测程序的符号或语句进行简单修改以植入故障,以此来评估测试用例检测这些植入故障的能力。并发变异测试是将变异测试应用到多线程并发程序中,通过并发，

本文编号：1175002