基于模型的结构性程序错误的诊断方法研究

项目名称： 基于模型的结构性程序错误的诊断方法研究

项目编号： No.61175056

项目类型： 面上项目

立项/批准年度： 2012

项目学科： 自动化学科

项目作者： 陈荣

作者单位： 大连海事大学

项目金额： 58万元

中文摘要： 由于软件已经成为各类技术系统、物理系统、电子设备等的重要组成成分，程序错误对系统可靠性的影响是不可小视的。程序错误诊断就是用计算机辅助用户检测程序错误，定位错误原因，甚至是改正错误。基于模型的软件调试是一种典型的以演绎推理为基础的程序错误诊断方法，其原理是在一个描述软件系统结构和行为的逻辑模型上进行推理，完成行为预测、故障定位、测试等任务。不过就错误诊断的质量而言，现有方法对于现实程序都显露出一些难于解决的问题，如何诊断结构性的程序错误是一个开问题。为此本课题将把错误诊断视为受怀疑语句间的辩论游戏，研究基于辩论的程序错误诊断理论和方法，探索能够处理结构性程序错误的诊断技术；研究程序模型构造算法，多错误定位与修复算法以及优化诊断推理的相容性检查的快速算法；研制一个能够处理中等规模Java程序的程序错误诊断系统。程序错误诊断不但具有重要的研究意义，对于提高软件质量及其可信性也有着重要的应用价值

中文关键词： 基于模型的诊断；结构性程序错误；错误定位；模型生成；

英文摘要：

英文关键词： Model-Based Diagnosis；Structural Program Errors；Fault Localization；Model Generation；