随着计算机系统规模逐步扩大,用户数量不断增加,越来越多的软件系统需要考虑并发程序设计,而多线程技术是实现软件程序并发的常用方法。但是,由于多线程程序开发难度大,程序运行期间线程调度的不确定性,使得多线程程序很容易发生问题。数据竞争就是多线程程序中一种常见的并发问题。在多线程环境下的数据竞争是指多个线程同时访问同一块内存资源时,没有采取正确的同步方式,而且其中至少存在一个写操作。数据竞争问题会给软件程序带来很大的隐患,可能造成很大的危害。为了解决数据竞争问题,国内外研究者采用形式化的方法进行数据竞争检测。通常的数据竞争检测方法分为静态检测和动态检测两种。然而,静态检测方法存在错误预报,动态检测方法执行效率较低,而且不能覆盖全部的程序执行路径。本文针对Java多线程程序,提出了一种基于Java字节码的数据竞争检测方法,主要完成了以下工作:通过字节码解析,建立了抽象程序模型,并提取出与程序分析相关的关键信息集合。在字节码指令的基础上,采用数据流分析方法,提出了基于字节码指令的控制流程图和函数调用图的构建方法。根据数据竞争产生的条件,总结出基于字节码的检测数据竞争方法。通过使用别名分析方法,建立数据竞争检测步骤,即可达性计算、别名分析和锁集合计算,有效地发现数据竞争问题。为验证方法的有效性,使用编程语言实现了基于字节码的数据竞争检测方法。通过实验证明,相比基于源代码的数据竞争检测方法,该方法具有较高的检测效率,并且能够准确地发现数据竞争问题。