基于GEP的指數(shù)函數(shù)型程序不變量發(fā)現(xiàn)方法研究.pdf

1、程序中蘊含的不變性質(zhì)即程序不變量，它用來描述程序的運行規(guī)律。目前的不變量動態(tài)發(fā)現(xiàn)工作采用的是試探法，分為兩個階段----首先預置不變量形式，然后確定不變量表示形式。它考查的是一些簡單的，有限數(shù)目的不變量形式，難免會遺漏重要的程序特征；此外，檢測過程采用試探法窮舉變量組合，帶有很大的盲目性，耗時很長而效率很低。由于GEP有很好的函數(shù)發(fā)現(xiàn)能力，借助GEP進行不變量形式發(fā)現(xiàn)可以很好的彌補這一缺陷。實踐證明，利用GEP可以解決標準多項式函數(shù)形式

2、的不變量發(fā)現(xiàn)問題。
　　本文沿用了基于GEP的不變量發(fā)現(xiàn)思想，對指數(shù)函數(shù)形式的程序不變量發(fā)現(xiàn)方法進行研究。首先利用GEP技術在函數(shù)依賴集中進行函數(shù)形式的發(fā)現(xiàn)；然后進行函數(shù)表達式的確定；最后在實驗數(shù)據(jù)集中進行不變量的驗證。不同形式的程序不變量有著各自不同的特點。本文首先分析了GEP函數(shù)形式發(fā)現(xiàn)的特點，找到影響GEP函數(shù)形式發(fā)現(xiàn)的主要因素----函數(shù)符號集和適應度函數(shù)；在此基礎上對指數(shù)函數(shù)形式的不變量進行分析。實驗發(fā)現(xiàn)，借用GEP算法