恭喜江蘇商貿(mào)職業(yè)學(xué)院王妍獲國家專利權(quán)
買專利賣專利找龍圖騰,真高效! 查專利查商標用IPTOP,全免費!專利年費監(jiān)控用IP管家,真方便!
龍圖騰網(wǎng)恭喜江蘇商貿(mào)職業(yè)學(xué)院申請的專利一種基于機器學(xué)習(xí)的程序自動修復(fù)方法及系統(tǒng)獲國家發(fā)明授權(quán)專利權(quán),本發(fā)明授權(quán)專利權(quán)由國家知識產(chǎn)權(quán)局授予,授權(quán)公告號為:CN118964078B 。
龍圖騰網(wǎng)通過國家知識產(chǎn)權(quán)局官網(wǎng)在2025-04-04發(fā)布的發(fā)明授權(quán)授權(quán)公告中獲悉:該發(fā)明授權(quán)的專利申請?zhí)?專利號為:202411037958.8,技術(shù)領(lǐng)域涉及:G06F11/07;該發(fā)明授權(quán)一種基于機器學(xué)習(xí)的程序自動修復(fù)方法及系統(tǒng)是由王妍;蔡艷婧;孫克爭;高小虎;張文東;施亮設(shè)計研發(fā)完成,并于2024-07-31向國家知識產(chǎn)權(quán)局提交的專利申請。
本一種基于機器學(xué)習(xí)的程序自動修復(fù)方法及系統(tǒng)在說明書摘要公布了:本發(fā)明涉及自動程序修復(fù)技術(shù)領(lǐng)域,具體地說,涉及一種基于機器學(xué)習(xí)的程序自動修復(fù)方法及系統(tǒng),包括收集缺陷代碼樣本,根據(jù)已知空指針問題中相關(guān)特征和對應(yīng)的修復(fù)補丁確定反饋訓(xùn)練集,通過反饋訓(xùn)練集對神經(jīng)網(wǎng)絡(luò)模型進行訓(xùn)練,并根據(jù)分析結(jié)果調(diào)取修復(fù)補丁檢驗不通過的補丁,重新制定新的修復(fù)補丁并標記補丁內(nèi)容,新的修復(fù)補丁反饋至訓(xùn)練集。本發(fā)明通過收集缺陷代碼樣本,得出產(chǎn)生空指針問題的原因并進行分類,對空指針問題建立對應(yīng)的修復(fù)補丁,通過確定反饋訓(xùn)練集對神經(jīng)網(wǎng)絡(luò)模型進行訓(xùn)練,通過對待修復(fù)程序代碼實時分析獲取空指針問題類型,并調(diào)取修復(fù)補丁,通過對程序中產(chǎn)生的空指針問題進行自動修復(fù),提高了程序修復(fù)效率。
本發(fā)明授權(quán)一種基于機器學(xué)習(xí)的程序自動修復(fù)方法及系統(tǒng)在權(quán)利要求書中公布了:1.一種基于機器學(xué)習(xí)的程序自動修復(fù)系統(tǒng),其特征在于:包括代碼收集分類單元100、特征提取單元200、自動修復(fù)單元300、檢驗反饋單元400、運行監(jiān)測單元500;所述代碼收集分類單元100用于收集缺陷代碼樣本,標注出缺陷代碼樣本所有的空指針問題并進行分類,其中,空指針問題,包括:未初始化的指針:指針變量聲明后未被初始化,導(dǎo)致在使用該指針前沒有有效的賦值操作,導(dǎo)致指針包含隨機值或垃圾值,從而引發(fā)空指針問題;NULL指針解引用:在某些情況下,指針被明確賦值為NULL,并且在后續(xù)代碼中對其進行解引用操作,由于NULL表示指針未指向任何有效的內(nèi)存地址,解引用操作導(dǎo)致空指針問題;釋放后未置為NULL:指針指向的內(nèi)存被釋放后,卻沒有將該指針置為NULL,導(dǎo)致在之后的代碼中繼續(xù)使用該指針而引發(fā)空指針問題;缺乏指針有效性檢查:在使用指針時缺乏適當?shù)挠行詸z查,沒有判斷指針是否為NULL,這樣的代碼中,在指針為空的情況下執(zhí)行操作會導(dǎo)致空指針問題;指針賦值時丟失原有指針:在將一個指針賦值給另一個指針時,沒有妥善地處理原有指針的資源釋放或置為空操作,從而導(dǎo)致指針的懸空問題;所述特征提取單元200用于提取空指針問題中相關(guān)特征,針對問題特征建立對應(yīng)的修復(fù)補丁;所述自動修復(fù)單元300用于根據(jù)已知空指針問題中相關(guān)特征和對應(yīng)的修復(fù)補丁確定反饋訓(xùn)練集,通過反饋訓(xùn)練集對神經(jīng)網(wǎng)絡(luò)模型進行訓(xùn)練,對待修復(fù)程序代碼實時分析獲取空指針問題類型,并根據(jù)分析結(jié)果調(diào)取修復(fù)補丁;所述檢驗反饋單元400用于檢驗自動修復(fù)單元300中調(diào)取的修復(fù)補丁進行檢驗,對于檢驗不通過的補丁,重新制定新的修復(fù)補丁并標記補丁內(nèi)容,新的修復(fù)補丁反饋至訓(xùn)練集;所述運行監(jiān)測單元500用于采用自動化腳本對模型進行部署,并定期收集和分析模型的性能和運行數(shù)據(jù);系統(tǒng)通過開源社區(qū)收集已知的缺陷代碼樣本;系統(tǒng)標注出缺陷代碼樣本所有的空指針問題并進行分類,包括以下步驟:S1.1、檢查缺陷代碼樣本,定位所有的空指針問題并進行標注;S1.2、根據(jù)需求定義空指針問題分類標準,基于分類標準對S1.1空指針問題進行分類,并為每個類別創(chuàng)建標識符;S1.3、創(chuàng)建分類文檔,描述該類別的空指針問題的具體特征和示例代碼;系統(tǒng)提取空指針問題中相關(guān)特征,包括以下步驟:S2.1、通過靜態(tài)代碼分析工具,分析源代碼的語法結(jié)構(gòu)和語義信息,提取空指針問題特征;S2.2、提取空指針問題特征的上下文信息,確定問題發(fā)生的具體位置,分析空指針問題的產(chǎn)生原因,理解問題發(fā)生的邏輯或語義錯誤;S2.3、基于空指針問題的類型和原因,制定相應(yīng)的修復(fù)策略,根據(jù)修復(fù)策略編寫對應(yīng)的修復(fù)補丁代碼;系統(tǒng)采用模式匹配技術(shù),通過分析代碼中存在的空指針問題模式,自動生成相應(yīng)的修復(fù)補丁代碼;系統(tǒng)根據(jù)已知空指針問題中相關(guān)特征和解決方案確定反饋訓(xùn)練集,包括以下步驟:S3.1、針對每個樣本代碼片段中空指針問題,進行特征提取;S3.2、記錄樣本代碼片段的特征和對應(yīng)的修復(fù)補丁,為每個樣本中特征片段和對應(yīng)的修復(fù)補丁進行標注標簽;S3.3、將特征和標簽組合構(gòu)建成訓(xùn)練集的樣本,通過訓(xùn)練集樣本對神經(jīng)網(wǎng)絡(luò)模型進行訓(xùn)練;系統(tǒng)通過集成測試,模擬實際的使用場景,檢驗修復(fù)補丁在系統(tǒng)層面的兼容性和正確性;系統(tǒng)對于檢驗不通過的補丁,重新制定新的修復(fù)補丁并標記補丁內(nèi)容,包括以下步驟:S4.1、提取神經(jīng)網(wǎng)絡(luò)模型生成的修復(fù)補丁中的代碼片段作為待檢驗的補丁;S4.2、使用靜態(tài)代碼分析工具,對生成的修復(fù)補丁進行檢查,編寫針對生成的修復(fù)補丁的單元測試,驗證修復(fù)補丁的正確性;S4.3、根據(jù)檢驗失敗的原因,重新制定修復(fù)補丁,并在修復(fù)補丁中準確標記修改處和變動,將修復(fù)補丁。
如需購買、轉(zhuǎn)讓、實施、許可或投資類似專利技術(shù),可聯(lián)系本專利的申請人或?qū)@麢?quán)人江蘇商貿(mào)職業(yè)學(xué)院,其通訊地址為:226000 江蘇省南通市江通路48號;或者聯(lián)系龍圖騰網(wǎng)官方客服,聯(lián)系龍圖騰網(wǎng)可撥打電話0551-65771310或微信搜索“龍圖騰網(wǎng)”。
1、本報告根據(jù)公開、合法渠道獲得相關(guān)數(shù)據(jù)和信息,力求客觀、公正,但并不保證數(shù)據(jù)的最終完整性和準確性。
2、報告中的分析和結(jié)論僅反映本公司于發(fā)布本報告當日的職業(yè)理解,僅供參考使用,不能作為本公司承擔(dān)任何法律責(zé)任的依據(jù)或者憑證。


熱門推薦
- 恭喜憶備縮微科技(北京)有限公司靳張鋁獲國家專利權(quán)
- 恭喜科·漢森有限公司S·席德勒獲國家專利權(quán)
- 恭喜深圳市人人節(jié)能設(shè)備有限公司關(guān)忠元獲國家專利權(quán)
- 恭喜英特爾公司R·薩德獲國家專利權(quán)
- 恭喜中科知影(北京)科技有限公司王帆獲國家專利權(quán)
- 恭喜浙江大華技術(shù)股份有限公司曾飛洋獲國家專利權(quán)
- 恭喜費希爾控制產(chǎn)品國際有限公司A·博伊爾獲國家專利權(quán)
- 恭喜西安鐵路信號有限責(zé)任公司齊雪梅獲國家專利權(quán)
- 恭喜上海霍亨環(huán)保科技有限公司廖明君獲國家專利權(quán)
- 恭喜福特全球技術(shù)公司曾福林獲國家專利權(quán)