摘要
面向对象语言的动态绑定特性,使得它们实现的程序易于演化与维护,但由此而带来的问题是这些程序难以分析与优化。针对现有一些分析方法的精度普遍不够理想的情况,提出一种只对程序的指定场景进行分析的方法,介绍了场景的抽象与场景相关代码的提取,给出了指定场景下类型分析的方法,并以一个实例进行分析,表明了这种方法可获得更为精确的分析结果,提高类型分析的精度。
Dynamic binding characteristics programs easy to maintain and evolve but of the object-oriented language make object-oriented difficult to analyze and optimize. Focusing on the unsatisfaction of the precision of the existing analysis methods, a method that only analyzes the specified scenario of the program was proposed. The scenario abstraction and scenario related code extraction were introduced. A type analysis method to the specified scenario was given. An example was given too, which showed that a more precise analysis result can be obtained and the precision of type analysis can be effectively improved by this approaeh.
出处
《电子产品可靠性与环境试验》
2006年第6期13-17,共5页
Electronic Product Reliability and Environmental Testing
关键词
面向场景
类型分析
程序分析
切片
scenario-oriented
type analysis
program analysis
program slicing
