随着应用软件规模的日益增大，软件的运行环境越来越复杂，应用软件使用的中间件、第三方程序库越来越多，软件中包含的缺陷也越来越多。及时发现程序中的缺陷是软件领域的重要研究内容。　　 程序静态分析是查找软件缺陷的有效途径之一。程序静态分析通过分析程序的源代码或者目标码，推测程序在运行时可能表现出来的行为，进而发现代码中可能存在的缺陷。基于缺陷模式匹配静态分析技术将程序代码与预先描述好的缺陷模式进行匹配以发现程序中的缺陷。这种分析方法简单、高效，能够检查出程序中大量存在的违反程序设计规范的缺陷，并已经被现有的许多静态分析工具所采用，如FindBugs、PMD、Jlint、Lint4j、Metacompilation和SABER。　　 经过调研发现大量的缺陷模式是时序相关的，静态分析工具的分析能力跟其缺陷知识库有很大关系，具有越多的缺陷知识就能检查出更多的缺陷。为了提高静态分析工具的可扩展性我们设计了静态分析工具CODA(COde DefectAnalysis)，将其缺陷分析引擎与缺陷知识库分离开来，使得用户只需要按照模板添加缺陷模式就能够扩展CODA的分析能力。本文主要研究CODA中的时序相关缺陷模式，分析模式描述方法，建立缺陷模式收集平台，设计并实现用于检查时序相关缺陷的分析引擎，以完成对此类缺陷的过程内及跨过程查找。