程序分片是一种重要的程序分析理解方法,用于从源程序中抽取对程序中特定点上的特定变量有影响的语句和控制条件,组成新的程序(称作分片),然后通过分析分片来分析源程序的行为。自从程序分片概念被提出以后,受到很多研究人员和软件开发人员的关注,使得它在软件测试、调试、度量、维护、程序变换、XML信息抽取、软件逆向工程与再工程等方面得到广泛应用。本文以一种自定义的结构化语言-类C语言(C-Similar Language,简称CSL)为例,描述了一个完整的静态程序分片系统的设计与实现过程。内容包括通过语法分析获得源程序的抽象语法树,从抽象语法树构造控制流图,在控制流图上做控制流分析获得源程序的控制依赖关系,在控制流图上做数据流分析获得源程序的数据依赖关系,以及最后获得源程序的程序依赖图并以图可达性算法获得程序分片的全过程。本文在编译技术、图论和程序分片理论的基础上,探讨了程序静态分片技术的实现策略,介绍了一种整体实现方案,是关于结构化语言静态程序分片系统实现的一种尝试。