[發明專利]生成表示計算機程序的語義流圖

有效

• 申請號: 201910517121.6
• 申請日: 2019-06-14
• 公開（公告）號: CN110659029B
• 公開（公告）日: 2023-03-24
• 發明（設計）人: I·M·巴爾迪尼·索爾斯;A·默杰西洛維克;E·帕特森;K·R·瓦爾什尼
• 申請（專利權）人: 國際商業機器公司
• 主分類號: G06F8/41
• 分類號: G06F8/41
• 代理公司: 北京市金杜律師事務所 11256
• 代理人: 酆迅

1.一種計算機實現的方法，包括：

使用處理器基于程序的執行生成原始流圖，所述原始流圖包括多個框和多條線；以及

基于所述原始流圖并且基于與所述程序相關聯的主題域中的本體生成語義流圖，其中生成所述語義流圖包括：

標識由所述原始流圖中的所述框表示的相應具體函數，其中所述相應具體函數是在所述程序的所述執行期間被調用的函數；

針對所述相應具體函數搜索所述本體；以及

至少部分地基于確定在所述本體中找到所述相應具體函數：

根據所述本體標識與所述相應具體函數相對應的相應語義概念；以及

將所述原始流圖中的所述框替換為表示所述相應語義概念的一個或多個對象，

其中所述語義流圖示出所述程序的一個或多個語義概念。

2. 根據權利要求1所述的計算機實現的方法，還包括：

確定在所述本體中沒有找到所述原始流圖的第一框的所述相應具體函數；以及

響應于在所述本體中沒有找到所述相應具體函數，將所述第一框與所述原始流圖的一個或多個其他框折疊。

3. 根據權利要求1所述的計算機實現的方法，其中：

所述本體注釋多個具體函數；并且

所述本體將被注釋的每個具體函數映射到作為語義概念的抽象函數。

4. 根據權利要求1所述的計算機實現的方法，其中：

所述本體注釋多個具體類型；并且

所述本體將被注釋的每個具體類型映射到作為語義概念的抽象類型。

5.根據權利要求1所述的計算機實現的方法，還包括從多個本體中選擇所述本體，其中所述多個本體中的每個本體與相應的主題域相關聯。

6.根據權利要求1所述的計算機實現的方法，還包括：

使用所述處理器基于第二程序的執行生成第二原始流圖；

基于所述第二原始流圖并且基于所述本體生成第二語義流圖，其中所述第二語義流圖示出所述第二程序的一個或多個語義概念；

將所述第二語義流圖與所述語義流圖進行比較；以及

基于將所述第二語義流圖與所述語義流圖進行比較，確定所述第二程序在語義上等同于所述程序。

7. 一種系統，包括：

存儲器，具有計算機可讀指令；以及

一個或多個處理器，用于執行所述計算機可讀指令以使得所述一個或多個處理器執行根據權利要求1至6中任一項所述的方法。

8.一種計算機可讀存儲介質，所述計算機可讀存儲介質包括用于生成語義流圖的計算機程序產品，所述計算機程序產品包含有程序指令，所述程序指令由處理器可執行以使得所述處理器執行根據權利要求1至6中任一項所述的方法。

9.一種計算機系統，包括用于實現根據權利要求1至6中任一項所述的方法的任何步驟的裝置。