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

Analysis and Application of Dynamic Invariants Detection Tool-Daikon

作　　者：刘树锟[1] 阳小华[1] 

机构地区：[1]南华大学,衡阳421001

出　　处：《电脑开发与应用》2006年第1期6-8,共3页Computer Development & Applications

基　　金：湖南省自然科学基金(编号:XJK03CG021)资助

摘　　要：讨论了动态不变量的检测,即通过一个动态分析发现可能的程序不变量。通过从程序中自动推断出似然程序不变量的方式,可以在程序运动时动态追踪运行轨迹,以发现程序不变量,并找出属性和它们之间的关系,这是一个高效的技术。This paper presents the detection of dynamic invariants,namely,the possible program invariable will be found by a dynamic analysis. Through the method of automatiocally inferring likely invariants from program,running track can be dynamically tracked as the program running to finu program invariable and locate attribute and their relationship,which is a high efficiency technology.

关 键 词：Daikon 程序不变量 关联关系 追踪 

分 类 号：TP274.4[自动化与计算机技术—检测技术与自动化装置]