[發明專利]基于意圖的機器編程

在審

• 申請號: 202010217065.7
• 申請日: 2020-03-25
• 公開（公告）號: CN112148281A
• 公開（公告）日: 2020-12-29
• 發明（設計）人: B·克里梅斯;M·E·卡蘭扎;K·瑟亞;M·阿戈斯坦姆;J·高茨克里奇
• 申請（專利權）人: 英特爾公司
• 主分類號: G06F8/36
• 分類號: G06F8/36;G06F8/73;G06N20/00;G06N3/04
• 代理公司: 上海專利商標事務所有限公司 31100
• 代理人: 黃嵩泉;何焜

公開了用于基于意圖的機器編程的裝置、設備、系統、方法和制品。對源代碼塊進行歸類的示例系統包括代碼儲存庫訪問器，代碼儲存庫訪問器用于訪問代碼儲存庫并選擇源代碼塊。示例系統還包括簽名生成器，簽名生成器用于生成源代碼塊的簽名；附屬條目挖掘器，附屬條目挖掘器用于提取與源代碼塊相關聯的附屬條目；以及令牌解析器，令牌解析器用于將源代碼塊變換為令牌。另外，示例系統包括函數評估器，函數評估器用于基于附屬條目和令牌來確定源代碼塊的函數；以及輸入/輸出確定器，輸入/輸出確定器用于基于附屬條目和簽名來確定源代碼塊的輸入和輸出。示例系統進一步包括標記器，標記器用于利用函數、輸入、和輸出對源代碼塊進行歸類。

技術領域

本公開通常涉及機器編程，并且更具體地涉及基于意圖的機器編程。

背景技術

機器編程通常由人編寫源代碼行來執行。自動代碼生成的發展通常已經是非常有限的。已知的自動代碼生成只匹配部分類型代碼的語法。

附圖說明

圖1是根據本公開的教導對源代碼塊進行歸類并自動生成源代碼的示例系統的示意圖。

圖2是表示可被執行以實現圖1的示例代碼塊分類器的機器可讀指令的流程圖。

圖3是表示可被執行以實現圖1的示例自動代碼生成器的機器可讀指令的流程圖。

圖4是被構造用于執行圖2的指令以實現圖1的示例代碼塊分類器的示例處理平臺的框圖。

圖5是被構造用于執行圖3的指令以實現圖1的示例自動代碼生成器的示例處理平臺的框圖。

這些圖并未按比例繪制。另外，一般來說，在整個附圖和所附書面描述中將使用相同的附圖標記來指代相同或相似的組件。

具體實施方式

為了從嚴格的人工生成的代碼中推進機器編程，不同的模型和/或模板可用于集成開發環境(IDE)或其他自動系統中，所述集成開發環境(IDE)或其他自動系統訪問庫、目錄、或代碼儲存庫，例如這些模型可以從儲存庫中檢取不同的代碼塊，以與人工生成的代碼、機器檢索的代碼、或機器生成的代碼相結合。貫穿本公開，術語“代碼”和“源代碼”可以互換使用。

最近創建機器編程的努力已經使用了不同的方法來預測代碼。一個示例分析了人工生成代碼的部分的語言或語法，并試圖基于語言來匹配來自儲存庫中的源代碼塊。在其他示例中，參考軟件框架被分析以基于部分類型的源代碼來建議應用程序接口(API)。預測性方法不考慮編程者的意圖，這些方法通常只完成語法和/或名稱。這些方法也不包含附屬條目，也不將意圖與源代碼函數進行相關聯。

本文公開了利用包括社區或機構儲存庫的代碼儲存庫以及相關聯的開發附屬條目作為用于機器編程的資源的示例系統、裝置、制品、和方法。代碼儲存庫包括幾乎實用的源代碼塊，這些源代碼塊具有定義的函數且有限的副作用。源代碼塊還具有定義此類函數的預期的行為、輸入、和輸出的附屬條目。在一些示例中，附屬條目包括測試和文檔，包括例如單元測試、功能測試、聲明、文檔、文檔字符串、注釋等。

在本文所公開的示例中，用于機器編程的資源實現了基于意圖的編程，該基于意圖的編程標識了滿足編程者的意圖的用于生成或插入的源代碼塊。一旦編程者給出了意圖，本文所公開的示例允許機器編程系統利用源代碼塊的儲存庫來自主解決問題。這樣實現更自然的人工編碼交互。這也使機器能夠完成可以自動地標識的任務。

如本公開中所理解的，“編程者”是具有解決問題的意圖的實體。這可以是人類編程者、識別需求的機器、或擁有要編程的動作的意圖的其他實體。

如本公開中所理解的，“意圖”是編程者期望完成的工作。意圖可以是所期望的函數。