随着多核处理器以及多线程程序应用的普及,多线程技术得到越来越广泛的应用,但是多线程程序本身编程复杂,并且伴随着结果随机性和难以重现等特点,因此,开发多线程程序是困难的,并发性引入了许多顺序程序设计中不存在的错误的可能性。此外,由于线程调度的不确定性,多线程程序在从一个线程转移到另一个线程可能表现出不同的行为。这些都会导致程序产生数据竞争故障,该故障很难通过几次运行程序发现并定位出来,因此研究多线程程序数据竞争故障检测技术具有很高的研究价值。本文提出了一种多线程程序数据竞争故障的静态检测分析方法和工具系统,在前期研究了国内外在数据竞争检测方面的现状和成果的基础上,本文提出了抽象语法树识别多线程源程序和XML中间模型形式化描述程序属性信息的方法,XML描述可以减少程序属性信息复杂度,并且具有很强的可扩展性。最后,本文提出了基于happened-before关系和锁集的数据竞争静态分析方法,构建多线程程序共享资源读写访问信息XML模型,利用一定算法从中提取定位可能的数据竞争序列,从而实现多线程程序数据竞争静态分析。最后根据前面理论框架研究,本文设计实现了多线程程序数据竞争静态分析检测系统,实现基于共享变量读写访问和锁机制的数据竞争检测方法,该系统支持通过词法分析和语法分析对源代码关键属性信息提取,实现通过XML形式化描述竞争资源读写访问,构建共享资源的读写访问树来检测源程序中可能存在的数据竞争,并反向定位到源程序。