国产精品天干天干在线播放,大尺度揉捏胸床戏视频,樱花草www日本在线观看,狠狠躁夜夜躁人人爽天天天天97

Document
拖動滑塊完成拼圖
個人中心

預(yù)訂訂單
服務(wù)訂單
發(fā)布專利 發(fā)布成果 人才入駐 發(fā)布商標 發(fā)布需求

在線咨詢

聯(lián)系我們

龍圖騰公眾號
首頁 專利交易 科技果 科技人才 科技服務(wù) 國際服務(wù) 商標交易 會員權(quán)益 IP管家助手 需求市場 關(guān)于龍圖騰
 /  免費注冊
到頂部 到底部
清空 搜索
當前位置 : 首頁 > 專利喜報 > 恭喜江蘇商貿(mào)職業(yè)學(xué)院王妍獲國家專利權(quán)

恭喜江蘇商貿(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)”。

免責(zé)聲明
1、本報告根據(jù)公開、合法渠道獲得相關(guān)數(shù)據(jù)和信息,力求客觀、公正,但并不保證數(shù)據(jù)的最終完整性和準確性。
2、報告中的分析和結(jié)論僅反映本公司于發(fā)布本報告當日的職業(yè)理解,僅供參考使用,不能作為本公司承擔(dān)任何法律責(zé)任的依據(jù)或者憑證。
主站蜘蛛池模板: 文昌市| 高唐县| 鹤岗市| 清原| 黑龙江省| 五原县| 田东县| 庆城县| 庆阳市| 彭山县| 镇赉县| 临安市| 新昌县| 青浦区| 昌图县| 三门县| 岑巩县| 大姚县| 湟中县| 陇西县| 彭州市| 成都市| 霍邱县| 宁海县| 葵青区| 隆昌县| 云龙县| 金寨县| 银川市| 三台县| 阿尔山市| 朝阳市| 临夏县| 延津县| 凤阳县| 调兵山市| 古交市| 华亭县| 桃源县| 盐城市| 延庆县|