基于關系數(shù)據(jù)理論的函數(shù)型程序似然不變量動態(tài)檢測方法.pdf

1、隨著計算機技術的發(fā)展,軟件在各個行業(yè)得到廣泛的應用,人們對軟件的質(zhì)量和安全也得到更為廣泛的關注。對如何提高軟件質(zhì)量的問題人們已經(jīng)從軟件開發(fā)方法、軟件開發(fā)過程管理、軟件開發(fā)工具等多個方面加以研究,取得了一定的成績?；诤霞s的軟件開發(fā)是其中十分重要且得到廣泛應用的一種技術。軟件合約是指軟件中必須遵守的規(guī)則。開發(fā)者和執(zhí)行者通過遵守這些合約來保證軟件的質(zhì)量。從不同的層面合約可分為語法合約、數(shù)據(jù)合約、行為合約和服務合約。程序不變量是數(shù)據(jù)合約的一種

2、形式。程序不變量對于程序演進與重構(gòu)、程序測試與排錯、輔助定理證明、構(gòu)件升級替換都有重要作用。由于大多數(shù)軟件開發(fā)時都沒有書寫形式化文檔,程序不變量在程序中很少被清楚地表示出來。如何從程序中發(fā)現(xiàn)這些隱含的沒有被程序員寫出來的程序不變量成為實現(xiàn)高層次行為合約、提高程序質(zhì)量的關鍵。
　　本文重點研究如何使用動態(tài)檢測技術發(fā)現(xiàn)程序中函數(shù)型似然不變量。論文首先介紹了不變量動態(tài)檢測技術及其主要的兩個實現(xiàn)工具:Daikon和DIDUCE,并分析了它

3、們在編配工具和不變量檢測方法上存在的不足。然后運用面向?qū)ο蟮能浖_發(fā)方法,設計并實現(xiàn)了一個新的基于關系數(shù)據(jù)庫的編配工具。新的編配工具具有易用、靈活等特點。結(jié)合關系數(shù)據(jù)理論,針對函數(shù)型不變量提出了一個啟發(fā)式不變量檢測方法。該方法通過函數(shù)推導技術首先確定待檢變量中是否存在函數(shù)依賴關系,然后再進行函數(shù)解析式推導,解決了傳統(tǒng)似然不變量檢測方法中存在的盲目性問題。并對新方法和傳統(tǒng)方法進行了對比實驗分析,實驗結(jié)果表明新方法的可靠性與檢測效率明顯優(yōu)于