本文選題：并發(fā)動(dòng)態(tài)切片　切入點(diǎn)：程序切片譜　出處：《東南大學(xué)》2017年碩士論文

【摘要】：Java語言是一門簡單的、面向?qū)ο蟮摹⒎植际降�、健壯安全的、平臺(tái)獨(dú)立的、可移植性強(qiáng)的、支持多線程的、動(dòng)態(tài)的程序設(shè)計(jì)語言。在軟件開發(fā)中,并發(fā)Java程序扮演著越來越重要的角色,原因主要有兩個(gè):一方面Java的卓越特性使得它在各個(gè)領(lǐng)域獲得廣泛的應(yīng)用,另一方面當(dāng)處理要求高性能的任務(wù)時(shí),常常需要使用Java的多線程特性。在軟件開發(fā)中,開發(fā)者把大量的時(shí)間和精力花費(fèi)在定位軟件故障中,而程序切片技術(shù)作為一種程序分解技術(shù),在故障定位領(lǐng)域發(fā)揮著不可低估的作用。目前有關(guān)對并發(fā)Java程序的軟件故障定位技術(shù)的研究較少。本文首先提出一種針對并發(fā)Java程序的動(dòng)態(tài)切片技術(shù),然后提出基于并發(fā)Java程序切片的軟件故障定位技術(shù)。針對并發(fā)Java程序的動(dòng)態(tài)切片技術(shù),第一步是構(gòu)建并發(fā)Java程序相關(guān)的依賴圖,第二步是結(jié)合運(yùn)行軌跡信息構(gòu)建包含動(dòng)態(tài)信息的標(biāo)記依賴圖,第三步在標(biāo)記依賴圖上運(yùn)行并發(fā)動(dòng)態(tài)切片算法,實(shí)現(xiàn)對并發(fā)Java程序的動(dòng)態(tài)切片。基于并發(fā)Java程序切片的軟件故障定位技術(shù),第一步利用并發(fā)Java程序的動(dòng)態(tài)后向切片構(gòu)建切片譜,第二步是在切片譜上利用并發(fā)Java程序的動(dòng)態(tài)前向切片進(jìn)行變量感染分析,完成對并發(fā)Java程序的故障定位。最后本文通過對開源軟件的實(shí)驗(yàn),驗(yàn)證本文提出的故障定位技術(shù)的有效性。
[Abstract]:Java is a simple, object-oriented, distributed, robust, secure, platform-independent, portable, multi-threaded, dynamic programming language.In software development, concurrent Java programs play a more and more important role for two main reasons: on the one hand, the outstanding features of Java make it widely used in various fields, on the other hand, when dealing with tasks requiring high performance,You often need to use Java's multithreading feature.In software development, developers spend a lot of time and energy on locating software faults, and program slicing technology, as a kind of program decomposition technology, plays an important role in fault location field.At present, there are few researches on software fault location of concurrent Java programs.This paper first presents a dynamic slicing technique for concurrent Java programs, and then proposes a software fault location technique based on concurrent Java program slicing.In view of the dynamic slicing technology of concurrent Java programs, the first step is to construct the dependent graph of concurrent Java programs, and the second step is to construct the tag dependency graph containing dynamic information by combining the running path information.In the third step, the parallel dynamic slicing algorithm is run on the label dependency graph to realize the dynamic slicing of concurrent Java programs.Based on the software fault location technology of concurrent Java program slicing, the first step is to use the dynamic backward slice of concurrent Java program to construct the slice spectrum, the second step is to use the dynamic forward slice of concurrent Java program to analyze the infection of variables on the slice spectrum.Complete the fault location of concurrent Java program.Finally, through the experiment of open source software, the effectiveness of fault location technology proposed in this paper is verified.
【學(xué)位授予單位】：東南大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2017
【分類號】：TP311.5;TP312.2

【參考文獻(xiàn)】

相關(guān)期刊論文 前8條

1 王蘇蘇;;一種基于動(dòng)態(tài)并發(fā)切片的錯(cuò)誤定位技術(shù)[J];寧波職業(yè)技術(shù)學(xué)院學(xué)報(bào);2014年06期

2 江聯(lián);黃海亮;周曉聰;王欣明;李文軍;;基于變量感染分析的軟件錯(cuò)誤定位技術(shù)[J];計(jì)算機(jī)科學(xué)與探索;2014年08期

3 文萬志;李必信;孫小兵;劉翠翠;;一種基于層次切片譜的軟件錯(cuò)誤定位技術(shù)[J];軟件學(xué)報(bào);2013年05期

4 文萬志;李必信;孫小兵;齊珊珊;;基于條件執(zhí)行切片譜的多錯(cuò)誤定位[J];計(jì)算機(jī)研究與發(fā)展;2013年05期

5 高傳平;談利群;宮云戰(zhàn);;基于抽象語法樹的代碼靜態(tài)自動(dòng)測試方法研究[J];北京化工大學(xué)學(xué)報(bào)(自然科學(xué)版);2007年S1期

6 王雪蓮,趙瑞蓮,李立健;一種用于測試數(shù)據(jù)生成的動(dòng)態(tài)程序切片算法[J];計(jì)算機(jī)應(yīng)用;2005年06期

7 石峰,劉堅(jiān);一種解析GCC抽象語法樹的方法[J];計(jì)算機(jī)應(yīng)用;2004年03期

8 牛家浩,黃志球,張靜,劉佳;基于抽象語法樹的軟件度量工具的設(shè)計(jì)與實(shí)現(xiàn)[J];計(jì)算機(jī)應(yīng)用;2003年10期

，

本文編號：1705513