| 一种基于GEP的程序不变量动态发现方法 |
| |
| 引用本文： | 郭培甲,吴取劲. 一种基于GEP的程序不变量动态发现方法[J]. 南华大学学报(自然科学版), 2016, 30(4): 106-111 |
| |
| 作者姓名： | 郭培甲 吴取劲 |
| |
| 作者单位： | 南华大学 计算机科学与技术学院,湖南 衡阳 421001,南华大学 计算机科学与技术学院,湖南 衡阳 421001 |
| |
| 摘 要： | 利用GEP(基因表达式编程)获取最优解的函数发现能力和数学理论的精确计算能力获得较客观的程序不变量的预置形式,能够进行目前技术没有处理的函数型程序不变量的发现生成工作.在函数型程序不变量范围内,有效地克服了目前程序不变量发现技术中存在的两个缺点,即计算盲目性与程序不变量形式预置的主观性.整个工作可以理解为是对目前程序不变量发现技术的一个扩展,它拓广了原有技术可发现的程序不变量种类,增大了从程序运行轨迹数据中发现更多不变量的可能性.
|
| 关 键 词： | 程序不变量 GEP函数型程序不变量 |
| 收稿时间： | 2016-10-10 |
A Method of Detecting Likely Program Invariants Based on GEP |
| |
| GUO Pei-jia and WU Qu-jing. A Method of Detecting Likely Program Invariants Based on GEP[J]. Journal of Nanhua University(Science and Technology), 2016, 30(4): 106-111 |
| |
| Authors: | GUO Pei-jia and WU Qu-jing |
| |
| Affiliation: | School of Computer Science and Technology,University of South China,Hengyang,Hunan 421001,China and School of Computer Science and Technology,University of South China,Hengyang,Hunan 421001,China |
| |
| Abstract: | It introduces a new algorithm based on GEP which can find Functional Program Invariants from data formed by observing program executing.In the field of detecting program invariants,the algorithm improves possibility of mining more invariants which can not be found by the technology in existence and can get successfully polynomial functional invariants. |
| |
| Keywords: | program invariants GEP functional program invariants |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《南华大学学报(自然科学版)》浏览原始摘要信息 |
|
点击此处可从《南华大学学报(自然科学版)》下载全文 |
