[發(fā)明專利]用于動態(tài)類型語言的代碼審查輔助的方法、系統(tǒng)、制品、和設(shè)備在審
| 申請?zhí)枺?/td> | 202010201140.0 | 申請日： | 2020-03-20 |
| 公開（公告）號： | CN112148585A | 公開（公告）日： | 2020-12-29 |
| 發(fā)明（設(shè)計）人： | M·卡蘭扎;M·阿戈斯坦姆;J·高茨克里奇;A·海內(nèi)克;C·馬丁內(nèi)斯-斯佩索特;M·拉米雷斯洛伊扎;M·M·U·阿拉姆;S·周 | 申請（專利權(quán)）人： | 英特爾公司 |
| 主分類號： | G06F11/36 | 分類號： | G06F11/36;G06N3/04 |
| 代理公司： | 上海專利商標(biāo)事務(wù)所有限公司 31100 | 代理人： | 黃嵩泉;何焜 |
| 地址： | 美國加利*** | 國省代碼： | 暫無信息 |
| 權(quán)利要求書： | 查看更多 | 說明書： | 查看更多 |
| 摘要： | |||
| 搜索關(guān)鍵詞： | 用于 動態(tài) 類型 語言 代碼 審查 輔助 方法 系統(tǒng) 制品 設(shè)備 | ||
1.一種用于分析代碼段的設(shè)備，所述設(shè)備包括：
函數(shù)標(biāo)識器，所述函數(shù)標(biāo)識器用于標(biāo)識所述代碼段中包括的第一函數(shù)調(diào)用的第一輸入；
參數(shù)類型向量(PTV)估計器模型，所述參數(shù)類型向量(PTV)估計器模型用于基于所述第一輸入來估計第一數(shù)據(jù)結(jié)構(gòu)，所述PTV估計器模型經(jīng)由所審查的代碼的集合生成；
PTV確定器，所述PTV確定器用于基于所述第一輸入的數(shù)據(jù)參數(shù)類型來生成第二數(shù)據(jù)結(jié)構(gòu)；
誤差比較器，所述誤差比較器用于基于所述第一數(shù)據(jù)結(jié)構(gòu)和所述第二數(shù)據(jù)結(jié)構(gòu)來確定第一重構(gòu)誤差；以及
推薦生成器，所述推薦生成器用于在所述第一重構(gòu)誤差不滿足推薦閾值時，生成用于審查所述第一函數(shù)調(diào)用的第一推薦。
2.如權(quán)利要求1所述的設(shè)備，其特征在于，
所述函數(shù)標(biāo)識器用于標(biāo)識所述代碼段中包括的第二函數(shù)調(diào)用的第二輸入，在所述代碼段中所述第二函數(shù)調(diào)用在所述第一函數(shù)調(diào)用之后；
所述PTV估計器模型用于基于所述第一輸入和所述第二輸入來估計第三數(shù)據(jù)結(jié)構(gòu)；
所述PTV確定器用于基于所述第二輸入的所述數(shù)據(jù)參數(shù)類型來計算第四數(shù)據(jù)結(jié)構(gòu)；
所述誤差比較器用于基于所述第三數(shù)據(jù)結(jié)構(gòu)和所述第四數(shù)據(jù)結(jié)構(gòu)來確定第二重構(gòu)誤差；并且
所述推薦生成器用于在所述第二重構(gòu)誤差不滿足第二推薦閾值時，生成用于審查所述第二函數(shù)調(diào)用的第二推薦。
3.如權(quán)利要求2所述的設(shè)備，其特征在于，所述PTV估計器模型用于基于所述第二輸入來估計所述第一數(shù)據(jù)結(jié)構(gòu)。
4.如權(quán)利要求1所述的設(shè)備，其特征在于，所述PTV估計器模型是編碼器-解碼器LSTM。
5.如權(quán)利要求1所述的設(shè)備，其特征在于，所述PTV確定器包括：
文字參數(shù)類型估計器，所述文字參數(shù)類型估計器用于確定與所述第一輸入相關(guān)聯(lián)的文字類型；
變量類型靜態(tài)分析器，所述變量類型靜態(tài)分析器用于通過分析與所述代碼段相關(guān)聯(lián)的日志文件來確定與所述第一輸入相關(guān)聯(lián)的基元類型；以及
串接器，所述串接器用于基于所確定的文字類型或所述基元類型中的至少一方來生成所述第一數(shù)據(jù)結(jié)構(gòu)。
6.如權(quán)利要求1所述的設(shè)備，其特征在于，所述誤差比較器用于基于所述第一數(shù)據(jù)結(jié)構(gòu)與所述第二數(shù)據(jù)結(jié)構(gòu)之間的歐幾里德距離來確定所述第一重構(gòu)誤差。
7.如權(quán)利要求1所述的設(shè)備，其特征在于，所審查的代碼的集合從在線儲存庫中查詢并規(guī)范化。
8.一種用于分析代碼段的方法，所述方法包括：
通過利用至少一個處理器執(zhí)行指令來標(biāo)識所述代碼段中包括的第一函數(shù)調(diào)用的第一輸入；
通過利用所述至少一個處理器執(zhí)行指令，來經(jīng)由神經(jīng)網(wǎng)絡(luò)、基于所述第一輸入來估計第一數(shù)據(jù)結(jié)構(gòu)，所述神經(jīng)網(wǎng)絡(luò)經(jīng)由所審查的代碼的集合來生成；
通過利用所述至少一個處理器執(zhí)行指令來基于所述第一輸入的數(shù)據(jù)參數(shù)類型來生成第二數(shù)據(jù)結(jié)構(gòu)；
通過利用所述至少一個處理器執(zhí)行指令來基于所述第一數(shù)據(jù)結(jié)構(gòu)和所述第二數(shù)據(jù)結(jié)構(gòu)來確定第一重構(gòu)誤差；以及
通過利用所述至少一個處理器執(zhí)行指令來在所述第一重構(gòu)誤差不滿足推薦閾值時，生成用于審查所述第一函數(shù)調(diào)用的第一推薦。
9.如權(quán)利要求8所述的方法，所述方法進(jìn)一步包括：
標(biāo)識所述代碼段中包括的第二函數(shù)調(diào)用的第二輸入，在所述代碼段中所述第二函數(shù)調(diào)用在所述第一函數(shù)調(diào)用之后；
經(jīng)由所述神經(jīng)網(wǎng)絡(luò)、基于所述第一輸入和所述第二輸入來估計第三數(shù)據(jù)結(jié)構(gòu)；
基于所述第二輸入的所述數(shù)據(jù)參數(shù)類型來計算第四數(shù)據(jù)結(jié)構(gòu)；
基于所述第三數(shù)據(jù)結(jié)構(gòu)和所述第四數(shù)據(jù)結(jié)構(gòu)來確定第二重構(gòu)誤差；以及
在所述第二重構(gòu)誤差不滿足推薦閾值時，生成用于審查所述第二函數(shù)調(diào)用的第二推薦。
10.如權(quán)利要求9所述的方法，其特征在于，經(jīng)由所述神經(jīng)網(wǎng)絡(luò)、基于所述第二輸入來估計所述第一數(shù)據(jù)結(jié)構(gòu)。
該專利技術(shù)資料僅供研究查看技術(shù)是否侵權(quán)等信息，商用須獲得專利權(quán)人授權(quán)。該專利全部權(quán)利屬于英特爾公司，未經(jīng)英特爾公司許可，擅自商用是侵權(quán)行為。如果您想購買此專利、獲得商業(yè)授權(quán)和技術(shù)合作，請聯(lián)系【客服】
本文鏈接：http://www.szxzyx.cn/pat/books/202010201140.0/1.html，轉(zhuǎn)載請聲明來源鉆瓜專利網(wǎng)。
