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

• 作者: 于利前 李宣东 王林章 赵建华 雷斌
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 不变性 静态分析 动态分析 混合分析
• 年，卷（期）: 2010,（4）
• 所属期刊栏目: 研究论文与技术报告
• 页码范围: 736-746
• 分类号: TP311
• 字数: 12314字
• 语种: 中文
• DOI: 10.3724/SP.J.1016.2010.00736

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李宣东	南京大学计算机软件新技术国家重点实验室	72	1417	20.0	36.0
2	王林章	南京大学计算机科学与技术系	23	610	12.0	23.0
3	赵建华	南京大学计算机软件新技术国家重点实验室	23	201	7.0	13.0
4	雷斌	南京大学计算机软件新技术国家重点实验室	3	35	2.0	3.0
5	于利前	南京大学计算机软件新技术国家重点实验室	1	15	1.0	1.0