首页 | 本学科首页   官方微博 | 高级检索  
     

静动态结合的Java程序不变性分析方法
引用本文:于利前,王林章,雷斌,赵建华,李宣东.静动态结合的Java程序不变性分析方法[J].计算机学报,2010,33(4).
作者姓名:于利前  王林章  雷斌  赵建华  李宣东
作者单位:1. 南京大学计算机软件新技术国家重点实验室,南京,210093
2. 南京大学计算机科学与技术系,南京,210093
基金项目:国家自然科学基金(60721002,60603036,90818022);;国家“九七三”重点基础研究发展规划项目基金(2009CB320702);;国家“八六三”高技术研究发展计划项目基金(2009AA01Z148,2007AA010302);;江苏省基础研究计划项目基金(BK2007139)资助~~
摘    要:程序的不变性(immutability)是指类的实例对象在其生命周期内状态不会发生改变.不变性信息可以用来指导程序的分析、测试和验证等工作.现有分析不变性的技术主要集中于对程序的静态分析,而动态分析方面的工作很少.文中在分析了静、动态分析技术各自的优缺点后,提出了一种静动态结合的混合分析技术.首先通过对程序进行静态分析,即对程序进行分析测试和验证,来获得初步的程序不变性信息,然后对静态分析的结果中不确定的部分再进行动态分析,即通过观察程序运行时各个对象的状态变化进行分析,同时还将动态分析用于对静态分析结果的验证.静动态结合的分析技术比单纯的静态分析提高了分析结果的精度,同时也比单纯的动态分析降低了开销,提高了效率.

关 键 词:不变性  静态分析  动态分析  混合分析  

DOI:10.3724/SP.J.1016.2010.00736Combined Static and Dynamic Immutability Analysis of Java Program
YU Li-Qian WANG Lin-Zhang LEI Bin ZHAO Jian-Hua LI Xuan-Dong.DOI:10.3724/SP.J.1016.2010.00736Combined Static and Dynamic Immutability Analysis of Java Program[J].Chinese Journal of Computers,2010,33(4).
Authors:YU Li-Qian WANG Lin-Zhang LEI Bin ZHAO Jian-Hua LI Xuan-Dong
Affiliation:State Key Laboratory of Novel Software Technology/a>;Nanjing University/a>;Nanjing 210093;Department of Computer Science and Technology/a>;Nanjing 210093
Abstract:An object is immutable if its state cannot be changed during its life cycle.This characteristic of object is called immutability.The immutability information can be applied to conduct program analysis,testing,verification,and so on.The analysis techniques of object immutability can be classified into two categories:One is static analysis,the other is dynamic analysis.Consider both the advantages and disadvantages of static analysis and dynamic analysis,this paper presents a hybrid analysis technique,which c...
Keywords:immutability  static analysis  dynamic analysis  combined static and dynamic analysis  
本文献已被 CNKI 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号