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

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

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