软件故障定位是软件调试过程中耗时且耗力的活动之一。传统的基于程序频谱的软件故障定位技术可以分为基于组件和基于语句两类。前者太粗不能准确的定位到具体的位置;后者太细使得运算复杂度过大。良好的软件故障定位技术能够节约开支,节省人力资源,加快软件开发的进度。因此解决这类问题对于提高定位效果有着重要的意义。本文提出了一种基于二次定位策略(DTL)的软件故障定位技术。该技术的主要思想分为两次定位:第一次定位,首先使用现有的工具生成程序的函数调用图,其次从函数的覆盖信息中建立程序频谱,即与程序的故障建立了联系,然后利用基于模型的诊断MBD的逻辑推理和构建行为命题模式来推导出函数候选集以及计算它们的概率,并根据概率进行怀疑度的排序;第二次定位,利用基于DStar的软件故障定位技术将函数候选集的语句进行故障定位。我们使用Siemens测试数据集进行实验,并与传统的基于程序频谱的故障定位技术作了比较,实验结果证明我们的技术比传统的基于程序频谱的故障定位技术更有效。在以上工作之外,本文也详细介绍了实验平台搭建的相关知识,以便帮助读者更好的理解。本文的贡献点如下:·提出了一种将函数调用图运用到软件故障定位中的新思路—函数调用图能够反映出函数之间的真实行为,从而为故障定位提供更有力的定位依据;·提出了基于二次定位策略的软件故障定位技术,通过与传统的基于程序频谱的故障定位技术的比较,验证了其可行性和有效性;·搭建了基于二次定位策略的故障定位技术的实验平台,方便与传统的基于程序频谱的故障定位技术作比较与分析。