-
题名基于并发程序数据竞争故障的变异策略
被引量：4
- 1
-
-
作者
吴俞伯
郭俊霞
李征
赵瑞莲
-
机构
北京化工大学计算机系
-
出处
《计算机应用》
CSCD
北大核心
2016年第11期3170-3177,3195,共9页
-
基金
国家自然科学基金资助项目(61472025
61170082)
教育部新世纪优秀人才支持计划项目(NCET-12-0757)~~
-
文摘
针对并发程序变异测试中并发变异算子触发数据竞争故障能力较低的问题,提出了基于数据竞争故障的变异策略。从并发变异算子设计的角度给出了面向锁对象的变异策略(LMS)和面向共享变量的变异策略(SMS),设计了重置同步锁(SLRO)和移出共享变量操作(MSVO)两个并发变异算子。从变异点选取的角度给出了一种同步关系对变异点选取策略(SMPSS)。在12个Java类库并发程序上,应用SLRO和MSVO算子针对SMPSS选取出的变异点植入故障,生成变异体,并使用JPF检测工具,检测生成的变异体引发数据竞争故障的能力。实验结果表明,新设计的SLRO和MSVO变异算子对12个被测程序分别生成了121和122个有效变异体,变异算子的有效性分别为95.28%和99.19%。由此可知,新设计的并发变异算子能有效触发数据竞争故障。
-
关键词
并发程序变异测试
数据竞争故障
锁对象
共享变量
同步关系对
-
Keywords
concurrent program mutation testing
data racing fault
lock object
shared variable
synchronized relationship pair
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
