一种交互式的不变量动态发现编配工具  

AN INTERACTED INSTRUMENTER FOR DYNAMICALLY DISCOVERING INVARIANT

作　　者：刘杰[1] 阳小华[1] 罗扬[1] 吴取劲[1] 

机构地区：[1]南华大学计算机与科学技术学院,湖南衡阳421001

出　　处：《计算机应用与软件》2008年第10期85-86,106,共3页Computer Applications and Software

基　　金：湖南省自然科学基金项目(05JJ30117)

摘　　要：发现程序中隐含程序不变量是实现高层次行为合约、提高程序质量的关键。重点研究了不变量的动态发现方法与程序编配原理,并在传统的编配方法基础上实现了交互式的石鼓编配工具。该工具具有预设观测点和观测变量等功能,并通过将运行轨迹收集到数据库中来实现不变量分析。并详细说明了采用内嵌法的编配工具的总体结构及实现过程。实验证明石鼓编配工具能更方便有效地发现不变量。The discovery of hidden program invariants inside the program is the key to realize high-level behaviour contract and to raise program＇ s quality. This article mainly discusses the methods of dynamical discovery of program invariants and the principles of instrumenting. A new interacted instrumenter based on traditional instrumenting techniques and database is presented, which is named School. School supports such functions as presetting watching point and watching variable, gives user a more convenient interface. School analyzes and reports invariants by collecting running trace to database, which is very different from traditional one. The base structure and implementation of the nested instrumenter are illustrated in details. Experiments show that School is accurate and convenient in discovering the invariants.

关 键 词：程序不变量 动态发现 编配工具 

分 类 号：TP391[自动化与计算机技术—计算机应用技术] TG7[自动化与计算机技术—计算机科学与技术]