计算机技术发展迅速,随着硬件速度的提高,软件的设计和实现成为发展的瓶颈,软件自动化的研究成为热点问题,部分求值技术正是这一领域中提高软件效率的方法之一.部分求值技术通过进行前段计算来优化程序的执行效率,但是它无法解决代码膨胀的问题;数据例化技术将前段计算的结果保存在中间数据结构中,从而解决了代码膨胀问题,但是它不能优化程序控制流程.该文将部分求值技术和数据例化技术相结合,使用基于控制流图的例化方法.通过使用基于控制流图的数据例化技术和针对程序基本块的部分求值技术,在例化阶段对程序基本块进行例化的同时,完成控制转移的例化,生成滞留程序,滞留程序既可用于编译时刻例化,又可用于运行时刻例化.这种例化方式采用离线工作方式,应用绑定时间分析技术,提高滞留程序的效率,同时避免了例化阶段代码的复制和拼接,能够有效简化运行时刻例化系统的实现难度.该文介绍了一个基于控制流图的Java动态构件优化系统,包括在绑定时间分析基础上的标注程序解析、标注控制流图和例化控制流图系统的设计实现、编译时刻控制流图的自动生成、滞留程序设计和自动生成、滞留程序的字节码生成及优化等内容.这个例化系统扩展了基于分段计算的优化方法和应用范围,同时能够根据一定的Java程序的输入描述和输入值,完成专用环境下的Java程序优化.为了对Java程序进行字节码层次的优化,该文提出了Java字节码编程语言,并设计了Java字节码生成系统,用于编译使用Java字节码编程语言编写的程序,生成字节码文件.这样,加入Java字节码生成系统后,Java动态构件优化系统就成为一个完整的Java程序优化系统,可优化Java程序并生成相应的Java字节码文件.