在软件运行发生失效后,如何进行有效的故障定位是当今软件故障诊断领域的研究热点。虽然目前软件故障定位技术已有一定经验可以借鉴,但究竟如何做到将多种方法综合,以实现高效率的、快速的、自动化的故障定位仍然是故障诊断的关键问题。本文在总结国内外软件故障定位研究的基础上,特别是基于模型的故障定位技术,分析了目前研究中存在的问题,并选择了其中运用失效运行序列和一条成功运行序列进行故障定位时,可能导致寻找不到错误点的问题作为关键点开展工作。在软件故障诊断、软件运行序列和生物序列比对等技术的支持下,结合“近邻模型”思想,引入生物学中相关原理,研究了一种基于生物调和序列的软件故障定位方法。实验验证了该方法的正确性与有效性。本文的工作主要包括以下两个方面：①针对目前故障定位技术中运用失效路径和一条成功路径进行故障定位时,可能导致寻找不到错误点的问题,首先分析了软件运行序列的特征,研究了程序运行序列与生物序列中有关概念的对应关系,将程序运行序列比对转化为生物序列比对问题；在此基础上提出了一种多运行序列的调和序列生成算法,算法考虑了多条最接近运行序列对故障定位的影响,通过借鉴生物序列比对中的原理,将多条最接近成功运行序列的共同特征进行提取,获得一条调和序列,并详细描述了该算法。②在前面生成的调和序列的基础上,研究了基于生物调和序列的软件故障定位方法研究：根据“近邻模型”思想,运用该调和序列与失效的运行序列进行差异比较,从而获得稳定序列段集,再从失效序列中除去稳定序列段集中的相关内容,来求解失效运行序列中的可疑序列段,从而寻找包含故障点的“基本块”,来实现故障定位；并利用该算法进行了故障定位试验,试验表明,本文的方法在进行程序的故障定位时排除了更多不产生故障的部分,缩小了源代码审查,提高了故障定位的效率。