《计算机学报》文章摘要   全文下载
文章题目	静动态结合的Java程序不变性分析方法
作者	于利前 王林章 雷斌 赵建华 李宣东
作者单位	(南京大学计算机软件新技术国家重点实验室 南京 210093) (南京大学计算机科学与技术系 南京 210093)
发表年份	2010
发表月份	4期(736—746)
文章摘要	摘要 程序的不变性(immutability)是指类的实例对象在其生命周期内状态不会发生改变.不变性信息可以用来指导程序的分析、测试和验证等工作.现有分析不变性的技术主要集中于对程序的静态分析，而动态分析方面的工作很少.文中在分析了静、动态分析技术各自的优缺点后，提出了一种静动态结合的混合分析技术.首先通过对程序进行静态分析，即对程序进行分析测试和验证，来获得初步的程序不变性信息，然后对静态分析的结果中不确定的部分再进行动态分析，即通过观察程序运行时各个对象的状态变化进行分析，同时还将动态分析用于对静态分析结果的验证.静动态结合的分析技术比单纯的静态分析提高了分析结果的精度，同时也比单纯的动态分析降低了开销，提高了效率. 关键词 不变性；静态分析；动态分析；混合分析 中图法分类号 TP311 DOI号 10.3724/SP.J.1016.2010.00736