多核處理器的普及和快速發(fā)展使得多線程并發(fā)程序近年來變的越來越流行。為使并發(fā)程序變得簡單和高效,研究人員將軟件重構技術應用于并發(fā)程序中。并發(fā)程序在運行期間其內部具有的不確定性和并發(fā)性,使得在對并發(fā)程序進行重構后容易引發(fā)并發(fā)問題,導致重構前后行為發(fā)生不一致現(xiàn)象。因此對重構程序行為的一致性檢測尤為重要。一致性檢測不僅能夠盡可能的減少存在的不一致問題,提高開發(fā)人員的開發(fā)效率,而且能夠盡可能的降低后期的維護成本。在上述背景下,本文對并發(fā)重構的一致性問題進行研究。針對并發(fā)軟件重構存在的行為不一致問題,本文對軟件重構后產(chǎn)生的行為不一致原因進行了研究,提出以WALA軟件分析框架為基礎的靜態(tài)一致性檢測方法和工具。該工具首先使用控制流分析構造重構前后的控制流圖,對比重構前后可能出現(xiàn)行為不一致的節(jié)點信息;其次,針對synchronized關鍵字進行檢測。在控制流的基礎上進行同步依賴分析,檢測重構前后同步依賴關系是否等價;再次,使用數(shù)據(jù)流分析,對比重構前后數(shù)據(jù)流信息的變化,找出可能出現(xiàn)行為不一致的節(jié)點信息;最后,定義死鎖檢測、對象重用檢測和靜態(tài)共享字段檢測3種檢測規(guī)則對重構后程序進行檢測,以此更加精確的找出存... 

【文章頁數(shù)】：69 頁

【學位級別】：碩士

【部分圖文】：

軟件重構概述[16]

同步機制之間的重構對于同步機制的重構，大量的研究人員對此做了相關研究

重構并發(fā)關注點分離框架

【參考文獻】：
期刊論文
[1]Eclipse的CDT插件分析[J]. 田丹.  信息通信. 2018(01)
[2]并行環(huán)境下Java哈希機制的對比及重構[J]. 鄭雅潔,張冬雯,張楊,郭松,梁亞楠,魏萌萌,于欣.  河北工業(yè)科技. 2017(06)
[3]面向軟件錯誤檢測的數(shù)據(jù)流分析[J]. 張廣梅,李景霞.  計算機科學. 2016(S1)
[4]面向Java鎖機制的字節(jié)碼自動重構框架[J]. 張楊,張冬雯,仇晶.  計算機科學. 2015(11)
[5]回歸測試用例優(yōu)化選擇研究綜述[J]. 成亞玲,李健,彭湘華.  湖南工業(yè)職業(yè)技術學院學報. 2015(02)
[6]Eclipse插件體系結構的研究[J]. 谷鈺,楊艷斌,王澤生.  電腦知識與技術. 2009(31)

碩士論文
[1]面向多線程機制的軟件重構方法研究與實現(xiàn)[D]. 柳晨光.河北科技大學 2016
[2]基于控制流分析和數(shù)據(jù)流分析的Java程序靜態(tài)檢測方法的研究[D]. 王旭.西安電子科技大學 2015
[3]CODEREBUILDER：一種自動化Java并發(fā)程序重構工具的研究與實現(xiàn)[D]. 陶彬賢.南京航空航天大學 2014
[4]基于Eclipse的Java重構插件的設計與實現(xiàn)[D]. 李亞慧.電子科技大學 2013



本文編號：3723142