软件故障诊断过程中代价最昂贵和最耗时的活动之一就是软件故障定位。为了辅助测试人员进行软件故障的定位，在设计分层思想的指导下，本文在分析软件及其各个模块以及模块中代码之间复杂关系的基础上，通过分析历史数据中软件故障与现象之间的对应关系，建立了基于拓扑图的软件故障传播模型，使得软件故障诊断人员能够利用该拓扑图模型针对具体的软件故障现象进行描述；通过对该拓扑图模型，软件故障传播模型可转换成更容易进行问题求解的基于二分图的故障检测模型，然后针对该模型设计了基于贪心策略的算法，该算法解决了基于二分图故障检测模型的最小覆盖求解问题，这一问题的求解结果描述了软件故障原因假设集合，通过故障原因与软件模块关系分析，找出了与该故障原因对应的相应模块，从而实现故障定位。实验表明，本研究方案能够有效处理软件故障定位问题。