%0 Journal Article %T 基于形态分析识别设计模式中的集中管理式聚集 %A 周晓宇? %A 钱巨? %A 陈林? %A 徐宝文? %J 软件学报 %P 2725-2737 %D 2010 %X 针对常见的利用指针或引用的聚集实现方式,提出一种基于形态分析的一对多聚集关系的自动识别方法。首先,扩充sagiv的三值逻辑结构中的谓词以描述链表上聚集管理操作的语义特征。然后,给出基于控制流上链表形态结构的变化识别聚集管理行为的方法。最后,通过开源软件jedit中的实例分析展示了该方法的有效性。 %K 聚集 %K 设计模式 %K 形态分析 %K 集中式管理 %K 识别 %U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=3680&flag=1