设计模式是软件设计中典型问题的经典解决方式，但是其具体实现方式丰富多样。从源程序中识别出设计模式的实例，并提取出其语法和语义方面的详细信息，将对软件的理解和维护有很大的帮助。　　 目前在基于语法分析提取设计模式结构特征方面已经有了很多研究，而通过语义分析提取设计模式行为特征的研究还很少。这具体表现为两个方面：(1)对设计模式中行为的语义特征缺乏明确、具体、可识别的描述；(2)仅有少量的研究通过方法调用关系及调用顺序描述设计模式的行为语义，缺少在语句级描述和提取设计模式行为特征的研究。这导致设计模式识别结果不够精确，也不够精细。　　 本文以状态和策略模式为例，采用语句级的数据流分析技术，通过分析源代码中变量类型的变化，提取出状态(策略)模式的状态(策略)转换过程，为分析、区分这两个模式提供参考。具体的工作分为以下几个方面：　　 (1)设计一个提取设计模式的候选集的语法分析器，用以获取实验对象，该分析器基于两种的模式的结构特征提取公共的候选集；　　 (2)在开源工具soot的基础上设计并实现了一个流敏感、上下文敏感的类型分析系统；　　 (3)利用类型分析得到的结果，设计并实现了一个状态转换图提取工具，协助区分状态模式利策略模式；　　 (4)在若干开源代码中进行实验，并给出对实验结果的分析。