过程间循环路径剖析方法  

A New Method for Profiling Inter-Procedural Paths with Loops

作　　者：王璐璐[1] 李必信[2] 

机构地区：[1]东南大学计算机科学与工程学院,南京211189 [2]东南大学计算机网络和信息集成教育部重点实验室,南京210096

出　　处：《计算机学报》2013年第11期2224-2235,共12页Chinese Journal of Computers

基　　金：江苏省自然科学基金(BK20130633);国家自然科学基金(60973149);中国科学院计算机科学国家重点实验室开放基金(SYSKF1110);教育部博士点基金(20100092110022);江苏省高校科研成果产业化推进项目(JHB2011-3)资助~~

摘　　要：该文在过程内剖析技术的基础上提出了一种新的过程间路径剖析方法PIP,能够精确地编码过程间路径和方法级执行序列.为了有效地处理方法间多态等复杂调用,文中提出了一种新的剖析模型PCCG(Polymorphic Cluster Call Graph),能够精确描述多态信息,并且支持以"方法集簇"的方式对多个被调用方法统一处理,简化调用结构,减少剖析耗费.基于PCCG模型,PIP方法能够精确地进行过程间路径剖析,并可采用多种方法集簇策略来优化剖析效率.理论分析和实验结果表明,PIP方法具有较高的精确性和循环处理能力,且各种集簇策略能够适应不同的应用情况,有效地提升效率.This paper presents a novel method （called PIP） for profiling inter procedural paths with loops, which extends previous work on intra-procedural profiling. PIP can be used to uniquely encode inter-procedural flows and method sequences, based on an inter-procedural con- trol flow model, PCCG （Polymorphic Cluster Call Graph）. PCCG can deal with polymorphism, support clustering of procedures for better analysis, and improve efficiency. Theoretical analysis and experimental results show that different clustering strategies of PCCG achieve different levels of efficiency under different situations. Suggestion on how to choose a proper clustering strategy is derived from the empirical study. Compared with existing work, PIP can accurately profile more paths, and is more practical for programs with loops.

关 键 词：路径剖析 过程间路径 多态 动态分析 软件测试 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]