[發明專利]用于動態類型語言的代碼審查輔助的方法、系統、制品、和設備

在審

• 申請號: 202010201140.0
• 申請日: 2020-03-20
• 公開（公告）號: CN112148585A
• 公開（公告）日: 2020-12-29
• 發明（設計）人: M·卡蘭扎;M·阿戈斯坦姆;J·高茨克里奇;A·海內克;C·馬丁內斯-斯佩索特;M·拉米雷斯洛伊扎;M·M·U·阿拉姆;S·周
• 申請（專利權）人: 英特爾公司
• 主分類號: G06F11/36
• 分類號: G06F11/36;G06N3/04
• 代理公司: 上海專利商標事務所有限公司 31100
• 代理人: 黃嵩泉;何焜

公開了用于動態類型語言的代碼審查輔助的方法、設備、系統和制品。用于分析代碼段的示例設備包括：函數標識器，該函數標識器用于標識代碼段中包括的第一函數調用的第一輸入；參數類型向量(PTV)估計器模型，該參數類型向量(PTV)估計器模型用于基于第一輸入來估計第一數據結構，該PTV估計器模型經由所審查的代碼的集合生成；PTV確定器，該PTV確定器用于基于第一輸入的數據參數類型來生成第二數據結構；誤差比較器，該誤差比較器用于基于第一數據結構和第二數據結構來確定第一重構誤差；以及推薦生成器，該推薦生成器用于在第一重構誤差不滿足推薦閾值時，生成用于審查第一函數調用的第一推薦。

技術領域

本公開總體上涉及代碼審查技術，并且更具體地涉及用于動態類型語言的代碼審查輔助的方法、系統、制品和設備。

背景技術

靜態類型語言(如C、C+、Java、Fortran等)在編譯代碼時檢查變量類型(如浮點、整數、字符串等)。動態類型語言(如Python、JavaScript、Ruby、Perl等)不需要編譯并且不需要在代碼運行時檢查這些語言中使用的變量類型。因此，利用動態類型語言編寫的腳本中的錯誤經常在運行期間被發現。

代碼審查通過允許多個編程者通過審查和編輯源代碼來檢查軟件，從而確保軟件質量。源代碼通常上傳到在線儲存庫，諸如在源代碼已被上傳之后，審查者可以在源代碼中查找并校正錯誤。透徹的且迭代的代碼審查過程可以幫助確保軟件的質量。

附圖說明

圖1是根據本公開的教導構造的代碼審查系統的圖示。

圖2是圖1的機器編程引擎的框圖。

圖3是圖2的參數類型向量(PTV)確定器的框圖。

圖4-圖6是表示可以被執行以實現圖1-圖2的機器編程引擎的機器可讀指令的流程圖。

圖7是被構造用于執行圖4-圖6中的指令以實現圖1和/或圖2的機器編程引擎的示例處理平臺的框圖。

這些圖并未按比例繪制。替代地，層或區域的厚度可在附圖中被放大。一般來說，在整個(多個)附圖和所附書面描述中將使用相同的附圖標記來指代相同或相似的組件。

當標識多個元素或組件時，本文使用描述符“第一”、“第二”、“第三”等。除非基于它們的使用上下文另有規定或理解，否則此類描述符并非旨在賦予優先級或時間順序的任何含義，而僅僅是為了便于理解所公開的示例而分別指代多個元件或組件的標簽。在一些示例中，描述符“第一”可以用于指代詳細描述中的元素，而在權利要求中可以使用諸如“第二”或“第三”之類的不同描述符來指代相同的元素。在此類情況下，應當理解，此類描述符僅用于易于引用多個要素或組件。

具體實施方式

在下列具體實施方式中，參考了作為本說明書一部分的附圖，其中通過圖示說明示出了可實踐的具體示例。足夠詳細地描述這些實施例以使本領域的技術人員能夠實施該主題，且應該理解，可利用其他實施例并且可以在不背離本公開的主題的范圍的情況下作出邏輯、機械、電氣和其他的改變。因此，下列具體實施方式被提供以描述示例實現方式，并且不被當作對本公開中所描述主題的范圍的限制。來自下列描述的不同方面的某些特征可被組合，以形成下文所討論的主題的更新的方面。

當介紹本公開的各實施例的要素時，冠詞“一(a,an)”、“該(the)”和“所述(said)”旨在意指存在這些要素中的一個或多個。術語“包含”、“包括”、“具有”旨在是包含性的，并且意指除了所列舉的要素之外還可能存在附加要素。