發(fā)布時(shí)間：2025-06-04 00:31

　　隨著計(jì)算機(jī)的應(yīng)用越來(lái)越廣泛,各行各業(yè)的人們都開(kāi)始接觸學(xué)習(xí)編程。在學(xué)習(xí)編程的過(guò)程中,人們會(huì)經(jīng)常使用在線的判題系統(tǒng)(Online Judge系統(tǒng),簡(jiǎn)稱OJ系統(tǒng))進(jìn)行編程練習(xí)。在編寫(xiě)程序的過(guò)程中,會(huì)遇到各種各樣的錯(cuò)誤和bug需要調(diào)試,這些錯(cuò)誤和bug通�？梢苑殖烧Z(yǔ)法錯(cuò)誤和語(yǔ)義錯(cuò)誤兩類。人們需要花費(fèi)大量的時(shí)間對(duì)代碼進(jìn)行調(diào)試,這對(duì)剛開(kāi)始學(xué)習(xí)編程的人來(lái)說(shuō)非常繁瑣和困難,尤其是條件表達(dá)式中存在的語(yǔ)義錯(cuò)誤,調(diào)試難度很高。然而目前的OJ系統(tǒng)并沒(méi)有進(jìn)行對(duì)應(yīng)的糾錯(cuò)與引導(dǎo)。近年來(lái),深度學(xué)習(xí)在自然語(yǔ)言處理、機(jī)器翻譯、語(yǔ)音識(shí)別、計(jì)算機(jī)視覺(jué)等各個(gè)領(lǐng)域都有了極好的成績(jī)與效果,這也為代碼的自動(dòng)修改與生成帶來(lái)了新的方法。因此,本論文基于深度學(xué)習(xí)的方法對(duì)代碼的條件表達(dá)式中存在的語(yǔ)義錯(cuò)誤糾錯(cuò)與修復(fù)進(jìn)行研究,主要的研究工作與創(chuàng)新成果如下:1.提出了一種基于注意力機(jī)制(Attention機(jī)制)深度神經(jīng)網(wǎng)絡(luò)模型的代碼語(yǔ)義錯(cuò)誤定位方法。我們的模型將使用了注意力機(jī)制的深度神經(jīng)網(wǎng)絡(luò)模型與指針網(wǎng)絡(luò)(Pointer Network)相結(jié)合,將條件表達(dá)式中存在語(yǔ)義錯(cuò)誤的代碼文本輸入模型之后,能夠得到錯(cuò)誤的行號(hào)與位置。經(jīng)過(guò)相關(guān)實(shí)驗(yàn)實(shí)驗(yàn),驗(yàn)證了該模...

【文章頁(yè)數(shù)】：72 頁(yè)

【學(xué)位級(jí)別】：碩士

【部分圖文】：

圖１．１：程序語(yǔ)義修復(fù)方法的流程［１］??目前主流的自動(dòng)程序修復(fù)方法主要有以下三種：基于搜索的方法、基于代??

?１．１．１傳統(tǒng)程序修復(fù)方法??傳統(tǒng)程序修復(fù)方法的主要流程如圖１．１所示，首先使用故障定位（ｆａｕｌｔ??ｌｏｃａｌｉｚａｔｉｏｎ）方法，給定算法規(guī)則，將存在ｂｕｇ的程序代碼中的每個(gè)語(yǔ)句進(jìn)行計(jì)??算，得到每個(gè)語(yǔ)句存在ｂｕｇ的概率，再根據(jù)概率進(jìn)行排序；然后把排序好的語(yǔ)??句，逐個(gè)輸....

圖１．２：?ｓｋ－ｐ算法流程??

２０１６年，ＹｅｗｅｎＰｕ等人［７］提出了?ｓｋ－ｐ模型，該模型使用了?ＤＤＳ?（數(shù)據(jù)驅(qū)??動(dòng)合成）模式，運(yùn)用了?ｓｋｉｐ－ｇｍｍ的處理方法，將代碼的前一行和后一行輸入到??Ｓｅｑ２Ｓｅｑ神經(jīng)網(wǎng)絡(luò)模型中，再根據(jù)分布輸出正確的代碼如圖１．２。這個(gè)模型能夠??同時(shí)修復(fù)語(yǔ)法錯(cuò)誤和語(yǔ)義錯(cuò)....

圖１．３：?ＳＳＣ模型結(jié)構(gòu)??

圖１．３：?ＳＳＣ模型結(jié)構(gòu)??２０１８年，Ｓｕｍｉｔ?Ｇｕｌｗａｎｉ等人［８］將聚類算法與自動(dòng)修復(fù)算法相結(jié)合的方法??來(lái)進(jìn)行程序語(yǔ)義錯(cuò)誤自動(dòng)修復(fù)，如圖１．４。他們首先使用聚類算法，將Ｍｏｏｃ上??正確的代碼樣本分類，之后判斷錯(cuò)誤代碼屬于哪一類，再使用修復(fù)算法產(chǎn)生一??個(gè)本地修復(fù)方....

圖１．４：聚類再修復(fù)算法流程圖??

（ＡＳＴ?Ｅｎｃｏｄｅｒ?Ｂｉ－ＬＳＴＭ?＾?Ｓｈａｒｅ??代碼生成的ＡＳＴ樹(shù)??圖１．３：?ＳＳＣ模型結(jié)構(gòu)??２０１８年，Ｓｕｍｉｔ?Ｇｕｌｗａｎｉ等人［８］將聚類算法與自動(dòng)修復(fù)算法相結(jié)合的方法??來(lái)進(jìn)行程序語(yǔ)義錯(cuò)誤自動(dòng)修復(fù)，如圖１．４。他們首先使用聚類算法，將Ｍｏｏｃ上??正....

本文編號(hào)：4049047