Generating semantic flow graphs representing computer programs
AssigneeInternational Business Machines Corporation
InventorsIoana Monica Baldini Soares, Aleksandra Mojsilovic, Evan Patterson, Kush Raj Varshney
Life of this patent
Estimating the term…
Abstract
A computer-implemented method includes generating a raw flow graph based on execution of a program. A semantic flow graph is generated based on the raw flow graph and based on an ontology in a subject matter-domain associated with the program. The semantic flow graph illustrates one or more semantic concepts of the program.
Claims20
A computer-implemented method comprising:
- generating, using a processor, a raw flow graph based on execution of a program;
- and
- generating a semantic flow graph based on the raw flow graph and based on an ontology in a subject matter-domain associated with the program, wherein the semantic flow graph illustrates one or more semantic concepts of the program.
A system comprising:
- a memory having computer-readable instructions;
- and
- one or more processors for executing the computer-readable instructions to cause the one or more processors to:
- generate a raw flow graph based on execution of a program;
- and
- generate a semantic flow graph based on the raw flow graph and based on an ontology in a subject matter-domain associated with the program, wherein the semantic flow graph illustrates one or more semantic concepts of the program.
A computer-program product for generating a semantic flow graph, the computer-program product comprising a computer-readable storage medium having program instructions embodied therewith, the program instructions executable by a processor to cause the processor to perform a method comprising:
- generating a raw flow graph based on execution of a program;
- and
- generating a semantic flow graph based on the raw flow graph and based on an ontology in a subject matter-domain associated with the program, wherein the semantic flow graph illustrates one or more semantic concepts of the program.
Dependencies are inferred from the claim text.