| 面向场景的类型分析 |
| |
| 引用本文： | 赵淼,杨玲萍.面向场景的类型分析[J].电子产品可靠性与环境试验,2006,24(6):13-17. |
| |
| 作者姓名： | 赵淼 杨玲萍 |
| |
| 作者单位： | 1. 东南大学软件学院,江苏,南京,210096
2. 东南大学软件学院,江苏,南京,210096;中国电子科技集团公司第二十八研究所,江苏,南京,210007 |
| |
| 摘 要： | 面向对象语言的动态绑定特性，使得它们实现的程序易于演化与维护．但由此而带来的问题是这些程序难以分析与优化。针对现有一些分析方法的精度普遍不够理想的情况．提出一种只对程序的指定场景进行分析的方法。介绍了场景的抽象与场景相关代码的提取，给出了指定场景下类型分析的方法，并以一个实例进行分析，表明丁这种方法可获得更为精确的分析结果，提高类型分析的精度。
|
| 关 键 词： | 面向场景 类型分析 程序分析 切片 |
| 文章编号： | 1672-5468(2006)06-0013-05 |
| 修稿时间： | 2006年5月19日 |
Scenario-oriented Types Analysis |
| |
| ZHAO Miao,YANG Ling-ping.Scenario-oriented Types Analysis[J].Electronic Product Reliability and Environmental Testing,2006,24(6):13-17. |
| |
| Authors: | ZHAO Miao YANG Ling-ping |
| |
| Abstract: | Dynamic binding characteristics of the object-oriented language make object-oriented programs easy to maintain and evolve but 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 approach. |
| |
| Keywords: | scenario-oriented type analysis program analysis program slicing |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
