[发明专利]生成表示计算机程序的语义流图

权利要求书

1.一种计算机实现的方法，包括：

使用处理器基于程序的执行生成原始流图，所述原始流图包括多个框和多条线；以及

基于所述原始流图并且基于与所述程序相关联的主题域中的本体生成语义流图，其中生成所述语义流图包括：

标识由所述原始流图中的所述框表示的相应具体函数，其中所述相应具体函数是在所述程序的所述执行期间被调用的函数；

针对所述相应具体函数搜索所述本体；以及

至少部分地基于确定在所述本体中找到所述相应具体函数：

根据所述本体标识与所述相应具体函数相对应的相应语义概念；以及

将所述原始流图中的所述框替换为表示所述相应语义概念的一个或多个对象，

其中所述语义流图示出所述程序的一个或多个语义概念。

2. 根据权利要求1所述的计算机实现的方法，还包括：

确定在所述本体中没有找到所述原始流图的第一框的所述相应具体函数；以及

响应于在所述本体中没有找到所述相应具体函数，将所述第一框与所述原始流图的一个或多个其他框折叠。

3. 根据权利要求1所述的计算机实现的方法，其中：

所述本体注释多个具体函数；并且

所述本体将被注释的每个具体函数映射到作为语义概念的抽象函数。

4. 根据权利要求1所述的计算机实现的方法，其中：

所述本体注释多个具体类型；并且

所述本体将被注释的每个具体类型映射到作为语义概念的抽象类型。

5.根据权利要求1所述的计算机实现的方法，还包括从多个本体中选择所述本体，其中所述多个本体中的每个本体与相应的主题域相关联。

6.根据权利要求1所述的计算机实现的方法，还包括：

使用所述处理器基于第二程序的执行生成第二原始流图；

基于所述第二原始流图并且基于所述本体生成第二语义流图，其中所述第二语义流图示出所述第二程序的一个或多个语义概念；

将所述第二语义流图与所述语义流图进行比较；以及

基于将所述第二语义流图与所述语义流图进行比较，确定所述第二程序在语义上等同于所述程序。

7. 一种系统，包括：

存储器，具有计算机可读指令；以及

一个或多个处理器，用于执行所述计算机可读指令以使得所述一个或多个处理器执行根据权利要求1至6中任一项所述的方法。

8.一种计算机可读存储介质，所述计算机可读存储介质包括用于生成语义流图的计算机程序产品，所述计算机程序产品包含有程序指令，所述程序指令由处理器可执行以使得所述处理器执行根据权利要求1至6中任一项所述的方法。

9.一种计算机系统，包括用于实现根据权利要求1至6中任一项所述的方法的任何步骤的装置。