作者：阳小华 黄彩霞gep程序运行轨迹数据启发性信息线性指数函数形式程序不变量不变量动态发现
摘要：不变量是用来描述程序运行时保持不变性质的逻辑断言．根据关系数据理论，程序不变量可分函数依赖型和非函数依赖型程序不变量．着眼于函数依赖型程序不变量，借助GEP的函数发现特点和Daikon对线性程序不变量的发现能力，重点对线性指数函数型程序不变量动态发现方法进行研究，通过实验证明了GEP对线性指数形式的函数有较高的发现效率，可以扩展Daikon在线性指数函数型程序不变量方面的预置形式以达到从程序轨迹数据中发现该类程序不变量的目的．
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《南华大学学报·社会科学版》（双月刊）创刊于1999年，由南华大学主管，南华大学主办，CN刊号为：43-1357/C，自创刊以来，颇受业界和广大读者的关注和好评。 《南华大学学报·社会科学版》现为《中国人文社会科学优秀期刊（扩展版）》期刊、全国高校优秀社科期刊和湖南省资助优秀理论期刊，已加入《中国人文社会科学引文数据库（CHSSCD）》《中国学术期刊综合评价数据库》、《中国期刊全文数据库》、《中国优秀期刊（遴选）数据库》和“万方数据一数字化期刊群”。并荣获首届《CAJ-CD规范》执行优秀期刊奖，第四届湖南省优秀社科学报一等...
杂志详情
