| System Dependence Graph Construction for Aspect Oriented C＋＋ |
| |
| 作者姓名： | SHI Liang XU Baowen |
| |
| 作者单位： | [1]School of Computer Science and Engineering,Southeast University, Nanjing 210096, Jiangsu, China [2]State Key Laboratory of Software Engineering,Wuhan University, Wuhan 430072, Hubei, China |
| |
| 基金项目： | 国家自然科学基金;国家高技术研究发展计划(863计划);国家研究发展基金 |
| |
| 摘 要： | This paper proposes an extended system dependence graph called AspectSDG to represent control and data dependences for AspeetC＋＋ programs, and presents an approach for the construction of AspectSDG. This approach decomposes aspect-oriented programs into three parts： component codes, aspect codes, and weaving codes. It constructs program dependence graphs （PDGs） for each part, and then connects the PDGs at call sites to form the complete AspectSDG. The AspectSDG can deal with advice precedence correctly, and represent the additional dependences caused by aspect codes. Based on this model, we introduce how to compute a static slice of an AspectC＋ ＋ program.
|
| 关 键 词： | 程序分析 系统依靠图 方面定向 限幅 C＋＋ |
| 文章编号： | 1007-1202（2006）03-0555-06 |
| 收稿时间： | 2005-07-08 |
System dependence graph construction for aspect oriented C++ |
| |
| SHI Liang XU Baowen.System dependence graph construction for aspect oriented C++[J].Wuhan University Journal of Natural Sciences,2006,11(3):555-560. |
| |
| Authors: | Shi Liang Xu Baowen |
| |
| Institution: | (1) School of Computer Science and Engineering, Southeast University, 210096 Nanjing Jiangsu, China;(2) State Key Laboratory of Software Engineering, Wuhan University, 430072 Wuhan, Hubei, China |
| |
| Abstract: | This paper proposes an extended system dependence graph called AspectSDG to represent control and data dependences for AspectC++ programs, and presents an approach for the construction of AspectSDG. This approach decomposes aspect-oriented programs into three parts: component codes, aspect codes, and weaving codes. It constructs program dependence graphs (PDGs) for each part, and then connects the PDGs at call sites to form the complete AspectSDG. The AspectSDG can deal with advice precedence correctly, and represent the additional dependences caused by aspect codes. Based on this model, we introduce how to compute a static slice of an AspectC++ program. |
| |
| Keywords: | program analysis system dependence graph aspect-oriented slicing |
| 本文献已被 CNKI 维普 万方数据 SpringerLink 等数据库收录！ |
|
