[發明專利]編程代碼的先決條件的自動化產生

在審

• 申請號: 202210857485.0
• 申請日: 2022-07-21
• 公開（公告）號: CN115687072A
• 公開（公告）日: 2023-02-03
• 發明（設計）人: A·弗萊克賽德爾;B·施密特;J·鄺特;M·施倫德
• 申請（專利權）人: 羅伯特·博世有限公司
• 主分類號: G06F11/36
• 分類號: G06F11/36
• 代理公司: 中國專利代理(香港)有限公司 72001
• 代理人: 張濤;劉春元

1.一種用于自動化地產生編程代碼的先決條件的計算機實現的方法（100），包括：

接收（110）所述編程代碼中的起點，其中所述編程代碼具有一個或多個輸入變量；

接收（120）所述起點的標準；

檢查（130）所述標準是否能夠通過所述編程代碼從所述起點反向傳播（131）到所述一個或多個輸入變量中的至少一個輸入變量；

如果所述檢查（130）是肯定的，則為所述一個或多個輸入變量中的至少一個輸入變量產生（140）至少一個先決條件；

其中所述反向傳播（131）被設計為，使得符合為所述一個或多個輸入變量產生的先決條件保證了符合所述起點的標準。

2.根據權利要求1所述的方法（100），包括：

如果所述檢查（130）是否定的，則產生（141）不能為所述一個或多個輸入變量產生先決條件的提示。

3.根據前述權利要求中任一項所述的方法（100），其中，所述起點是所述編程代碼中的指令或變量，可選地其中所述指令或所述變量通過所述編程代碼中的模塊名、行號和/或字符號明確標識。

4.根據權利要求3所述的方法（100），其中，接收（120）所述起點的標準包括從預定規范中讀取（121）用于所述起點的指令的標準，可選地其中所述規范包括所述指令的域知識。

5.根據前述權利要求中任一項所述的方法（100），其中，所述標準包括一個或多個條件。

6.根據從屬于權利要求3時的權利要求5所述的方法（100），其中，當滿足所述一個或多個條件時，防止所述指令的運行時錯誤。

7.根據權利要求5所述的方法（100），其中，所述起點是所述編程代碼中的變量，并且所述一個或多個條件限制了所述變量的值范圍，可選地其中所述一個或多個條件能夠由編程環境的用戶經由所述編程環境的用戶接口來定義。

8.根據權利要求5所述的方法（100），其中，所述一個或多個條件被計算為，使得如果符合為所述一個或多個輸入變量產生的先決條件，則在執行所述編程代碼時能夠達到所述起點。

9.根據前述權利要求中任一項所述的方法（100），其中，由所述編程代碼從所述起點向所述一個或多個輸入變量的方向反向傳播（131）所述標準基于抽象計算。

10.一種用于自動化地產生編程代碼的先決條件的計算機實現的方法（200），包括：

接收（210）所述編程代碼的多個起點，其中所述編程代碼具有一個或多個輸入變量；

對于所述多個起點中的每個起點，執行（220）根據前述權利要求中任一項所述的用于自動化地產生編程代碼的先決條件的計算機實現的方法（100），條件是接收（110）所述編程代碼中的起點包括接收所述多個起點的相應起點；

可選地其中接收（210）所述編程代碼的多個起點包括產生（211）所述多個起點。

11.根據前述權利要求中任一項所述的方法（100、200），包括：

將所述編程代碼集成（160、230）到軟件系統中，使得滿足針對所述編程代碼的一個或多個輸入變量中至少一個輸入變量的至少一個先決條件；和/或

提供（161、231）所述編程代碼的一個或多個輸入變量中的至少一個輸入變量，使得滿足針對所述編程代碼的一個或多個輸入變量中至少一個輸入變量的至少一個先決條件。

12.一種電子編程環境（300），其被設計為執行根據前述權利要求中任一項所述的用于自動化地產生編程代碼的先決條件的計算機實現的方法（100、200）。

13.根據權利要求12所述的編程環境（300），包括用戶接口（310），所述用戶接口被設計為使得所述編程環境（300）的用戶能夠與所述編程環境（300）和/或與用于自動化地產生編程代碼的先決條件的計算機實現的方法（100、200）交互，可選地其中用戶能夠經由所述用戶接口（310）選擇：

-所述編程代碼；

-所述起點；和/或

-所述起點的標準；和/或

能夠經由所述用戶接口（310）給用戶輸出：

-所述一個或多個輸入變量的至少一個先決條件；和/或

-不可能有先決條件的提示。