论文部分内容阅读
不变量是用来描述程序运行时保持不变性质的逻辑断言．根据关系数据理论，程序不变量可分函数依赖型和非函数依赖型程序不变量．着眼于函数依赖型程序不变量，借助GEP的函数发现特点和Daikon对线性程序不变量的发现能力，重点对线性指数函数型程序不变量动态发现方法进行研究，通过实验证明了GEP对线性指数形式的函数有较高的发现效率，可以扩展Daikon在线性指数函数型程序不变量方面的预置形式以达到从程序轨迹数据中发现该类程序不变量的目的．