基于Q學(xué)習(xí)的復(fù)雜程序動(dòng)態(tài)分析技術(shù).pdf

1、程序分析領(lǐng)域中切片技術(shù)日趨成熟?；谙到y(tǒng)依賴圖的程序靜態(tài)切片技術(shù)效率高、應(yīng)用廣。但是，隨著軟件程序的功能多樣化發(fā)展，復(fù)雜性隨之提高，環(huán)境中干擾因素不斷增加。復(fù)雜程序在不確定環(huán)境中的動(dòng)態(tài)分析、控制成為技術(shù)難題和迫切需求。此時(shí)，切片方法為主的程序分析理論、技術(shù)嚴(yán)重受限。 提出用Q學(xué)習(xí)策略探索程序分析領(lǐng)域存在的難題，是一次大膽嘗試。論文引入Q學(xué)習(xí)獨(dú)有的優(yōu)勢(shì)，針對(duì)復(fù)雜程序動(dòng)態(tài)分析、控制難題，提出基于Q學(xué)習(xí)的復(fù)雜程序動(dòng)態(tài)分析、控制思想，構(gòu)

2、造切實(shí)可行的分析算法，著重對(duì)并發(fā)程序、面向?qū)ο蟪绦?、不確定環(huán)境中的復(fù)雜程序動(dòng)態(tài)分析進(jìn)行研究，初步形成了基于Q學(xué)習(xí)的復(fù)雜程序動(dòng)態(tài)分析技術(shù)，為實(shí)時(shí)、有效控制不確定環(huán)境中復(fù)雜程序的動(dòng)態(tài)過程提供了依據(jù)。在此基礎(chǔ)上，對(duì)基于Q學(xué)習(xí)的復(fù)雜程序動(dòng)態(tài)分析、控制系統(tǒng)(析控器：QACA)的實(shí)現(xiàn)相關(guān)技術(shù)進(jìn)行了研究。 論文的主要工作：(1)通過對(duì)基于Q學(xué)習(xí)的復(fù)雜程序動(dòng)態(tài)分析技術(shù)的研究，解決當(dāng)前在并發(fā)程序、面向?qū)ο蟪绦?、不確定環(huán)境中的復(fù)雜程序等的動(dòng)態(tài)分析方

3、面存在的難題，提高分析智能性、效率及精度。(2)在Q學(xué)習(xí)分析的基礎(chǔ)上，探討對(duì)復(fù)雜程序?qū)嵤﹦?dòng)態(tài)最優(yōu)控制，增強(qiáng)復(fù)雜軟件程序的自動(dòng)控制能力，為提高大型、重要軟件系統(tǒng)的安全性、可維護(hù)性等問題提供對(duì)策。(3)對(duì)析控器(QACA)的實(shí)現(xiàn)相關(guān)技術(shù)進(jìn)行基礎(chǔ)性研究。 論文的主要成果表現(xiàn)在以下幾個(gè)方面：·提出一種基于Q學(xué)習(xí)的程序智能分析思想及方法，初步形成基于Q學(xué)習(xí)的復(fù)雜程序動(dòng)態(tài)分析技術(shù)。 ·提出Q依賴鏈、Q依賴圖等一系列基于Q學(xué)習(xí)的程序分

4、析新概念。融合了傳統(tǒng)程序分析技術(shù)和機(jī)器學(xué)習(xí)領(lǐng)域知識(shí)，使這兩個(gè)學(xué)科有機(jī)結(jié)合、優(yōu)勢(shì)互補(bǔ)。 ·提出將不確定環(huán)境中的復(fù)雜程序區(qū)分特征、區(qū)別分析的方法。既可提高析控器學(xué)習(xí)、分析的效率，又使智能分析、控制的針對(duì)性、精確性得到增強(qiáng)。 ·為提高析控器的學(xué)習(xí)、訓(xùn)練速度及動(dòng)態(tài)分析時(shí)效，提出利用當(dāng)前程序分析中先進(jìn)理論、技術(shù)對(duì)程序的表示、分析等方法，約束動(dòng)態(tài)分析信息量，縮短了agent的學(xué)習(xí)、訓(xùn)練周期。 ·提出運(yùn)用Q學(xué)習(xí)策略實(shí)時(shí)分析、控