一、一種基于Java程序分層模型的方法內(nèi)切片生成算法（論文文獻(xiàn)綜述）
孫蕓[1]（2020）在《基于Web的多孔結(jié)構(gòu)3D打印路徑規(guī)劃》文中提出隨著大數(shù)據(jù)時(shí)代的到來,越來越多的應(yīng)用都朝著數(shù)據(jù)化的方向發(fā)展,用戶對(duì)不同應(yīng)用的使用需求正發(fā)生變化,逐漸從操作復(fù)雜的后端環(huán)境轉(zhuǎn)移到簡便的Web前端瀏覽器中。與此同時(shí),3D打印技術(shù)作為當(dāng)今的研究熱點(diǎn)之一,其在Web端的應(yīng)用也成為了眾多學(xué)者的重要議題。隨著3D打印技術(shù)的不斷發(fā)展,人們對(duì)相應(yīng)產(chǎn)品的制造方式以及制造需求發(fā)生變化,而輕量化的多孔結(jié)構(gòu)模型因具有優(yōu)良的物理特性能滿足用戶日益變化的產(chǎn)品需求。為了實(shí)現(xiàn)3D打印應(yīng)用的簡化,同時(shí)滿足產(chǎn)品高效高質(zhì)量的打印,本文對(duì)Web端的3D打印技術(shù)中多孔結(jié)構(gòu)模型的分層和填充處理過程展開了深入研究。主要研究內(nèi)容及相關(guān)成果如下:（1）以谷歌瀏覽器為實(shí)驗(yàn)平臺(tái),利用WebGL實(shí)現(xiàn)了多孔結(jié)構(gòu)模型的在線可視化繪制及顯示。（2）采用一種基于Web環(huán)境的直接切片算法。該方法首先建立由Web瀏覽器導(dǎo)入的模型的幾何拓?fù)潢P(guān)系,經(jīng)過分層切片確定每一切片層的截面輪廓。該方法不僅能快速處理Web端數(shù)據(jù)量大的幾何模型,還能避免構(gòu)成錯(cuò)誤的截面輪廓關(guān)系。（3）基于Web環(huán)境進(jìn)行截面輪廓填充處理時(shí),提出一種判斷掃描軌跡環(huán)偏置極限的質(zhì)心分割法。該方法將軌跡環(huán)質(zhì)心作為分割基點(diǎn),拆分軌跡環(huán)并單獨(dú)進(jìn)行偏置極限判斷。該方法能夠準(zhǔn)確地判斷不同類型軌跡環(huán)的偏置極限。（4）提出偏置線與費(fèi)馬螺旋線混合填充的方法。該方法將可螺旋的偏置線歸類為軌跡簇,通過費(fèi)馬螺旋連接形成費(fèi)馬螺旋線,由此實(shí)現(xiàn)偏置線與費(fèi)馬螺旋線的混合填充。該方法充分利用了偏置線與費(fèi)馬螺旋線的優(yōu)點(diǎn),實(shí)現(xiàn)多孔結(jié)構(gòu)模型的在線填充處理操作。（5）為實(shí)現(xiàn)填充路徑的整體連續(xù)性,構(gòu)建費(fèi)馬螺旋軌跡環(huán)樹,并連接各樹節(jié)點(diǎn)對(duì)應(yīng)軌跡線,同時(shí),提出逐點(diǎn)偏移法處理連接過程中的非傳統(tǒng)自相交。該方法通過微調(diào)起止點(diǎn)進(jìn)行再連接,方法具有較高的算法穩(wěn)定性。（6）結(jié)合本文方法,設(shè)計(jì)搭建了一個(gè)基于Web瀏覽器頁面的3D打印路徑規(guī)劃應(yīng)用平臺(tái)。該平臺(tái)不僅能在瀏覽器中實(shí)時(shí)顯示3D模型,還允許用戶按照自身需求選擇不同的掃描線用于該模型的3D打印填充,此外,該平臺(tái)還集成了一些常用的模型變換功能以及人機(jī)交互功能,主要包括:貼圖、材質(zhì)替換、旋轉(zhuǎn)、縮放、菜單欄交互。
王桐[2]（2019）在《軟件架構(gòu)可持續(xù)演進(jìn)性評(píng)估技術(shù)研究》文中指出為了保障軟件的生命力和競爭力,軟件架構(gòu)演進(jìn)貫穿著軟件的整個(gè)生命周期。開發(fā)人員通過軟件架構(gòu)演進(jìn)實(shí)現(xiàn)新功能增加、故障修復(fù)、性能提高等目的。但隨著軟件規(guī)模的增加和軟件架構(gòu)復(fù)雜度的上升,軟件架構(gòu)的演進(jìn)難度逐步增加。為了順利達(dá)成架構(gòu)演進(jìn)需求,如何保障軟件架構(gòu)具有可持續(xù)演進(jìn)性成為了一個(gè)至關(guān)重要的問題。軟件架構(gòu)可演進(jìn)性評(píng)估是有效判斷當(dāng)前軟件架構(gòu)是否具備可持續(xù)演進(jìn)性的一種方法。為了有效的實(shí)施軟件架構(gòu)可演進(jìn)性評(píng)估,通常需要完成如下三個(gè)步驟:1)獲得有效的軟件架構(gòu)作為評(píng)估過程的輸入;2)建立軟件架構(gòu)可演進(jìn)性評(píng)估模型和評(píng)估方法;3)實(shí)施評(píng)估并檢驗(yàn)評(píng)估結(jié)果的有效性。為此,評(píng)估者需要關(guān)注軟件架構(gòu)如何獲取、軟件架構(gòu)可持續(xù)演進(jìn)性如何評(píng)估、基于評(píng)估結(jié)果如何定位架構(gòu)腐蝕原因、以及基于可持續(xù)演進(jìn)性和架構(gòu)腐蝕評(píng)估結(jié)果如何重構(gòu)軟件架構(gòu)四個(gè)方面的研究,這樣可以實(shí)現(xiàn)從初始架構(gòu)開始,通過演進(jìn)性評(píng)估和架構(gòu)重構(gòu),以及再評(píng)估、再重構(gòu)的軟件架構(gòu)持續(xù)演進(jìn)過程。但現(xiàn)實(shí)情況是,這四個(gè)方面的研究還存在以下幾個(gè)問題:（1）在獲取有效軟件架構(gòu)方面,現(xiàn)有方法主要基于源代碼恢復(fù)軟件架構(gòu),但單一數(shù)據(jù)源難以保障獲得的軟件架構(gòu)的精確性;并且當(dāng)恢復(fù)大型系統(tǒng)的軟件架構(gòu)時(shí),恢復(fù)效率較低。（2）在架構(gòu)可演進(jìn)性評(píng)估方面,現(xiàn)有方法主要采用的是定性的評(píng)估方法,這種評(píng)估方法取決于評(píng)估者是否有豐富經(jīng)驗(yàn),并且評(píng)估過程需要人工干涉,無法做到實(shí)時(shí)、自動(dòng)化、客觀的評(píng)估;另外,現(xiàn)有的可演進(jìn)性評(píng)估主要是評(píng)估軟件架構(gòu)的演進(jìn)能力,無法對(duì)軟件架構(gòu)演進(jìn)效果進(jìn)行評(píng)估。（3）在架構(gòu)腐蝕評(píng)估方面,一方面,現(xiàn)有的細(xì)粒度變更檢測方法不能很好地支持版本間的變更檢測,所以也不能很好地分析版本間的變更對(duì)架構(gòu)腐蝕的影響;另一方面,架構(gòu)腐蝕的根本原因在于代碼腐蝕,而目前軟件架構(gòu)腐蝕評(píng)估方法的研究對(duì)象是軟件較高層次的抽象,沒能很好地把高層次抽象和代碼關(guān)聯(lián)起來,導(dǎo)致提供的架構(gòu)腐蝕原因的分析結(jié)果只能是粗粒度的。（4）在架構(gòu)重構(gòu)方面,現(xiàn)有的軟件架構(gòu)重構(gòu)方法沒有考慮架構(gòu)重構(gòu)前后的一致性問題,導(dǎo)致的結(jié)果是:雖然重構(gòu)過程不錯(cuò),但重構(gòu)效果難以保障。為了解決上述問題,本文從架構(gòu)恢復(fù)、架構(gòu)可演進(jìn)性評(píng)估、架構(gòu)腐蝕評(píng)估和架構(gòu)重構(gòu)四個(gè)方面對(duì)軟件架構(gòu)可持續(xù)演進(jìn)性評(píng)估技術(shù)展開研究。主要內(nèi)容與貢獻(xiàn)如下:（1）針對(duì)所恢復(fù)的架構(gòu)準(zhǔn)確性低的問題,本文從源代碼和目錄中提取信息,獲取更多的架構(gòu)信息,實(shí)驗(yàn)結(jié)果表明,本文方法提高了所恢復(fù)的架構(gòu)的準(zhǔn)確性;針對(duì)大規(guī)模程序的架構(gòu)恢復(fù)效率低的問題,本文基于依賴結(jié)構(gòu)和依賴類型對(duì)文件依賴圖預(yù)處理,降低所需要聚類的對(duì)象的數(shù)量,實(shí)驗(yàn)結(jié)果表明,本文方法提高了架構(gòu)恢復(fù)效率。（2）針對(duì)定性評(píng)估方無法保障評(píng)估結(jié)果客觀性的問題,本文提出了基于架構(gòu)內(nèi)部屬性評(píng)估架構(gòu)可演進(jìn)性,并實(shí)現(xiàn)自動(dòng)化評(píng)估;針對(duì)缺少架構(gòu)演進(jìn)效果評(píng)估的問題,本文提出基于架構(gòu)演進(jìn)原則達(dá)成性度量架構(gòu)的演進(jìn)效果評(píng)估方法,并基于評(píng)估結(jié)果和演進(jìn)日志對(duì)架構(gòu)持續(xù)演進(jìn)提出具有針對(duì)性的演進(jìn)建議。（3）針對(duì)當(dāng)前方法不支持版本間變更檢測的問題,本文提出了基于多層次程序分析樹的版本間變更檢測方法,實(shí)驗(yàn)結(jié)果表明,該檢測方法具有較高的查全率和查準(zhǔn)率;針對(duì)目前架構(gòu)腐蝕評(píng)估方法的評(píng)估結(jié)果粒度較粗的問題,本文采用多層次變更檢測方法,逐層定位架構(gòu)腐蝕原因,實(shí)現(xiàn)基于語句變更分析架構(gòu)腐蝕;針對(duì)大型程序變更條目較多不具有全部修復(fù)的可行性問題,本文構(gòu)建架構(gòu)腐蝕修復(fù)的成本效益模型,并提供各個(gè)腐蝕點(diǎn)的修復(fù)優(yōu)先級(jí)。（4）針對(duì)源代碼和架構(gòu)間一致性難以保障的問題,本文提出了基于源代碼變更的架構(gòu)協(xié)同演進(jìn)方法和基于架構(gòu)變更的源代碼協(xié)同演進(jìn)方法,實(shí)驗(yàn)結(jié)果表明,這兩個(gè)方法能有效的保障源代碼和架構(gòu)之間的一致性。
劉吉[3]（2019）在《自動(dòng)化增材制造路徑規(guī)劃與算法研究》文中研究表明機(jī)器人絲材電弧增材制造（WAAM）是指通過增加材料層而不是常規(guī)減材制造技術(shù),通過3D CAD模型沉積材料層來構(gòu)建零件。但現(xiàn)在機(jī)器人電弧增材制造軟件多依賴于在現(xiàn)有軟件二次開發(fā),本研究通過java語言直接開發(fā)一種絲材電弧焊接增材制造軟件,實(shí)現(xiàn)通過從STL（stereolithography,光固化立體造型術(shù)）模型輸入到直接生成部件的自動(dòng)化電弧增材制造。機(jī)器人自動(dòng)化增材制造的工藝規(guī)劃中的主要步驟包括stl模型切片生成2.5D層,為這些層生成沉積路徑,確定與沉積路徑相關(guān)的焊接參數(shù)（送絲速度、行走速度和干伸長等）和對(duì)工件進(jìn)行后處理加工。具體步驟如下:通過CAD軟件建立三維實(shí)體模型,選擇合適的角度和步長輸出STL模型,通過切片程序沿著增材方向被切成一組2.5D層?，F(xiàn)有切片算法主要包括等厚切片、自適應(yīng)切片和多方向切片算法,切片完成后通過路徑規(guī)劃程序計(jì)算每層沉積路徑,由于基于電弧焊接的絲材增材制造系統(tǒng)比基于粉末的增材制造系統(tǒng)產(chǎn)生大得多的沉積物,因此沉積路徑顯著地受構(gòu)件幾何復(fù)雜性和所選擇的材料的影響。開發(fā)的基于Voronoi圖的中軸轉(zhuǎn)換策略可以產(chǎn)生無空隙沉積路徑,解決了復(fù)雜構(gòu)件沉積問題。通過人工神經(jīng)網(wǎng)絡(luò)模型建立了焊接模型數(shù)據(jù)庫,為焊接控制提供數(shù)據(jù),根據(jù)期望路徑高度和寬度選擇相關(guān)聯(lián)的焊接參數(shù),確保路徑無縫隙沉積。本研究采用不銹鋼等材料的電弧焊接工藝建立了人工神經(jīng)網(wǎng)絡(luò)單道模型,并通過實(shí)驗(yàn)確定了一個(gè)最佳的焊接參數(shù)用于通用的增材制造過程。將人工神經(jīng)網(wǎng)絡(luò)模型和多焊道重疊模型都集成到路徑規(guī)劃方法中,允許對(duì)應(yīng)于所生成的偏移路徑自動(dòng)匹配最佳焊接參數(shù)。最后,通過機(jī)器人進(jìn)行一系列后處理加工操作加工沉積構(gòu)件以產(chǎn)生具有所需尺寸公差的成品部件。加工路徑可以通過將沉積路徑偏移來確定并可以在沉積一定高度同時(shí)進(jìn)行后處理加工,避免了構(gòu)件重新固定,簡化了后處理加工過程。
陳霽辰[4]（2017）在《Java程序切片及其在代碼結(jié)構(gòu)恢復(fù)中的應(yīng)用》文中認(rèn)為隨著計(jì)算機(jī)軟件復(fù)雜性的增加,出現(xiàn)了大量結(jié)構(gòu)復(fù)雜的遺產(chǎn)軟件。開發(fā)和維護(hù)人員意識(shí)到理解軟件的總體架構(gòu)設(shè)計(jì)與相關(guān)規(guī)格說明正變得日益重要。在此背景下,深入研究和理解軟件代碼結(jié)構(gòu)將會(huì)成為提高軟件生產(chǎn)率、解決軟件后期維護(hù)等一系列問題最為有效的途徑之一。通過對(duì)軟件代碼結(jié)構(gòu)進(jìn)行恢復(fù),可以從復(fù)雜的大規(guī)?；蜻z留系統(tǒng)中抽取出相關(guān)構(gòu)件,幫助開發(fā)及維護(hù)人員高效的理解和維護(hù)軟件系統(tǒng)。程序切片技術(shù)作為逆向工程的一項(xiàng)重要技術(shù),通過對(duì)源代碼的分析,抽取系統(tǒng)的主要部分,隱藏系統(tǒng)細(xì)節(jié),提取程序的體系結(jié)構(gòu)信息,從比源碼更高的抽象層次上對(duì)系統(tǒng)進(jìn)行描述。切片技術(shù)能夠?qū)⒊绦蜻M(jìn)行分解,在恢復(fù)過程中根據(jù)不同的關(guān)注點(diǎn)制定切片準(zhǔn)則,運(yùn)行切片算法得到源程序的子集,從而能夠更好的理解大規(guī)模系統(tǒng),十分適合作為實(shí)現(xiàn)代碼結(jié)構(gòu)恢復(fù)的途徑。本文針對(duì)Java語言研究了面向?qū)ο蟪绦蚯衅南嚓P(guān)理論與實(shí)踐,對(duì)已有的面向?qū)ο笙到y(tǒng)依賴圖進(jìn)行了改進(jìn)和擴(kuò)充,提出了一種基于統(tǒng)一對(duì)象擴(kuò)展結(jié)構(gòu)的系統(tǒng)依賴圖改進(jìn)構(gòu)造方法;通過解析源程序獲得構(gòu)造過程所需的信息,在已有的構(gòu)造方法基礎(chǔ)上對(duì)對(duì)象實(shí)現(xiàn)統(tǒng)一的擴(kuò)展,并利用該擴(kuò)展結(jié)構(gòu)細(xì)化了節(jié)點(diǎn)間的數(shù)據(jù)依賴關(guān)系;同時(shí)結(jié)合JDK1.7,在統(tǒng)一的對(duì)象擴(kuò)展結(jié)構(gòu)的基礎(chǔ)上,為一些新的Java語法特性提供了表示方案,改善了依賴圖和切片的準(zhǔn)確性。在對(duì)基于程序切片的代碼結(jié)構(gòu)恢復(fù)技術(shù)進(jìn)行研究時(shí),本文利用最小切片集覆蓋特定功能模塊的方法來恢復(fù)對(duì)應(yīng)模塊的代碼結(jié)構(gòu),同時(shí)提出了一種基于聚類成本的層次聚類方法優(yōu)化基于切片的聚類結(jié)果,從而獲得更好的代碼結(jié)構(gòu)恢復(fù)效果。基于開源程序的實(shí)驗(yàn)結(jié)果表明,本文的依賴圖構(gòu)造方法能夠得到更小更精確的切片,并能夠適應(yīng)較大規(guī)模的Java程序;同時(shí),基于切片的代碼結(jié)構(gòu)恢復(fù)結(jié)果也能夠?qū)崿F(xiàn)對(duì)某一功能點(diǎn)關(guān)鍵方法的聚類,恢復(fù)出對(duì)應(yīng)的設(shè)計(jì)框架,為開發(fā)和維護(hù)人員理解和維護(hù)代碼提供幫助。
黃毅[5]（2009）在《自動(dòng)故障受理軟件的設(shè)計(jì)與實(shí)現(xiàn)》文中研究指明企業(yè)信息化建設(shè)的推廣和普及使軟件的重要性在企業(yè)生產(chǎn)中越來越突出,一旦系統(tǒng)發(fā)生故障且缺少有效的保障措施,將會(huì)引發(fā)企業(yè)運(yùn)行癱瘓,造成不可估量的損失。因此,軟件故障維護(hù)已成為軟件生存期中費(fèi)用最高、難度最大的一個(gè)階段?，F(xiàn)有的運(yùn)維系統(tǒng)雖然有技術(shù)專家的支持,但是在故障受理和分析時(shí)仍然需要完全依靠人力資源,費(fèi)時(shí)費(fèi)力且準(zhǔn)確性不高。為了改善這一情況,本文引入了自動(dòng)故障受理的概念,提出用計(jì)算機(jī)自動(dòng)受理故障分析故障的解決方案。自動(dòng)故障受理是相對(duì)于現(xiàn)有的人工受理方式而言的。當(dāng)前不論是通過何種形式申告故障用戶都需要與客服人員即時(shí)交流,然后由維護(hù)人員承擔(dān)分析故障與排除故障的工作。而故障自動(dòng)受理則可以給用戶提供一個(gè)完全自助的平臺(tái)代替客服的工作,此外,該平臺(tái)還能通過智能地分析故障涉及的具體程序來對(duì)故障進(jìn)行診斷,為維護(hù)人員排除故障大規(guī)?？s小范圍,節(jié)省時(shí)間,提高準(zhǔn)確性。軟件故障診斷需要首先對(duì)程序有充分的理解,程序依賴性分析就是分析程序的一種重要方法。它通過構(gòu)造系統(tǒng)依賴圖分析程序語句之間的數(shù)據(jù)依賴關(guān)系與控制依賴關(guān)系,從而可以使得維護(hù)人員可以從一個(gè)更高的角度來觀察整個(gè)軟件系統(tǒng),更好的把握系統(tǒng)的特性與行為。同時(shí),程序切片技術(shù)可以在程序依賴性分析的基礎(chǔ)上找出對(duì)程序某個(gè)語句的某個(gè)變量有影響的所有語句,這樣就能縮小故障查找范圍,幫助定位故障。本文首先介紹了IT服務(wù)管理（ITSM）理論以及當(dāng)前國內(nèi)的主要客戶服務(wù)系統(tǒng)中故障受理部分的運(yùn)作情況和存在的問題,結(jié)合ITSM的思想提出一種幫助臺(tái)實(shí)施策略,這是本文的研究背景和研究對(duì)象。然后介紹了財(cái)務(wù)稽核系統(tǒng)的相關(guān)背景、結(jié)構(gòu)、功能、運(yùn)維流程以及常見故障的分類總結(jié),這是本文研究成果的應(yīng)用場景。接著介紹了程序理解領(lǐng)域的相關(guān)理論和當(dāng)前的研究情況,包括程序依賴圖以及各種程序切片算法的研究比較,這是本文研究成果的理論基礎(chǔ)。然后結(jié)合Web應(yīng)用的特點(diǎn)以及面向?qū)ο蟪绦虻慕Y(jié)構(gòu)特征從不同粒度上提出了獨(dú)特的web軟件分析策略和實(shí)施步驟。在粗粒度上進(jìn)行頁面部署分析,細(xì)粒度上則設(shè)計(jì)代碼定位算法從已有的相關(guān)可疑文件中分析故障最終來源。這是本文的重點(diǎn)論述內(nèi)容和理論研究成果。最后本文針對(duì)財(cái)務(wù)稽核系統(tǒng)這一應(yīng)用場景進(jìn)行具體設(shè)計(jì)和實(shí)施,這是本文研究成果的應(yīng)用。自動(dòng)故障受理軟件以某運(yùn)營商內(nèi)部的財(cái)務(wù)稽核系統(tǒng)的使用者為目標(biāo)用戶群,針對(duì)該系統(tǒng)的常見故障提供故障受理平臺(tái)并對(duì)故障進(jìn)行診斷分析和定位。經(jīng)試驗(yàn)驗(yàn)證,自動(dòng)受理的故障與人工受理的故障生成的工單內(nèi)容完全一致,派發(fā)機(jī)制和結(jié)果也相同,它可以完全替代坐席和工單分派員的工作,大大減少了人力成本。對(duì)于故障診斷結(jié)果進(jìn)行驗(yàn)證證明,數(shù)據(jù)類錯(cuò)誤、手機(jī)與卡類錯(cuò)誤、流程類錯(cuò)誤、填報(bào)類錯(cuò)誤能完全定位。用戶誤操作類錯(cuò)誤和系統(tǒng)類錯(cuò)誤由于都需要預(yù)先根據(jù)經(jīng)驗(yàn)總結(jié)出可能的問題,準(zhǔn)確率取決于個(gè)人經(jīng)驗(yàn),本文測試的故障診斷結(jié)果完全準(zhǔn)確,但診斷范圍有所擴(kuò)大。以上類別故障根據(jù)維護(hù)經(jīng)驗(yàn),基本就是平時(shí)能夠遇到的所有問題,對(duì)于其它不屬于以上范疇的故障,本軟件能保證在粗診斷粒度上準(zhǔn)確定位相關(guān)文件。試驗(yàn)結(jié)果表明,該軟件可以完全替代坐席和工單分派員的工作,根據(jù)用戶的申告信息準(zhǔn)確地進(jìn)行故障診斷并給出可疑代碼集,具有先進(jìn)性和可用性,是一種行之有效的解決方法。
戰(zhàn)曉娟[6]（2008）在《基于混淆和水印的Java字節(jié)碼安全技術(shù)的研究》文中指出Java程序由于平臺(tái)無關(guān)性得以在Internet上迅速發(fā)布,但同時(shí)Java程序也面臨著兩個(gè)嚴(yán)重的安全問題:第一,侵權(quán)使用。Java編譯器將每一個(gè)類編譯成一個(gè)單獨(dú)的class文件,這一特點(diǎn)讓侵權(quán)使用Java class文件變的容易;第二,逆向工程。目前Java字節(jié)碼的反編譯技術(shù)已經(jīng)很成熟,出現(xiàn)了許多Java反編譯工具,這些工具能很好的把Java字節(jié)碼反編譯成Java源代碼。為了保護(hù)Java字節(jié)碼的安全,本文提出了一種新的保護(hù)模型:利用代碼混淆和軟件水印技術(shù)對(duì)Java字節(jié)碼實(shí)施雙重保護(hù),從而保護(hù)了Java程序的知識(shí)產(chǎn)權(quán)。混淆Java字節(jié)碼是在保持程序語義的前提下隱藏程序的內(nèi)部信息,使得Java程序員很難讀懂反編譯后的Java源代碼甚至于不能被正確的重新編譯更甚者不能反編譯。在Java字節(jié)碼中嵌入水印就是將含有標(biāo)識(shí)意義的信息嵌入到Java class文件中。也就是說利用混淆技術(shù)來阻止Java字節(jié)碼的逆向工程,利用軟件水印為Java class文件提供版權(quán)保護(hù)。研究了現(xiàn)有的代碼混淆技術(shù),在此基礎(chǔ)上設(shè)計(jì)了詞法轉(zhuǎn)換算法、類的假重構(gòu)算法,改進(jìn)和完善了類拆分算法,總結(jié)了類型隱藏混淆的本質(zhì)和與接口回調(diào)技術(shù)的區(qū)別,分析、細(xì)節(jié)化了三種能使反編譯失敗的控制流混淆算法,并針對(duì)程序切片嚴(yán)重威脅控制流混淆的問題找出了兩種抵抗程序切片的混淆策略。研究了現(xiàn)有的一種針對(duì)Java字節(jié)碼的水印算法。通過對(duì)水印算法的改進(jìn),提高了水印算法的魯棒性、透明性。利用研究成果,設(shè)計(jì)并實(shí)現(xiàn)了名為JOCOW（Java Tool which combines obfuscation and Watermark technology）的系統(tǒng),用戶可使用該系統(tǒng)對(duì)Java class文件進(jìn)行雙重保護(hù)。保證Java字節(jié)碼的絕對(duì)安全是不可能的,但是本文的研究可以給Java字節(jié)碼提供版權(quán)保護(hù)和使Java字節(jié)碼逆向工程價(jià)值減小。
許帥[7]（2007）在《面向?qū)ο筌浖奶卣鞫ㄎ患夹g(shù)研究》文中認(rèn)為隨著信息社會(huì)對(duì)軟件的依賴與日俱增,軟件系統(tǒng)的維護(hù)工作越來越重要。程序理解是軟件維護(hù)過程中的關(guān)鍵活動(dòng),維護(hù)人員通過分析和理解目標(biāo)系統(tǒng)的程序獲取所需的信息和知識(shí),從而完成相應(yīng)的維護(hù)任務(wù)。然而,程序理解活動(dòng)具有較高難度,特別是對(duì)于大型復(fù)雜系統(tǒng),常常由于無法迅速準(zhǔn)確地理解目標(biāo)系統(tǒng)的程序而導(dǎo)致維護(hù)的低效甚至失敗。根據(jù)需要維護(hù)的具體軟件任務(wù)或功能（軟件特征）進(jìn)行有針對(duì)性的理解能夠有效提高程序理解的效率。面向特征的程序理解需要進(jìn)行特征定位,找到實(shí)現(xiàn)具體特征的代碼。本文針對(duì)面向?qū)ο筌浖到y(tǒng),提出了一個(gè)較為系統(tǒng)、全面的特征定位框架,并對(duì)其中的關(guān)鍵技術(shù)進(jìn)行了深入研究。主要研究內(nèi)容包括:對(duì)現(xiàn)有的特征定位方法進(jìn)行研究,主要包括基于程序靜態(tài)結(jié)構(gòu)的特征定位方法和基于程序動(dòng)態(tài)剖面的特征定位方法這兩大類型。為了更為準(zhǔn)確地獲取特征與代碼實(shí)體間的追蹤關(guān)系,針對(duì)面向?qū)ο筌浖?本文提出一種綜合的特征定位方法（Integrated Approach to Feature Location in Object-Oriented program,IAFLO）。該方法利用軟件搜索技術(shù)為與特征相關(guān)的代碼類建立初始追蹤關(guān)系;然后以這些類作為種子構(gòu)造面向?qū)ο蟪绦虻年P(guān)注圖,建立類、屬性、方法之間的調(diào)用、讀、寫、創(chuàng)建等關(guān)系,根據(jù)關(guān)注圖可以更加準(zhǔn)確有效的獲取與特征相關(guān)的屬性和方法。關(guān)注圖只能夠定位到類中的方法和屬性層次,這時(shí)如果還需要繼續(xù)追蹤方法中的具體代碼,IAFLO方法采用面向?qū)ο蟮那衅椒?以關(guān)注圖中找到的屬性和相關(guān)語句作為切片準(zhǔn)則,計(jì)算程序切片得到最終對(duì)特征實(shí)現(xiàn)具有直接影響的語句代碼。該方法能夠快速、準(zhǔn)確地從面向?qū)ο筌浖耐獠刻卣髯粉櫟骄唧w的相關(guān)代碼實(shí)現(xiàn),并且具有較高的自動(dòng)化程度,從而提高軟件維護(hù)中程序理解的效率?；谔岢龅腎AFLO方法,設(shè)計(jì)實(shí)現(xiàn)了綜合特征定位支持工具原型IFLST（Integrated Feature Location Supporting Tool）,對(duì)面向?qū)ο蟪绦虻奶卣鞫ㄎ缓统绦蚶斫馓峁┯行У闹С帧?/p>
余斌[8]（2006）在《Java程序分層及概率依賴性分析》文中指出程序依賴性分析是軟件工程領(lǐng)域中一項(xiàng)重要而基礎(chǔ)的活動(dòng),它是對(duì)已有程序分析與理解的基礎(chǔ),并在程序切片、逆向工程、軟件測試以及軟件重構(gòu)等軟件工程各個(gè)領(lǐng)域都有著重要的意義。Java語言由于其優(yōu)越的跨平臺(tái)性,在異構(gòu)網(wǎng)絡(luò)系統(tǒng)中使用愈加頻繁。隨著軟件產(chǎn)品的急劇增多,越來越多的遺產(chǎn)代碼需要進(jìn)行分析、理解、復(fù)用,對(duì)Java程序進(jìn)行依賴性分析的必要性也與日俱增。由于Java程序設(shè)計(jì)語言完全面向?qū)ο蟮奶匦?現(xiàn)有的依賴性方法已不能完全滿足其分析要求。本文在回顧傳統(tǒng)依賴性分析方法基礎(chǔ)之上,詳細(xì)闡述了一種分層次的粗粒度依賴性分析方法,按照自頂向下,逐步求精的原則依次分析Java程序在包級(jí)別、類級(jí)別以及方法級(jí)別上的依賴關(guān)系,并在語句級(jí)別的分析中,按照按需細(xì)化的原則,只對(duì)所關(guān)心的語句進(jìn)行依賴性分析,降低了系統(tǒng)依賴性分析的代價(jià)。在語句級(jí)別的依賴性分析中,本文還進(jìn)一步討論了程序執(zhí)行期間語句執(zhí)行的概率信息,并提出了考慮語句執(zhí)行概率的依賴性分析方法。分別分析程序中不同的控制結(jié)構(gòu)與方法調(diào)用方式,對(duì)其后續(xù)程序語句的執(zhí)行概率的影響,從而更加準(zhǔn)確地描述程序在執(zhí)行期間的依賴關(guān)系。本文介紹了分層次及概率依賴性分析在軟件重構(gòu)、軟件度量以及軟件測試等方面的一些應(yīng)用。通過應(yīng)用依賴性分析技術(shù)于軟件重構(gòu)中,對(duì)軟件重構(gòu)的指標(biāo)進(jìn)行量化度量,并提出了基于模糊聚類技術(shù)的軟件重構(gòu)方法,可以對(duì)軟件重構(gòu)活動(dòng)進(jìn)行相對(duì)客觀的指導(dǎo);基于對(duì)類中方法數(shù)目與它們之間的概率依賴信息綜合考慮,本文對(duì)類內(nèi)聚度缺乏度量提出一種改進(jìn),進(jìn)一步提高類內(nèi)聚度缺乏度量的準(zhǔn)確性。最后,在進(jìn)行理論分析的基礎(chǔ)上,本文給出了實(shí)現(xiàn)以上研究內(nèi)容的原型系統(tǒng)的實(shí)現(xiàn)細(xì)節(jié),并展望了未來的工作方向。
繆力[9]（2006）在《依賴性分析及其在軟件測試中的應(yīng)用》文中研究說明依賴性分析和程序切片,是一種程序分解技術(shù),在軟件工程的諸多領(lǐng)域都有廣泛應(yīng)用。現(xiàn)代軟件規(guī)模的巨大和復(fù)雜使得設(shè)計(jì)和測試這些軟件極其困難,其中軟件測試通常要占到開發(fā)成本的50%甚至更多,提高軟件測試效率,對(duì)于降低軟件開發(fā)成本,加快軟件開發(fā)周期有直接的作用。由于現(xiàn)代軟件系統(tǒng)的巨大規(guī)模,真正的實(shí)用的測試方法總是根據(jù)情況和要求,有側(cè)重點(diǎn)的進(jìn)行,這就使得依賴性分析在軟件測試過程中有著重要意義。平衡軟件測試的效率和效果是當(dāng)前軟件測試具有理論意義和實(shí)際價(jià)值的熱點(diǎn)問題。程序切片和依賴性分析是重要的程序分解技術(shù),將依賴性分析應(yīng)用于軟件測試可以使得軟件測試更有目的性和針對(duì)性,在有條件的保證軟件測試效果的前提下,有效地提高軟件測試效率?；趯?duì)依賴性分析在軟件測試中的應(yīng)用能力分析,本文進(jìn)行了以下一些研究工作:軟件測試數(shù)據(jù)自動(dòng)生成是軟件測試的一個(gè)重要研究領(lǐng)域,其中數(shù)組變量和指針變量導(dǎo)致的變量不確定問題是測試數(shù)據(jù)自動(dòng)生成中的一個(gè)困難問題,本文通過理論分析得出非定態(tài)路徑約束解空間可進(jìn)一步劃分為多個(gè)子空間的結(jié)論?；诜治鼋Y(jié)論,利用一種特殊的程序切片技術(shù),本文給出一個(gè)將非定態(tài)路徑的測試轉(zhuǎn)換為定態(tài)路徑測試的算法。通過分析EFSM不同測試序列的依賴關(guān)系模式（切片）,可以有效的約減測試集,提高測試效率。由于EFSM依賴關(guān)系的特殊性,對(duì)于EFSM依賴圖,現(xiàn)有的基于標(biāo)志已訪問節(jié)點(diǎn)的遍歷算法不適于解決該問題。本文對(duì)EFSM的依賴關(guān)系的傳遞性進(jìn)行了分析,并給出一個(gè)基于變遷的EFSM后向切片算法。修改影響分析本質(zhì)上也屬于約減測試用例的范疇,通過分析修改的軟件部分與軟件其他部分的依賴性關(guān)系,確定需要重新測試的部分,從而避免了對(duì)整個(gè)軟件的完全重新測試,提高了測試效率。本文針對(duì)面向?qū)ο蟪绦?提出類成員后向切片方法以找出所有被修改所影響的類成員。該方法比類防火墻技術(shù)的精度要高,復(fù)雜度低于語句級(jí)粒度分析方法?，F(xiàn)代軟件中,并發(fā)程序設(shè)計(jì)得到越來越普遍的應(yīng)用。然而,并發(fā)程序的依賴性分析有著其特殊的復(fù)雜性,在這方面,本文進(jìn)行的研究工作有:為了使程序切片技術(shù)能應(yīng)用于更廣泛的并發(fā)程序,我們?cè)诂F(xiàn)有算法的基礎(chǔ)上,并進(jìn)一步考慮到互斥體間可能存在的同時(shí)有定義和引用關(guān)系的情況,將現(xiàn)有的并發(fā)程序切片算法推廣到可以計(jì)算有互斥機(jī)制的并發(fā)程序的程序切片,得到了更為精確的切片算法。
王鵬飛[10]（2005）在《包含異常處理的Java程序切片研究》文中研究指明程序切片是一種分析和理解程序的技術(shù),通過分析程序語句之間的依賴性關(guān)系自動(dòng)分解源程序。程序切片技術(shù)在軟件工程領(lǐng)域有廣泛的應(yīng)用,例如程序理解、調(diào)試、維護(hù)、測試以及反向工程等。Java系統(tǒng)依賴圖（JSDG）可以用來表示Java程序,在Java系統(tǒng)依賴圖中,結(jié)點(diǎn)表示語句或者謂詞,邊表示控制和數(shù)據(jù)依賴關(guān)系。利用Java系統(tǒng)依賴圖,我們可以有效地計(jì)算程序切片。 Exception是一類用于錯(cuò)誤處理的特殊對(duì)象,它在Java方法出錯(cuò)時(shí)被創(chuàng)建,并利用try/catch/finally機(jī)制拋出、檢測和處理異常。當(dāng)前的程序切片算法都不能正確有效地處理異常結(jié)構(gòu),因?yàn)樗鼈儧]有或不能正確的考慮異常引入的附加數(shù)據(jù)和控制依賴關(guān)系。 在本文中討論了異常結(jié)構(gòu)對(duì)程序控制依賴和數(shù)據(jù)依賴的影響,采用了一種新的策略來處理異常結(jié)構(gòu)。新策略將try、catch、finally塊視為方法,并將可能拋出異常的調(diào)用點(diǎn)視為謂詞結(jié)點(diǎn),這樣可以表示異常對(duì)象附加的數(shù)據(jù)和控制依賴關(guān)系,構(gòu)造出包含異常處理結(jié)構(gòu)的Java系統(tǒng)依賴圖。本文還提出了另外一種方法,為每個(gè)調(diào)用點(diǎn)增加正常返回結(jié)點(diǎn),對(duì)于可能拋出異常的調(diào)用點(diǎn)增加異常返回結(jié)點(diǎn);為每個(gè)方法增加正常退出結(jié)點(diǎn),對(duì)于可能拋出異常的方法增加異常退出結(jié)點(diǎn),并將異常調(diào)用的返回結(jié)點(diǎn)視為謂詞結(jié)點(diǎn),用這種方法構(gòu)造的系統(tǒng)依賴圖更加精確。文章還給出了適合這種系統(tǒng)依賴圖構(gòu)造的一些相關(guān)算法。 本文還給出了一種源程序分析框架,利用JavaCC和JTB生成語法分析器和訪問器,實(shí)現(xiàn)對(duì)源程序信息的提取,并定義了一系列層次化的類結(jié)構(gòu)保存源程序信息。這些類結(jié)構(gòu)能夠保存源程序的結(jié)構(gòu)信息,包括類之間關(guān)系,類與方法之間關(guān)系,類與語句之間關(guān)系等。 最后,本文還實(shí)現(xiàn)了一個(gè)Java程序切片原型系統(tǒng),為Java程序提供了軟件分析平臺(tái)。通過這個(gè)平臺(tái),我們可以得到類層次圖、方法調(diào)用圖、方法控制流圖、方法控制依賴圖、方法數(shù)據(jù)依賴圖和程序切片。
二、一種基于Java程序分層模型的方法內(nèi)切片生成算法（論文開題報(bào)告）
（1）論文研究背景及目的
此處內(nèi)容要求：
首先簡單簡介論文所研究問題的基本概念和背景，再而簡單明了地指出論文所要研究解決的具體問題，并提出你的論文準(zhǔn)備的觀點(diǎn)或解決方法。
寫法范例：
本文主要提出一款精簡64位RISC處理器存儲(chǔ)管理單元結(jié)構(gòu)并詳細(xì)分析其設(shè)計(jì)過程。在該MMU結(jié)構(gòu)中,TLB采用叁個(gè)分離的TLB,TLB采用基于內(nèi)容查找的相聯(lián)存儲(chǔ)器并行查找,支持粗粒度為64KB和細(xì)粒度為4KB兩種頁面大小,采用多級(jí)分層頁表結(jié)構(gòu)映射地址空間,并詳細(xì)論述了四級(jí)頁表轉(zhuǎn)換過程,TLB結(jié)構(gòu)組織等。該MMU結(jié)構(gòu)將作為該處理器存儲(chǔ)系統(tǒng)實(shí)現(xiàn)的一個(gè)重要組成部分。
（2）本文研究方法
調(diào)查法：該方法是有目的、有系統(tǒng)的搜集有關(guān)研究對(duì)象的具體信息。
觀察法：用自己的感官和輔助工具直接觀察研究對(duì)象從而得到有關(guān)信息。
實(shí)驗(yàn)法：通過主支變革、控制研究對(duì)象來發(fā)現(xiàn)與確認(rèn)事物間的因果關(guān)系。
文獻(xiàn)研究法：通過調(diào)查文獻(xiàn)來獲得資料，從而全面的、正確的了解掌握研究方法。
實(shí)證研究法：依據(jù)現(xiàn)有的科學(xué)理論和實(shí)踐的需要提出設(shè)計(jì)。
定性分析法：對(duì)研究對(duì)象進(jìn)行“質(zhì)”的方面的研究，這個(gè)方法需要計(jì)算的數(shù)據(jù)較少。
定量分析法：通過具體的數(shù)字，使人們對(duì)研究對(duì)象的認(rèn)識(shí)進(jìn)一步精確化。
跨學(xué)科研究法：運(yùn)用多學(xué)科的理論、方法和成果從整體上對(duì)某一課題進(jìn)行研究。
功能分析法：這是社會(huì)科學(xué)用來分析社會(huì)現(xiàn)象的一種方法，從某一功能出發(fā)研究多個(gè)方面的影響。
模擬法：通過創(chuàng)設(shè)一個(gè)與原型相似的模型來間接研究原型某種特性的一種形容方法。
三、一種基于Java程序分層模型的方法內(nèi)切片生成算法（論文提綱范文）
（1）基于Web的多孔結(jié)構(gòu)3D打印路徑規(guī)劃（論文提綱范文）
| 摘要 |
| abstract |
| 第1章 緒論 |
| 1.1 引言 |
| 1.2 3D打印技術(shù)概述 |
| 1.2.1 3D打印技術(shù)成型原理 |
| 1.2.2 3D打印技術(shù)制造工藝 |
| 1.2.3 3D打印技術(shù)相關(guān)應(yīng)用 |
| 1.3 相關(guān)技術(shù)的研究現(xiàn)狀 |
| 1.3.1 在線3D模型可視化技術(shù)研究現(xiàn)狀 |
| 1.3.2 分層處理技術(shù)研究現(xiàn)狀 |
| 1.3.3 填充路徑生成技術(shù)研究現(xiàn)狀 |
| 1.3.4 多孔結(jié)構(gòu)模型的研究現(xiàn)狀 |
| 1.4 論文選題背景 |
| 1.5 研究內(nèi)容及安排 |
| 第2章 在線3D模型可視化的實(shí)現(xiàn) |
| 2.1 引言 |
| 2.2 基于Web GL的在線3D模型可視化 |
| 2.2.1 WebGL概述 |
| 2.2.2 WebGL基本工作流程 |
| 2.3 3D模型的繪制及顯示 |
| 2.3.1 光照處理 |
| 2.3.2 繪制實(shí)體模型 |
| 2.4 本章小結(jié) |
| 第3章 多孔結(jié)構(gòu)模型的在線分層算法研究 |
| 3.1 引言 |
| 3.2 模型在線分層算法研究 |
| 3.2.1 在線分層算法的基本過程 |
| 3.2.2 模型分層的現(xiàn)有算法概述 |
| 3.3 多孔結(jié)構(gòu)模型在線分層算法實(shí)現(xiàn) |
| 3.3.1 切平面與三角面片交點(diǎn)求取 |
| 3.3.2 切平面與對(duì)應(yīng)高度三角面片的求交 |
| 3.3.3 切片輪廓環(huán)方向的判斷 |
| 3.3.4 切片輪廓拓?fù)潢P(guān)系的建立 |
| 3.4 在線分層結(jié)果的可視化 |
| 3.5 本章小結(jié) |
| 第4章 切片層輪廓在線填充算法的研究 |
| 4.1 引言 |
| 4.2 在線多孔結(jié)構(gòu)模型掃描路徑規(guī)劃原則 |
| 4.3 填充掃描方式分類及概述 |
| 4.3.1 直線掃描法 |
| 4.3.2 偏置掃描法 |
| 4.3.3 螺旋掃描法 |
| 4.3.4 費(fèi)馬螺旋掃描法 |
| 4.4 基于費(fèi)馬螺線的在線混合填充掃描算法研究 |
| 4.4.1 在線輪廓偏置算法的實(shí)現(xiàn) |
| 4.4.2 在線軌跡螺旋算法的實(shí)現(xiàn) |
| 4.4.3 在線軌跡費(fèi)馬螺旋算法的實(shí)現(xiàn) |
| 4.5 本章小結(jié) |
| 第5章 在線3D打印連續(xù)路徑規(guī)劃與應(yīng)用 |
| 5.1 引言 |
| 5.2 3D打印連續(xù)路徑的在線規(guī)劃 |
| 5.2.1 費(fèi)馬螺旋軌跡樹的構(gòu)建 |
| 5.2.2 在線軌跡線間的連續(xù)連接 |
| 5.3 在線路徑規(guī)劃平臺(tái)的設(shè)計(jì)與開發(fā) |
| 5.3.1 設(shè)計(jì)要求 |
| 5.3.2 開發(fā)環(huán)境及工具 |
| 5.3.3 平臺(tái)模塊功能 |
| 5.4 本章小結(jié) |
| 第6章 總結(jié)與展望 |
| 6.1 工作總結(jié) |
| 6.2 研究展望 |
| 參考文獻(xiàn) |
| 致謝 |
| 個(gè)人簡歷、在學(xué)期間發(fā)表的學(xué)術(shù)論文與研究成果 |
（2）軟件架構(gòu)可持續(xù)演進(jìn)性評(píng)估技術(shù)研究（論文提綱范文）
| 摘要 |
| Abstract |
| 縮略詞表 |
| 第1章 緒論 |
| 1.1 研究背景與意義 |
| 1.2 研究現(xiàn)狀 |
| 1.2.1 研究進(jìn)展 |
| 1.2.2 當(dāng)前研究的不足 |
| 1.3 研究內(nèi)容 |
| 1.4 論文結(jié)構(gòu) |
| 第2章 基本知識(shí) |
| 2.1 軟件架構(gòu)的定義及其組成 |
| 2.2 軟件架構(gòu)的變更操作 |
| 2.3 軟件架構(gòu)的內(nèi)部屬性與外部屬性 |
| 2.3.1 軟件架構(gòu)的內(nèi)部屬性 |
| 2.3.2 軟件架構(gòu)的外部屬性 |
| 第3章 基于多層次信息的軟件架構(gòu)恢復(fù)方法 |
| 3.1 引言 |
| 3.2 ARMI方法 |
| 3.2.1 方法流程概述 |
| 3.2.2 軟件內(nèi)部屬性的提取 |
| 3.2.3 基于依賴的預(yù)處理 |
| 3.2.4 基于距離的聚類 |
| 3.2.5 軟件架構(gòu)的優(yōu)化 |
| 3.3 實(shí)驗(yàn)設(shè)計(jì)與結(jié)果分析 |
| 3.3.1 實(shí)驗(yàn)設(shè)計(jì) |
| 3.3.2 實(shí)驗(yàn)結(jié)果與分析 |
| 3.4 有效性威脅 |
| 3.5 相關(guān)工作對(duì)比 |
| 3.6 本章小結(jié) |
| 第4章 基于多種質(zhì)量屬性的架構(gòu)可持續(xù)演進(jìn)性評(píng)估方法 |
| 4.1 引言 |
| 4.2 SEMA方法 |
| 4.2.1 方法流程概述 |
| 4.2.2 軟件架構(gòu)可演進(jìn)性評(píng)估 |
| 4.2.3 軟件架構(gòu)演進(jìn)原則達(dá)成性評(píng)估 |
| 4.3 實(shí)驗(yàn)設(shè)計(jì)與結(jié)果分析 |
| 4.3.1 基于架構(gòu)可演進(jìn)性的實(shí)驗(yàn)設(shè)計(jì)與結(jié)果分析 |
| 4.3.2 基于架構(gòu)演進(jìn)原則達(dá)成性的實(shí)驗(yàn)設(shè)計(jì)與結(jié)果分析 |
| 4.4 有效性威脅 |
| 4.5 相關(guān)工作對(duì)比 |
| 4.6 本章小結(jié) |
| 第5章 基于多層次變更的架構(gòu)腐蝕評(píng)估方法 |
| 5.1 引言 |
| 5.2 AESE方法 |
| 5.2.1 方法流程概述 |
| 5.2.2 多層次的軟件架構(gòu)變更檢測 |
| 5.2.3 架構(gòu)腐蝕原因定位 |
| 5.2.4 架構(gòu)腐蝕的修復(fù)成本收益模型 |
| 5.3 實(shí)驗(yàn)設(shè)計(jì)與結(jié)果分析 |
| 5.3.1 實(shí)驗(yàn)設(shè)計(jì) |
| 5.3.2 實(shí)驗(yàn)結(jié)果與分析 |
| 5.4 有效性威脅 |
| 5.5 相關(guān)工作對(duì)比 |
| 5.6 本章小結(jié) |
| 第6章 基于架構(gòu)可演進(jìn)性和架構(gòu)腐蝕評(píng)估的重構(gòu)方法 |
| 6.1 引言 |
| 6.2 AREE方法 |
| 6.2.1 方法流程概述 |
| 6.2.2 基于軟件架構(gòu)可持續(xù)演進(jìn)性的重構(gòu)需求 |
| 6.2.3 基于架構(gòu)腐蝕評(píng)估的重構(gòu)方案的制定 |
| 6.2.4 重構(gòu)方案的實(shí)施 |
| 6.2.5 源代碼與架構(gòu)一致性驅(qū)動(dòng)的協(xié)同演進(jìn) |
| 6.3 實(shí)驗(yàn)設(shè)計(jì)與結(jié)果分析 |
| 6.3.1 實(shí)驗(yàn)設(shè)計(jì) |
| 6.3.2 實(shí)驗(yàn)結(jié)果與分析 |
| 6.4 有效性威脅 |
| 6.5 相關(guān)工作對(duì)比 |
| 6.6 本章小結(jié) |
| 第7章 總結(jié)與展望 |
| 7.1 總結(jié) |
| 7.2 展望 |
| 致謝 |
| 參考文獻(xiàn) |
| 作者簡介 |
（3）自動(dòng)化增材制造路徑規(guī)劃與算法研究（論文提綱范文）
| 摘要 |
| abstract |
| 第1章 緒論 |
| 1.1 課題研究背景 |
| 1.2 電弧增材制造技術(shù)研究與應(yīng)用 |
| 1.2.1 國內(nèi)外研究歷程 |
| 1.2.2 絲材電弧增材制造工藝優(yōu)勢 |
| 1.2.3 絲材電弧增材制造材料優(yōu)勢 |
| 1.2.4 絲材電弧增材制造能量優(yōu)勢 |
| 1.3 課題研究內(nèi)容及意義 |
| 1.4 自動(dòng)化增材制造現(xiàn)有挑戰(zhàn) |
| 1.5 論文研究內(nèi)容介紹 |
| 第2章 自動(dòng)化增材制造總體設(shè)計(jì) |
| 2.1 自動(dòng)化絲材電弧增材制造要求 |
| 2.2 自動(dòng)化絲材電弧增材制造過程 |
| 2.3 自動(dòng)化增材制造流程規(guī)劃 |
| 2.4 自動(dòng)化絲材增材制造硬件平臺(tái) |
| 2.5 自動(dòng)化絲材增材制造軟件設(shè)計(jì) |
| 2.6 本章小結(jié) |
| 第3章 人工神經(jīng)網(wǎng)絡(luò)焊道建模 |
| 3.1 焊道模型回顧 |
| 3.2 實(shí)驗(yàn)裝置 |
| 3.3 實(shí)驗(yàn)設(shè)計(jì) |
| 3.3.1 材料選擇 |
| 3.3.2 焊接參數(shù)選擇 |
| 3.3.3 焊道測量數(shù)據(jù) |
| 3.4 BP神經(jīng)網(wǎng)絡(luò)建立焊道模型 |
| 3.4.1 BP神經(jīng)網(wǎng)絡(luò)簡介 |
| 3.4.2 BP神經(jīng)網(wǎng)絡(luò)學(xué)習(xí) |
| 3.4.3 BP神經(jīng)網(wǎng)絡(luò)預(yù)測 |
| 3.4.4 BP神經(jīng)網(wǎng)絡(luò)參數(shù) |
| 3.5 BP神經(jīng)網(wǎng)絡(luò)的JAVA實(shí)現(xiàn) |
| 3.5.1 樣本數(shù)據(jù)獲取 |
| 3.5.2 java實(shí)現(xiàn) |
| 3.5.3 結(jié)果分析 |
| 3.6 仿真結(jié)果分析 |
| 3.6.1 焊接電流對(duì)焊道寬度和高度的影響 |
| 3.6.2 噴嘴高度對(duì)焊道寬度和高度的影響 |
| 3.6.3 焊接速度對(duì)焊道寬度和高度的影響 |
| 3.7 本章小結(jié) |
| 第4章 CAD模型切片 |
| 4.1 STL文件格式及讀取 |
| 4.2 等厚模型切片 |
| 4.3 自適應(yīng)模型切片 |
| 4.3.1 等厚切片階梯效應(yīng) |
| 4.3.2 多邊形面積計(jì)算 |
| 4.3.3 切片截面面積計(jì)算 |
| 4.3.4 基于面積差比率的自適應(yīng)切片 |
| 4.4 模型切片結(jié)果 |
| 4.5 本章小結(jié) |
| 第5章 沉積路徑規(guī)劃與后處理加工 |
| 5.1 現(xiàn)有路徑規(guī)劃方法 |
| 5.2 絲材電弧增材制造路徑規(guī)劃挑戰(zhàn) |
| 5.3 中軸路徑開發(fā) |
| 5.3.1 中軸定義 |
| 5.3.2 中軸計(jì)算 |
| 5.3.3 基于中軸偏移的路徑生成 |
| 5.4 后處理加工 |
| 5.4.1 頂部區(qū)域加工 |
| 5.4.2 側(cè)面區(qū)域加工 |
| 5.4.3 底部區(qū)域加工 |
| 5.5 機(jī)器人代碼生成 |
| 5.6 本章小結(jié) |
| 結(jié)論 |
| 參考文獻(xiàn) |
| 攻讀碩士學(xué)位期間發(fā)表的論文和取得的科研成果 |
| 致謝 |
（4）Java程序切片及其在代碼結(jié)構(gòu)恢復(fù)中的應(yīng)用（論文提綱范文）
| 摘要 |
| Abstract |
| 縮略詞表 |
| 第一章 緒論 |
| 1.1 研究背景與意義 |
| 1.2 國內(nèi)外研究現(xiàn)狀 |
| 1.2.1 面向?qū)ο笙到y(tǒng)逆向工程 |
| 1.2.2 切片技術(shù) |
| 1.2.3 面向?qū)ο笙到y(tǒng)依賴關(guān)系分析 |
| 1.2.4 代碼結(jié)構(gòu)恢復(fù)技術(shù) |
| 1.2.5 研究現(xiàn)狀分析 |
| 1.3 論文主要工作 |
| 1.4 論文章節(jié)安排 |
| 第二章 面向?qū)ο驤ava程序切片 |
| 2.1 面向?qū)ο蟪绦蚯衅嚓P(guān)概念 |
| 2.1.1 切片準(zhǔn)則與切片分類 |
| 2.1.2 切片計(jì)算方法 |
| 2.2 面向?qū)ο驤ava系統(tǒng)依賴圖的構(gòu)造過程及相關(guān)改進(jìn) |
| 2.2.1 過程內(nèi)依賴分析與過程內(nèi)依賴圖構(gòu)造 |
| 2.2.2 過程間依賴分析與方法級(jí)依賴圖構(gòu)造 |
| 2.2.3 系統(tǒng)依賴圖構(gòu)造 |
| 2.3 基于改進(jìn)系統(tǒng)依賴圖的切片算法 |
| 2.3.1 后向切片 |
| 2.3.2 前向切片 |
| 2.4 本章小結(jié) |
| 第三章 基于切片結(jié)果的代碼結(jié)構(gòu)恢復(fù) |
| 3.1 代碼結(jié)構(gòu)恢復(fù)背景與理論基礎(chǔ) |
| 3.1.1 恢復(fù)技術(shù)背景 |
| 3.1.2 代碼結(jié)構(gòu)恢復(fù)策略與流程 |
| 3.2 基于程序切片的代碼結(jié)構(gòu)恢復(fù)方法 |
| 3.2.1 聚類粒度選取 |
| 3.2.2 切片準(zhǔn)則選取與切片集篩選 |
| 3.2.3 基于聚類成本的聚類計(jì)算方法 |
| 3.3 本章小結(jié) |
| 第四章 工具設(shè)計(jì)與實(shí)現(xiàn) |
| 4.1 JavaSlicer設(shè)計(jì)與實(shí)現(xiàn) |
| 4.1.1 功能需求與概要設(shè)計(jì) |
| 4.1.2 功能模塊詳細(xì)設(shè)計(jì)與實(shí)現(xiàn) |
| 4.2 CSRTool設(shè)計(jì)與實(shí)現(xiàn) |
| 4.2.1 功能需求與概要設(shè)計(jì) |
| 4.2.2 功能模塊詳細(xì)設(shè)計(jì)與實(shí)現(xiàn) |
| 4.3 本章小結(jié) |
| 第五章 實(shí)驗(yàn)與分析 |
| 5.1 實(shí)驗(yàn)?zāi)康呐c實(shí)驗(yàn)環(huán)境 |
| 5.2 實(shí)驗(yàn)案例 |
| 5.3 實(shí)驗(yàn)內(nèi)容 |
| 5.3.1 實(shí)驗(yàn)一: SDG構(gòu)造與切片準(zhǔn)確性實(shí)驗(yàn) |
| 5.3.2 實(shí)驗(yàn)二: 大規(guī)模Java程序SDG構(gòu)造與切片實(shí)驗(yàn) |
| 5.3.3 實(shí)驗(yàn)三: 代碼結(jié)構(gòu)恢復(fù)實(shí)驗(yàn)與結(jié)果評(píng)估 |
| 5.4 本章小結(jié) |
| 第六章 總結(jié)與展望 |
| 6.1 總結(jié) |
| 6.2 展望 |
| 致謝 |
| 參考文獻(xiàn) |
| 作者簡介 |
（5）自動(dòng)故障受理軟件的設(shè)計(jì)與實(shí)現(xiàn)（論文提綱范文）
| 摘要 |
| ABSTRACTS |
| 目錄 |
| 圖目錄 |
| 第一章 緒論 |
| 1.1 課題的研究背景及目的 |
| 1.2 課題的主要研究工作 |
| 1.3 論文結(jié)構(gòu) |
| 第二章 針對(duì)客服體系的ITSM幫助臺(tái)實(shí)施策略 |
| 2.1 ITIL相關(guān)介紹 |
| 2.2 當(dāng)前主流客服流程 |
| 2.2.1 電話呼叫中心 |
| 2.2.2 在線客服 |
| 2.3 改進(jìn)的IT服務(wù)管理實(shí)施策略 |
| 2.4 小結(jié) |
| 第三章 財(cái)務(wù)稽核系統(tǒng)概述 |
| 3.1 財(cái)務(wù)稽核系統(tǒng)背景 |
| 3.2 財(cái)務(wù)稽核系統(tǒng)模塊結(jié)構(gòu) |
| 3.3 財(cái)務(wù)稽核系統(tǒng)主要功能介紹 |
| 3.4 財(cái)務(wù)稽核系統(tǒng)運(yùn)維流程及常見故障總結(jié) |
| 2.4.1 系統(tǒng)維護(hù)內(nèi)容 |
| 2.4.2 系統(tǒng)故障總結(jié) |
| 3.5 小結(jié) |
| 第四章 Web軟件的自動(dòng)理解與分析 |
| 4.1 依賴性分析 |
| 4.1.1 程序流圖 |
| 4.1.2 控制依賴 |
| 4.1.3 數(shù)據(jù)依賴 |
| 4.1.4 程序依賴圖 |
| 4.1.5 系統(tǒng)依賴圖 |
| 4.2 程序切片 |
| 4.2.1 切片技術(shù)的分類 |
| 4.2.2 現(xiàn)有切片的不足 |
| 4.3 WEB軟件的程序分析策略 |
| 4.3.1 Web應(yīng)用的特點(diǎn) |
| 4.3.2 Web應(yīng)用的粗粒度分析策略 |
| 4.3.3 Web應(yīng)用的細(xì)粒度分析策略 |
| 4.4 小結(jié) |
| 第五章 故障診斷設(shè)計(jì) |
| 5.1 粗診斷過程 |
| 5.1.1 全局系統(tǒng)依賴圖展示 |
| 5.2 細(xì)診斷過程 |
| 5.2.1 類級(jí)依賴圖展示 |
| 5.3 可疑代碼定位 |
| 5.4 故障診斷的結(jié)構(gòu)設(shè)計(jì) |
| 5.4.1 映射分析器 |
| 5.4.2 文本分析器 |
| 5.4.3 依賴圖產(chǎn)生器 |
| 5.4.4 路徑分析器 |
| 5.4.5 診斷跟蹤器 |
| 5.5 小結(jié) |
| 第六章 自動(dòng)故障受理軟件的設(shè)計(jì)與實(shí)現(xiàn) |
| 6.1 軟件概述 |
| 6.1.1 軟件建設(shè)目標(biāo)與特點(diǎn) |
| 6.1.2 軟件使用范圍及運(yùn)行環(huán)境 |
| 6.2 軟件總體架構(gòu)及模塊結(jié)構(gòu) |
| 6.3 詳細(xì)功能設(shè)計(jì) |
| 6.3.1 具體功能分析 |
| 6.3.2 主要流程邏輯 |
| 6.3.3 關(guān)鍵技術(shù)與實(shí)現(xiàn)難點(diǎn) |
| 6.4 數(shù)據(jù)庫設(shè)計(jì) |
| 6.5 實(shí)驗(yàn)結(jié)果分析與驗(yàn)證 |
| 6.5.1 數(shù)據(jù)類故障實(shí)驗(yàn) |
| 6.5.2 流程類故障實(shí)驗(yàn) |
| 6.5.3 填報(bào)類故障實(shí)驗(yàn) |
| 6.5.4 實(shí)驗(yàn)結(jié)果總結(jié) |
| 6.6 小結(jié) |
| 第七章 結(jié)束語 |
| 7.1 總結(jié) |
| 7.2 下一步工作 |
| 參考文獻(xiàn) |
| 致謝 |
| 研究生階段發(fā)表的論文 |
（6）基于混淆和水印的Java字節(jié)碼安全技術(shù)的研究（論文提綱范文）
| 摘要 |
| ABSTRACT |
| 第一章 緒論 |
| 1.1 研究的背景 |
| 1.2 混淆技術(shù)的研究現(xiàn)狀 |
| 1.3 軟件水印技術(shù)的研究現(xiàn)狀 |
| 1.4 Java 字節(jié)碼安全技術(shù)的研究現(xiàn)狀 |
| 1.5 研究的設(shè)想和預(yù)期結(jié)果 |
| 1.6 本文結(jié)構(gòu)及章節(jié)安排 |
| 第二章 Java 字節(jié)碼 |
| 2.1 Java 字節(jié)碼指令 |
| 2.2 Java 字節(jié)碼的驗(yàn)證 |
| 2.3 Java 字節(jié)碼的反編譯 |
| 2.4 Java class 文件的盜版 |
| 2.5 一種新的 Java 保護(hù)模型 |
| 本章小結(jié) |
| 第三章 代碼混淆技術(shù) |
| 3.1 混淆變換的定義 |
| 3.2 混淆變換的分類 |
| 3.3 混淆變換的評(píng)價(jià) |
| 3.3.1 力度 |
| 3.3.2 抵抗力 |
| 3.3.3 執(zhí)行代價(jià) |
| 3.3.4 質(zhì)量 |
| 3.4 布局混淆 |
| 3.5 數(shù)據(jù)混淆 |
| 3.5.1 抽象數(shù)據(jù)類型的混淆 |
| 3.5.2 簡單數(shù)據(jù)類型的混淆 |
| 3.6 控制流混淆 |
| 3.6.1 摧毀基本塊混淆 |
| 3.6.2 取代goto 混淆 |
| 3.6.3 交叉loop 循換 |
| 3.7 預(yù)防性混淆 |
| 本章小結(jié) |
| 第四章 逆向工程技術(shù)-程序切片 |
| 4.1 程序切片的概念 |
| 4.2 程序切片的分類 |
| 4.3 Java 程序的依賴 |
| 4.4 Java 程序切片 |
| 4.4.1 分層切片 |
| 4.4.2 方法內(nèi)切片 |
| 4.5 程序切片構(gòu)成的威脅 |
| 4.6 抵抗程序切片的混淆策略 |
| 本章小結(jié) |
| 第五章 水印算法 |
| 5.1 水印的概述 |
| 5.1.1 水印的類別 |
| 5.1.2 水印需要滿足的要求 |
| 5.1.3 靜態(tài)代碼水印遭受的攻擊 |
| 5.2 水印算法描述 |
| 5.2.1 水印的嵌入 |
| 5.2.2 水印的提取 |
| 5.3 水印算法的缺點(diǎn) |
| 本章小結(jié) |
| 第六章 系統(tǒng)設(shè)計(jì)與實(shí)現(xiàn) |
| 6.1 JOCOW 的設(shè)計(jì) |
| 6.1.1 JOCOW 用戶接口 |
| 6.1.2 JOCOW 的系統(tǒng)結(jié)構(gòu) |
| 6.2 類文件的解析 |
| 6.2.1 classFile 結(jié)構(gòu) |
| 6.2.2 讀取類文件 |
| 6.3 算法實(shí)現(xiàn) |
| 6.3.1 詞法轉(zhuǎn)換算法 |
| 6.3.2 類拆分算法 |
| 6.3.3 類型隱藏算法 |
| 6.3.4 類的假重構(gòu)算法 |
| 6.3.5 控制破壞混淆算法 |
| 6.3.6 嵌入水印算法 |
| 6.3.7 JOCOW 的實(shí)現(xiàn)算法 |
| 6.4 保護(hù)策略的制定 |
| 本章小結(jié) |
| 第七章 評(píng)價(jià)與比較 |
| 7.1 混淆轉(zhuǎn)換的正確性評(píng)價(jià) |
| 7.2 嵌入水印的正確性評(píng)價(jià) |
| 7.3 混淆轉(zhuǎn)換的質(zhì)量評(píng)價(jià) |
| 7.4 水印算法的質(zhì)量評(píng)價(jià) |
| 7.5 Java 保護(hù)工具的比較 |
| 本章小結(jié) |
| 結(jié)論 |
| 參考文獻(xiàn) |
| 攻讀碩士學(xué)位期間發(fā)表的學(xué)術(shù)論文 |
| 致謝 |
（7）面向?qū)ο筌浖奶卣鞫ㄎ患夹g(shù)研究（論文提綱范文）
| 摘要 |
| ABSTRACT |
| 第一章 緒論 |
| 1.1 課題研究的背景和意義 |
| 1.2 研究內(nèi)容和成果 |
| 1.3 論文結(jié)構(gòu) |
| 第二章 軟件特征定位技術(shù)研究現(xiàn)狀 |
| 2.1 程序理解技術(shù)的發(fā)展過程 |
| 2.2 特征定位技術(shù) |
| 2.3 基于程序靜態(tài)結(jié)構(gòu)的特征定位技術(shù) |
| 2.3.1 基于抽象系統(tǒng)依賴圖的方法 |
| 2.3.2 借鑒地圖信息可視化技術(shù)的方法 |
| 2.3.3 關(guān)注圖方法 |
| 2.3.4 概念分配方法 |
| 2.4 基于程序動(dòng)態(tài)結(jié)構(gòu)的特征定位技術(shù) |
| 2.4.1 軟件搜索方法 |
| 2.4.2 基于動(dòng)態(tài)執(zhí)行切片的方法 |
| 2.4.3 基于形式化概念分析的方法 |
| 第三章 面向?qū)ο筌浖木C合特征定位方法IAFLO |
| 3.1 IAFLO方法的提出 |
| 3.2 IAFLO方法概要介紹 |
| 3.3 IAFLO方法的實(shí)施過程 |
| 3.3.1 特征獲取階段 |
| 3.3.2 類級(jí)別定位階段 |
| 3.3.3 類級(jí)別精化階段 |
| 3.3.4 語句級(jí)定位階段 |
| 3.4 IAFLO方法的小結(jié) |
| 第四章 IAFLO方法中的關(guān)鍵技術(shù)研究 |
| 4.1 基于軟件搜索的類級(jí)特征定位 |
| 4.2 基于關(guān)注圖理解的方法級(jí)特征定位 |
| 4.2.1 關(guān)注圖理解技術(shù)概述 |
| 4.2.2 關(guān)注圖的表示 |
| 4.2.3 關(guān)注圖中的方法模型 |
| 4.2.4 尋找分層切片的準(zhǔn)則 |
| 4.3 基于分層切片的語句級(jí)特征定位 |
| 4.3.1 面向?qū)ο蠓謱忧衅椒?/td> |
| 4.3.2 分層切片方法思想 |
| 4.3.3 逐步求精算法 |
| 4.3.4 分層切片方法模型 |
| 第五章 面向?qū)ο筌浖卣鞫ㄎ恢С止ぞ咴偷脑O(shè)計(jì)實(shí)現(xiàn) |
| 5.1 引言 |
| 5.2 功能需求 |
| 5.3 體系結(jié)構(gòu) |
| 5.4 開發(fā)環(huán)境介紹 |
| 5.4.1 Java語言介紹 |
| 5.4.2 Eclipse與插件開發(fā)技術(shù) |
| 5.5 核心模塊介紹 |
| 5.5.1 軟件搜索模塊 |
| 5.5.2 關(guān)注圖模塊 |
| 5.5.3 分層切片模塊 |
| 5.6 應(yīng)用實(shí)例 |
| 第六章 結(jié)束語 |
| 6.1 本文工作總結(jié) |
| 6.2 進(jìn)一步工作設(shè)想 |
| 致謝 |
| 參考文獻(xiàn) |
| 作者在攻讀碩士學(xué)位期間論文發(fā)表情況 |
| 附錄A 應(yīng)用實(shí)例代碼 |
（8）Java程序分層及概率依賴性分析（論文提綱范文）
| 摘要 |
| Abstract |
| 第一章 引言 |
| 1.1 選題依據(jù) |
| 1.2 研究歷程與現(xiàn)狀 |
| 1.3 研究內(nèi)容 |
| 1.4 論文結(jié)構(gòu) |
| 第二章 依賴性分析的基礎(chǔ)理論 |
| 2.1 依賴性分析的基本概念 |
| 2.1.1 程序流圖 |
| 2.1.2 控制依賴 |
| 2.1.3 數(shù)據(jù)依賴 |
| 2.1.4 程序依賴圖 |
| 2.1.5 系統(tǒng)依賴圖 |
| 2.2 程序切片 |
| 2.2.1 切片技術(shù)的分類 |
| 2.2.2 現(xiàn)有切片的不足 |
| 2.3 本章小結(jié) |
| 第三章 Java 分層及概率依賴性分析 |
| 3.1 面向?qū)ο蟪绦蛞蕾囆苑治?/td> |
| 3.1.1 程序開發(fā)技術(shù)發(fā)展簡介 |
| 3.1.2 面向?qū)ο蟪绦虻奶攸c(diǎn) |
| 3.1.3 面向?qū)ο蟪绦蛞蕾囆苑治霾呗?/td> |
| 3.2 Java 分層依賴性分析 |
| 3.2.1 層次模型 |
| 3.2.2 包間依賴性分析 |
| 3.2.3 類間依賴性分析 |
| 3.2.4 方法間依賴性分析 |
| 3.2.5 語句間依賴性分析 |
| 3.3 Java 概率依賴性分析 |
| 3.3.1 方法內(nèi)概率依賴分析 |
| 3.3.2 方法間概率依賴分析 |
| 3.3.3 引入依賴 |
| 3.4 本章小結(jié) |
| 第四章 分層及概率依賴性分析的應(yīng)用 |
| 4.1 軟件重構(gòu) |
| 4.2 類內(nèi)聚度缺乏度量 |
| 4.3 軟件測試與程序理解 |
| 4.4 本章小結(jié) |
| 第五章 系統(tǒng)設(shè)計(jì)與實(shí)現(xiàn) |
| 5.1 系統(tǒng)設(shè)計(jì)思想 |
| 5.2 系統(tǒng)總體結(jié)構(gòu) |
| 5.3 系統(tǒng)詳細(xì)設(shè)計(jì) |
| 5.3.1 主要數(shù)據(jù)結(jié)構(gòu) |
| 5.3.2 依賴性分析算法 |
| 5.4 本章小結(jié) |
| 第六章 總結(jié) |
| 致謝 |
| 參考文獻(xiàn) |
（9）依賴性分析及其在軟件測試中的應(yīng)用（論文提綱范文）
| 摘要 |
| ABSTRACT |
| 插圖索引 |
| 第1章 緒論 |
| 1.1 研究背景 |
| 1.2 國內(nèi)外研究現(xiàn)狀 |
| 1.3 本文的研究內(nèi)容 |
| 第2章 依賴性分析和程序切片 |
| 2.1 引言 |
| 2.2 數(shù)據(jù)依賴和控制依賴 |
| 2.3 流分析和程序切片 |
| 2.4 依賴圖和程序切片 |
| 2.5 小結(jié) |
| 第3章 基于依賴性分析對(duì)非定態(tài)路徑的變換 |
| 3.1 引言 |
| 3.2 基本概念 |
| 3.3 非定態(tài)路徑測試問題的研究 |
| 3.4 轉(zhuǎn)換算法 |
| 3.5 舉例 |
| 3.6 小結(jié) |
| 第4章 基于依賴性分析的回歸測試 |
| 4.1 引言 |
| 4.2 基本概念 |
| 4.3 調(diào)用點(diǎn)分離類型分析(STA) |
| 4.4 構(gòu)造面向?qū)ο蟪绦虻恼{(diào)用關(guān)系 |
| 4.5 回歸測試策略與程序修改分析 |
| 4.6 回歸測試策略 |
| 4.7 小結(jié) |
| 第5章 擴(kuò)展有限狀態(tài)機(jī)的依賴性分析 |
| 5.1 引言 |
| 5.2 背景知識(shí)和現(xiàn)有算法的問題 |
| 5.3 EFSM 中的依賴關(guān)系的傳遞性 |
| 5.4 依賴傳遞函數(shù) |
| 5.5 EFSM 的后向切片算法 |
| 5.6 小結(jié) |
| 第6章 考慮互斥機(jī)制的并發(fā)程序切片 |
| 6.1 引言 |
| 6.2 基本概念 |
| 6.3 互斥機(jī)制對(duì)切片的影響 |
| 6.4 切片算法 |
| 6.5 小結(jié) |
| 第7章 并發(fā)過程間程序分析的不可判定問題 |
| 7.1 引言 |
| 7.2 過程間并發(fā)程序模型 |
| 7.3 利用反射的思想構(gòu)造并發(fā)過程間程序分析的PCP 問題實(shí)例 |
| 7.4 導(dǎo)致不可判定的因素 |
| 7.5 小結(jié) |
| 第8章 JAVA 程序分析平臺(tái)的設(shè)計(jì)與實(shí)現(xiàn) |
| 8.1 引言 |
| 8.2 8.2 JAVACC 和JTB 工具簡介 |
| 8.3 系統(tǒng)框架 |
| 8.4 系統(tǒng)的實(shí)現(xiàn) |
| 8.5 程序界面及執(zhí)行效果示意圖 |
| 8.6 小結(jié) |
| 結(jié)論 |
| 參考文獻(xiàn) |
| 致謝 |
| 附錄 A 攻讀學(xué)位期間發(fā)表的論文和參加的項(xiàng)目 |
| 攻讀學(xué)位期間發(fā)表的論文 |
| 攻讀學(xué)位期間參加的項(xiàng)目 |
（10）包含異常處理的Java程序切片研究（論文提綱范文）
| 摘要 |
| ABSTACT |
| 插圖索引 |
| 第1章 緒論 |
| 1.1 研究背景 |
| 1.1.1 程序切片 |
| 1.1.2 程序切片技術(shù)發(fā)展史 |
| 1.1.3 包含異常處理的 Java程序切片 |
| 1.2 程序切片技術(shù)的研究現(xiàn)狀 |
| 1.2.1 當(dāng)前研究中的問題 |
| 1.2.2 國內(nèi)的研究 |
| 1.2.3 國外項(xiàng)目 |
| 1.3 本課題的研究內(nèi)容 |
| 第2章 Java系統(tǒng)依賴圖 |
| 2.1 Java語言的面向?qū)ο筇匦?/td> |
| 2.1.1 封裝性 |
| 2.1.2 繼承性 |
| 2.1.3 多態(tài)性和動(dòng)態(tài)綁定 |
| 2.2 Java系統(tǒng)依賴圖的基本組成模型 |
| 2.3 Java系統(tǒng)依賴圖的基本語法語義 |
| 2.3.1 結(jié)點(diǎn) |
| 2.3.2 邊 |
| 2.4 基本問題的解決策略 |
| 2.4.1 程序預(yù)處理 |
| 2.4.2 結(jié)點(diǎn) |
| 2.4.3 方法依賴圖 |
| 2.4.4 類依賴圖 |
| 第3章 視為方法策略處理異常結(jié)構(gòu) |
| 3.1 Java的異常處理機(jī)制 |
| 3.1.1 使用try/catch/finally |
| 3.1.2 拋出異常 |
| 3.1.3 異常的類型 |
| 3.1.4 處理多個(gè)異常 |
| 3.2 異常處理結(jié)構(gòu)對(duì)系統(tǒng)依賴圖的的影響 |
| 3.2.1 自然數(shù)程序 |
| 3.2.2 異常對(duì)控制流分析的影響 |
| 3.2.3 異常對(duì)數(shù)據(jù)流的影響 |
| 3.2.4 異常對(duì)控制依賴的影響 |
| 3.3 異常結(jié)構(gòu)的處理策略 |
| 3.3.1 數(shù)據(jù)流的處理 |
| 3.3.2 控制流的處理 |
| 3.4 小結(jié) |
| 第4章 增加結(jié)點(diǎn)策略及主要算法 |
| 4.1 TTAM策略中的問題 |
| 4.2 AREN方法處理異常結(jié)構(gòu) |
| 4.2.1 拋出異常方法的處理 |
| 4.2.2 拋出異常調(diào)用點(diǎn)的處理 |
| 4.2.3 拋出異常的調(diào)用方法的處理 |
| 4.3 系統(tǒng)依賴圖的構(gòu)造及主要算法 |
| 4.3.1 系統(tǒng)依賴圖的構(gòu)造步驟 |
| 4.3.2 方法內(nèi)語句結(jié)點(diǎn)信息的存儲(chǔ)關(guān)系 |
| 4.3.3 方法依賴圖(MDG)的構(gòu)造 |
| 4.4 切片算法 |
| 4.5 相關(guān)工作 |
| 4.6 小結(jié) |
| 第5章 Java程序切片系統(tǒng)設(shè)計(jì)與實(shí)現(xiàn) |
| 5.1 JTB工具簡介 |
| 5.1.1 關(guān)于 JTB |
| 5.1.2 產(chǎn)生的文件 |
| 5.1.3 自動(dòng)產(chǎn)生的類 |
| 5.2 系統(tǒng)的設(shè)計(jì) |
| 5.2.1 系統(tǒng)框架 |
| 5.2.2 功能模塊 |
| 5.3 系統(tǒng)的實(shí)現(xiàn) |
| 5.3.1 文件管理模塊的實(shí)現(xiàn) |
| 5.3.2 詞法語法分析模塊實(shí)現(xiàn) |
| 5.3.3 信息存儲(chǔ)模塊實(shí)現(xiàn) |
| 5.3.4 類層次模塊圖構(gòu)造模塊的實(shí)現(xiàn) |
| 5.3.5 方法調(diào)用圖構(gòu)造模塊的實(shí)現(xiàn) |
| 5.3.6 方法控制流圖構(gòu)造模塊的實(shí)現(xiàn) |
| 5.3.7 方法控制依賴圖構(gòu)造的實(shí)現(xiàn) |
| 5.3.8 方法內(nèi)數(shù)據(jù)流圖構(gòu)造模塊 |
| 5.3.9 方法間數(shù)據(jù)流圖的構(gòu)造 |
| 5.3.10 程序切片的實(shí)現(xiàn) |
| 結(jié)論 |
| 參考文獻(xiàn) |
| 致謝 |
| 附錄A攻讀學(xué)位期間發(fā)表的論文和參加的項(xiàng)目 |
| 附錄B Java源程序 |
| 附錄C 類層次圖 |
| 附錄D 方法調(diào)用圖 |
| 附錄E 方法控制流圖 |
| 附錄F 方法控制依賴圖 |
| 附錄G 方法依賴圖 |
四、一種基于Java程序分層模型的方法內(nèi)切片生成算法（論文參考文獻(xiàn)）
- [1]基于Web的多孔結(jié)構(gòu)3D打印路徑規(guī)劃[D]. 孫蕓. 華僑大學(xué), 2020(01)
- [2]軟件架構(gòu)可持續(xù)演進(jìn)性評(píng)估技術(shù)研究[D]. 王桐. 東南大學(xué), 2019(01)
- [3]自動(dòng)化增材制造路徑規(guī)劃與算法研究[D]. 劉吉. 哈爾濱工程大學(xué), 2019(01)
- [4]Java程序切片及其在代碼結(jié)構(gòu)恢復(fù)中的應(yīng)用[D]. 陳霽辰. 東南大學(xué), 2017(04)
- [5]自動(dòng)故障受理軟件的設(shè)計(jì)與實(shí)現(xiàn)[D]. 黃毅. 北京郵電大學(xué), 2009(04)
- [6]基于混淆和水印的Java字節(jié)碼安全技術(shù)的研究[D]. 戰(zhàn)曉娟. 大連交通大學(xué), 2008(06)
- [7]面向?qū)ο筌浖奶卣鞫ㄎ患夹g(shù)研究[D]. 許帥. 國防科學(xué)技術(shù)大學(xué), 2007(07)
- [8]Java程序分層及概率依賴性分析[D]. 余斌. 東南大學(xué), 2006(04)
- [9]依賴性分析及其在軟件測試中的應(yīng)用[D]. 繆力. 湖南大學(xué), 2006(12)
- [10]包含異常處理的Java程序切片研究[D]. 王鵬飛. 湖南大學(xué), 2005(07)
標(biāo)簽：應(yīng)用架構(gòu)論文; 關(guān)系模型論文; 軟件過程論文; 軟件論文; 重構(gòu)論文;