作者：曾奕并发不确定性错误定位消息竞争
摘要：针对并发程序中由消息竞争所引发的不确定性故障难以捕获与再现、定位结果不精确等问题,提出一种结合程序频域比对、Delta调试策略的故障定位方法.该方法首先建立并发程序执行模型,定义同步序列描述程序执行路径的不确定性,并将其抽象成简洁的消息竞争序列;而后收集、比对正确的测试执行与错误的测试执行中消息竞争序列间的差异,约简故障搜索空间,获得初始故障集合;最后,为初始故障集合中所对应的每一个失效执行,采用Delta调试策略设计并运行一组附加测试,从而逐步精准地锁定故障根源.初步实验结果表明,该方法能够有效检测消息竞争故障,提高故障定位效率.
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《南京师范大学学报·工程技术版》（季刊）创刊于2001年，由江苏教育厅主管，南京师范大学主办，CN刊号为：32-1684/T，自创刊以来，颇受业界和广大读者的关注和好评。 《南京师范大学学报·工程技术版》主要刊登电气工程、电子工程、动力工程、控制科学与工程、化学工程与技术、材料科学与工程、环境科学与工程、生物医学工程等领域的学术研究、技术研究和应用研究论文。为及时报导我校工程技术学科的新技术、新工艺、新进展，本刊还设置了“研究简报”专栏。
杂志详情
