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

• 作者: 吴俞伯 李征 赵瑞莲 郭俊霞
• 来源期刊: 计算机应用
• 学科: 工学
• 关键词: 并发程序变异测试 数据竞争故障 锁对象 共享变量 同步关系对
• 年，卷（期）: 2016,（11）
• 所属期刊栏目: 计算机软件技术
• 页码范围: 3170-3177,3195
• 页数: 9页
• 分类号: TP311
• 字数: 11196字
• 语种: 中文
• DOI: 10.11772/j.issn.1001-9081.2016.11.3170

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵瑞莲	北京化工大学计算机系	49	470	12.0	20.0
2	李征	北京化工大学计算机系	23	151	8.0	11.0
3	郭俊霞	北京化工大学计算机系	15	79	5.0	8.0
4	吴俞伯	北京化工大学计算机系	1	4	1.0	1.0