静动态结合的Java程序不变性分析方法

作者：于利前; 王林章; 雷斌; 赵建华; 李宣东

来源：计算机学报, 2010, (04): 736-746.

• 不变性
• 静态分析
• 动态分析
• 混合分析 immutability
• static analysis
• dynamic analysis
• combined static and dynamic analysis

程序的不变性(immutability)是指类的实例对象在其生命周期内状态不会发生改变.不变性信息可以用来指导程序的分析、测试和验证等工作.现有分析不变性的技术主要集中于对程序的静态分析,而动态分析方面的工作很少.文中在分析了静、动态分析技术各自的优缺点后,提出了一种静动态结合的混合分析技术.首先通过对程序进行静态分析,即对程序进行分析测试和验证,来获得初步的程序不变性信息,然后对静态分析的结果中不确定的部分再进行动态分析,即通过观察程序运行时各个对象的状态变化进行分析,同时还将动态分析用于对静态分析结果的验证.静动态结合的分析技术比单纯的静态分析提高了分析结果的精度,同时也比单纯的动态分析降...

• 单位
  南京大学; 计算机软件新技术国家重点实验室