动态不变量检测工具Daikon的分析及运用

• 作者: 刘树锟 阳小华
• 来源期刊: 电脑开发与应用
• 学科: 工学
• 关键词: Daikon 程序不变量 关联关系 追踪
• 年，卷（期）: 2006,（1）
• 所属期刊栏目: 信息技术
• 页码范围: 6-8
• 页数: 3页
• 分类号: TP274
• 字数: 2210字
• 语种: 中文
• DOI: 10.3969/j.issn.1003-5850.2006.01.005

摘要

讨论了动态不变量的检测,即通过一个动态分析发现可能的程序不变量.通过从程序中自动推断出似然程序不变量的方式,可以在程序运动时动态追踪运行轨迹,以发现程序不变量,并找出属性和它们之间的关系,这是一个高效的技术.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	阳小华		160	821	14.0	22.0
2	刘树锟		1	6	1.0	1.0