实时软件中交互逻辑错误的自动化定位方法研究

项目名称： 实时软件中交互逻辑错误的自动化定位方法研究

项目编号： No.61402131

项目类型： 青年科学基金项目

立项/批准年度： 2014

项目学科： 自动化技术、计算机技术

项目作者： 曲明成

作者单位： 哈尔滨工业大学

项目金额： 24万元

中文摘要： 软件错误的自动化定位对于提高软件调试效率、节约成本具有十分重要的现实意义。现有错误定位研究多针对“单任务-顺序”程序，很少涉及实时软件。交互逻辑错误是实时软件中一类普遍存在且较难定位的错误，该类错误与实时软件的并发性、“时间-资源-次序”等约束具有较强的关联，其错误特征与顺序程序中的功能错误具有显著的区别，针对这类错误的自动化定位是该研究领域内一个崭新的、亟待解决的问题。课题以人工排除错误时形成的“知识-理解-分析”模式为基础，通过充分获取错误关联的静态和动态信息，首先构建出“普适-具体”双层错误推理知识体系，然后基于“知识+行为”的错误推理架构，分别建立了知识驱动下自学习错误推理和基于行为的模糊推理两种推理方式及核心过程，并提出了相应的推理方法，最后设计了实验过程。课题对软件错误自动化定位研究领域是一个很好的补充，对于引导和发展实时软件错误自动化定位方向具有重要的现实意义。

中文关键词： 并发软件错误定位；进程交互错误；状态机；顺序违背；可疑错误集合约简

英文摘要： It will be of important practical significance to the automatic fault localization of software for improving the efficiency of debugging software and cost savings .Current researches pay more attention to the single task -sequential execution programs, bu

英文关键词： Concurrent software fault localization；process interaction fault；state machine；order violation；suspicious fault set reduction