摘要
讨论了动态不变量的检测,即通过一个动态分析发现可能的程序不变量。通过从程序中自动推断出似然程序不变量的方式,可以在程序运动时动态追踪运行轨迹,以发现程序不变量,并找出属性和它们之间的关系,这是一个高效的技术。
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.
出处
《电脑开发与应用》
2006年第1期6-8,共3页
Computer Development & Applications
基金
湖南省自然科学基金(编号:XJK03CG021)资助
