International Business Machines Corporation

Kohichi Ono

Nobuhiro Hosokawa

Hiroaki Nakamura

Toshiaki Yasue

Masahiro Hori

Teruo Koyanagi

Yukiko Hara

Mari Abe

Takuya Nakaike

Takuya Mishina

Kugamoorthy Gajananan

Naoto Sato

Fumiko Akiyama

Goh Kondoh

Alisa Ooka

Mechanisms are provided for identifying execution paths in computer application logic. A control flow graph is generated for the computer application logic based on source code and an execution log. Paths of the control flow graph are identified that have operators matching operators having execution counts in the execution log. An operator list for each path is generated specifying operators in the path. An operator count expression is generated for each operator in the operator list for each path. For each path, a relationship is generated between the path's operator count expression and actual execution count information for operators in the path's operator list. An execution possibility value is estimated for each path based on the relationships for each path, and a second set of paths having execution possibility values indicating they are possible execution paths of the computer application logic is output.

Estimating executed paths from operator execution counts

A method, system, and computer program product for error detection and correction of query expressions are provided. The method extracts a first set of queries from a set of programs prior to query editing. A first word set is generated from the first set of queries. A second set of queries are extracted from the set of programs after query editing. A second word set is generated from the second set of queries. The method determines a set of differences for word pairs within the first word set and the second word set. A third word set is generated from one or more edited queries based on the set of differences. The method generates an error report for the third word set based on the third word set and the set of differences.

Query expression error detection and correction

A computer-implemented method for detecting code regions related to specific processes in an application is provided including obtaining a call-graph of an application, each node of the call-graph representing a program in the application and each edge of the call-graph representing a call between programs, detecting merge points in the call-graph where paths from different entry points are merged, dividing the call-graph into sub-call-graphs at the merge points to create a macro-call-graph, each node of the macro-call-graph representing each of the sub-call-graphs, detecting code regions related to specific processes in each program in the application based on variable names corresponding to the specific processes, setting an initial state to each entry point of the sub-call-graphs, and identifying sub-call-graphs related to each specific process by using dataflow analysis with the initial states and the code regions based on entry states of the sub-call-graphs.

Detecting business code areas in a mainframe application

Systems and methods for quality analysis of a source code are disclosed. The method includes obtaining plural comments included in the source code. Each of the plural comments includes at least one of plural predetermined words. Also the method extracts plural candidate comments which are comments obtained by excluding plural specific comments from the obtained plural comments. Each of the plural specific comments can be identified using a similarity between a source code fragment relating to any of the obtained plural comments and an adjacent source code fragment adjacent to the source code fragment. In addition, the method outputs an evaluation about incompletion of the source code. The evaluation is determined using the plural candidate comments.

Quality analysis of source code

A computer-implemented method is provided for detecting characteristics of usages of problem expressions for each of multiple authors. The method includes providing, by a hardware processor, a set of regular expression patterns configured to detect the problem expressions. The method further includes detecting, by the hardware processor based on the set of regular expressions, respective sets of the problem expressions which are (i) used in each of multiple analysis units, (ii) associated with a respective one of each of the multiple authors, and (iii) associated with a respective one of each of multiple artifact types. The method also includes finding, by the hardware processor using automatic feature selection, a set of important expressions in the respective sets of problem expressions. The method additionally includes detecting, by the hardware processor, a typical tendency of the usages of the problem expressions for each of the multiple authors, based on the important expressions.

Individual deviation analysis by warning pattern detection

The present invention may include an embodiment identifies the plurality of source code. The embodiment may extract one or more characteristics from a plurality of lines of the plurality of source code. The embodiment may analyze the one or more extracted characteristics for an inclusion relation and a congruent relation. The embodiment may generate a plurality of node relations of a plurality of nodes based on the inclusion relation and the congruent relation, where each node within the plurality of nodes corresponds to each line of the plurality of source code. The embodiment may determine a sum of the one or more nodes from the plurality of nodes that have no inclusion relation based on the analyzed inclusion relation and the analyzed congruent relation and the embodiment may display the sum of the determined one or more nodes.

Estimating the number of coding styles by analyzing source code

Monitoring a process on an Internet of Things (IoT) device is performed by receiving, by the IoT device, a network data transfer from an external device; and receiving, by the IoT device, meta-information of the network data transfer. The meta-information can be generated, based on the network data transfer, by a network monitoring device. Additionally, the IoT device detects a file storing data of the network data transfer based on the meta-information. Further, the IoT device monitors a process relating to the detected file on the IoT device.

Monitoring a process on an IoT device

A system, a computer readable article of manufacture, and a method for verifying operation of a target system to be inspected. The system includes an abstract binary tree generation unit and a matching unit. The abstract binary tree generation unit obtains information about a functional specification of the target system and generates one or more binary trees that associate one or more states that can occur in the target system with respective nodes and that associate state transitions of objects constituting the target system and interactions between the objects with connection relationships between the nodes. The matching unit receives an event sequence in an application model of the target system obtained in response to the operation of the target system and matches the event sequence against the binary trees generated by the abstract binary tree generation unit. The method includes steps for accomplishing the functionality of the system.

System and method for verifying operation of a target system

Methods, apparatus and systems to keep a desired element properly addressed in a structured document in which particular elements are addressed, even if the structured document is modified. In an example embodiment, the invention comprises a difference computation unit for computing a difference between structured documents, and an XPath update unit for generating addressing information from addressing information that addresses a part of a particular structured document based on information on the difference computed by the difference computation unit, the generated addressing information addressing a corresponding part of the other structured document.

Data processing and difference computation for generating addressing information

A structure pattern candidate generating system is disclosed for automatically generating many kinds of complicated structure pattern candidates and facilitating selection of a structure pattern suitable for the purpose. When the system is provided with a structure pattern pointing to an element or an element set in a document logical structure of a structured document, that has been specified by a user, a method for determining an item to be edited determines an item to be edited among the items composing the structure pattern. A method for generating structure pattern candidates replaces the item to be edited with items in different expressions based on the document logical structure information about the structured document to generate structure pattern candidates. A method for generating a structure pattern candidate list arranges the generated structure pattern candidates based on a condition and index for display for giving selection criteria to the user to generate a structure pattern candidate list. If the system is provided with an item desired to be edited, that has been specified by the user for the structure pattern, the method for determining an item to be edited determines the item desired to be edited as the item to be edited.

Method, system and program for generating structure pattern candidates

A technique is provided for automatically and visually generating a display rule for a structured document based on an exemplary operation. Base display rule generation meansgenerates a first display rule, which is a base, by using a document type definitionfor a structured documentand a default generation rulethat is determined in advance. Display document generation meansemploys the first display ruleand the structured documentto generate a first display documentand an element correlation file. Tie first display documentis edited in a display document visual editing environment, and a second display documentand an editing operation history fileare generated. Display rule updating meansrefers to the second display document, the editing operation history file, the element correlation fileand the structured documentto generate a second display rulethat reflects the editing contents.

Method, system for, and program product for generating a display rule for a structured document, and for changing a structured document and its document type definition

Growing community of inventors

Tokyo, Japan

Kohichi Ono