|
| 摘要: |
| 针对常见的利用指针或引用的聚集实现方式，提出一种基于形态分析的一对多聚集关系的自动识别方法。首先，扩充Sagiv的三值逻辑结构中的谓词以描述链表上聚集管理操作的语义特征。然后，给出基于控制流上链表形态结构的变化识别聚集管理行为的方法。最后，通过开源软件JEdit中的实例分析展示了该方法的有效性。 |
| 关键词: 聚集 设计模式 形态分析 集中式管理 识别 |
| DOI： |
| 分类号: |
| 基金项目:Supported by the National Natural Science Foundation of China under Grant Nos.90818027, 60633010, 60873050, 60873049, 60803008, 60903026 (国家自然科学基金); the National High-Tech Research and Development Plan of China under Grant No.2009AA01Z147 (国家高技术研究发展计划(863)); the Jiangsu Provincial Natural Science Foundation of China under Grant Nos.BK2006094, BK2008292 (江苏省自然科学基金); the Opening Project of Shanghai Key Laboratory of Computer Software Evaluating and Testing of China under Grant No.09DZ2272600 (上海市计算机软件评测重点实验室开放项目) |
|
| Identification of Centrally Managed Aggregations in Design Patterns Using Shape Analysis |
|
ZHOU Xiao-Yu, QIAN Ju, CHEN Lin, XU Bao-Wen
|
| Abstract: |
| In this paper, a shape-analysis based approach is proposed to automatically identify aggregations that are implemented using the commonly used implementation mechanism, pointers or references. First, this paper augments predicates of Sagiv’s three-valued logical structure to describe the semantic constraints for the central aggregation management operations on linked lists. Then, this paper presents a method to identify the aggregation management behavior by analyzing the changes of shape structures for linked lists along control flow paths. Finally, the effectiveness of the proposed 1-n aggregation identification approach is proposed using a case study from the open-source software JEdit. |
| Key words: aggregation design pattern shape analysis centrally managed identification |
