随着航天技术的不断发展,传统的航天软件研制模式无论从研发周期、测试周期角度都越来越无法满足型号软件的研制要求。航空领域的成功实践经验表明,以SCADE为主体的模型驱动研制模式能够大大提高软件的研制效率,降低研制成本。航天领域也开始运用以SCADE为主体的模型驱动研制模式来设计、研发和测试航天型号嵌入式软件,以期缩短软件研制周期,提高软件研制效率,适应航天型号高密度发射的现状。开发过程中发现,在新的研制模式下,通过建立软件的SCADE模型,可以自动生成高安全性的产品级嵌入式C代码,大大减少了编程和测试工作量。但是由于生成代码的可读性差,极大的增加了软件集成测试时故障定位的难度,使得软件测试的周期不可控。为了让这种研制模式能够更加高效,需要研究一种适用于模型驱动开发软件(特指以SCADE工具为主体开发的软件)的自动化故障定位方法。基于执行轨迹的故障定位(简称ETBFL)技术以其自动化程度高而被广泛应用,它主要通过对软件执行轨迹的统计分析,赋予程序实体量化的故障怀疑率以辅助故障定位。这类技术没有考虑程序实体之间的联系和相互影响,通用性强但在实际工程中的定位效果并不理想。由于开发环境的特殊性,模型驱动开发软件的函数之间存在大量依赖关系,而这些依赖关系会导致故障传播从而影响ETBFL方法的定位效果。针对上述问题,本文在基于执行轨迹的故障定位方法的基础上,提出一种基于程序依赖关系的故障定位(简称PDBFL)方法,以增强ETBFL方法在模型驱动开发软件故障定位问题上的适应性。要使用ETBFL技术,需要获取到软件的执行轨迹,由于本文面向的软件的特殊性,现有的轨迹获取方法都不适用。因此,本文提出一种基于全数字仿真测试平台(简称SVP)+数据库的执行轨迹获取方法,该方法满足本文研究所面向的软件的轨迹获取要求,获取代价小,具有通用性。最后对tcas通用测试集进行SCADE建模,得到模型驱动软件作为被测软件,对本文提出的PDBFL方法进行了验证。实验结果表明,本文方法能够改善ETBFL方法在模型驱动开发软件上的定位效果,减弱故障传播对ETBFL方法的影响。