计算机学报
計算機學報
계산궤학보
CHINESE JOURNAL OF COMPUTERS
2013年
11期
2224-2235
,共12页
路径剖析%过程间路径%多态%动态分析%软件测试
路徑剖析%過程間路徑%多態%動態分析%軟件測試
로경부석%과정간로경%다태%동태분석%연건측시
path profiling%inter-procedural paths%polymorphism%dynamic analysis%software testing
该文在过程内剖析技术的基础上提出了一种新的过程间路径剖析方法PIP,能够精确地编码过程间路径和方法级执行序列.为了有效地处理方法间多态等复杂调用,文中提出了一种新的剖析模型PCCG(PolymorphicCluster Call Graph),能够精确描述多态信息,并且支持以“方法集簇”的方式对多个被调用方法统一处理,简化调用结构,减少剖析耗费.基于PCCG模型,PIP方法能够精确地进行过程间路径剖析,并可采用多种方法集簇策略来优化剖析效率.理论分析和实验结果表明,PIP方法具有较高的精确性和循环处理能力,且各种集簇策略能够适应不同的应用情况,有效地提升效率.
該文在過程內剖析技術的基礎上提齣瞭一種新的過程間路徑剖析方法PIP,能夠精確地編碼過程間路徑和方法級執行序列.為瞭有效地處理方法間多態等複雜調用,文中提齣瞭一種新的剖析模型PCCG(PolymorphicCluster Call Graph),能夠精確描述多態信息,併且支持以“方法集簇”的方式對多箇被調用方法統一處理,簡化調用結構,減少剖析耗費.基于PCCG模型,PIP方法能夠精確地進行過程間路徑剖析,併可採用多種方法集簇策略來優化剖析效率.理論分析和實驗結果錶明,PIP方法具有較高的精確性和循環處理能力,且各種集簇策略能夠適應不同的應用情況,有效地提升效率.
해문재과정내부석기술적기출상제출료일충신적과정간로경부석방법PIP,능구정학지편마과정간로경화방법급집행서렬.위료유효지처리방법간다태등복잡조용,문중제출료일충신적부석모형PCCG(PolymorphicCluster Call Graph),능구정학묘술다태신식,병차지지이“방법집족”적방식대다개피조용방법통일처리,간화조용결구,감소부석모비.기우PCCG모형,PIP방법능구정학지진행과정간로경부석,병가채용다충방법집족책략래우화부석효솔.이론분석화실험결과표명,PIP방법구유교고적정학성화순배처리능력,차각충집족책략능구괄응불동적응용정황,유효지제승효솔.
