一种基于测试的消息竞争故障定位方法

作     者：曾奕 Zeng Yi

作者机构：南京师范大学计算机科学与技术学院江苏南京210023 

出 版 物：《南京师范大学学报（工程技术版）》 (Journal of Nanjing Normal University(Engineering and Technology Edition))

年 卷 期：2018年第18卷第4期

页      码：44-51页

摘      要：针对并发程序中由消息竞争所引发的不确定性故障难以捕获与再现、定位结果不精确等问题,提出一种结合程序频域比对、Delta调试策略的故障定位方法.该方法首先建立并发程序执行模型,定义同步序列描述程序执行路径的不确定性,并将其抽象成简洁的消息竞争序列;而后收集、比对正确的测试执行与错误的测试执行中消息竞争序列间的差异,约简故障搜索空间,获得初始故障集合;最后,为初始故障集合中所对应的每一个失效执行,采用Delta调试策略设计并运行一组附加测试,从而逐步精准地锁定故障根源.初步实验结果表明,该方法能够有效检测消息竞争故障,提高故障定位效率.

主 题 词：并发 不确定性 错误定位 消息竞争 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.969/j.issn.1672-1292.2018.04.007

馆 藏 号：203457973...