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

• 作者: 曾奕
• 来源期刊: 南京师范大学学报（工程技术版）
• 学科: 工学
• 关键词: 并发 不确定性 错误定位 消息竞争
• 年，卷（期）: 2018,（4）
• 所属期刊栏目: 计算机工程
• 页码范围: 44-51
• 页数: 8页
• 分类号: TP311
• 字数: 6387字
• 语种: 中文
• DOI: 10.3969/j.issn.1672-1292.2018.04.007

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	曾奕	南京师范大学计算机科学与技术学院	5	10	2.0	2.0