Abstract: 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.

Abstract: 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.

Abstract: 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.

Abstract: 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.

Abstract: A computer-implemented method is described for creating an entity relationship diagram. In one embodiment, the method for creating the entity relationship diagram can include analyzing programs to extract tables having references to SQL statements and call graphs. The method may further include counting a number of co-occurrences of pairs of tables having the references to SQL statements. Creating first edges based on the number of co-occurrences of pairs of tables having the references to SQL statements. The method may further include computing a shortest path lengths between two programs using pairs of tables in the call graphs based on a program to table use relationship. The method can further include creating second edges based on the shortest path lengths. The entity relationship diagram is plotted from the first edges and the second edges.

Abstract: 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.

Abstract: 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.

Abstract: 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.

Abstract: 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.

Abstract: 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.

Abstract: 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.

Abstract: 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.

Abstract: 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.

Abstract: 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.

Abstract: A fixing device is operable through start-up and warm-up stages and has a rotatable fixing member to fix an unfixed toner image borne on a recording medium, an opposing member to press against the fixing member and form a nip on the fixing member, a temperature detector to detect temperature of the fixing member, and a heater controlled in accordance with the temperature of the fixing member to heat the fixing member. The heater is further controlled during the warm-up stage in accordance with at least one of if the fixing member is rotating and if the detected temperature has ever arrived at a prescribed target temperature in the warm-up stage.

Abstract: A fixing device is operable through start-up and warm-up stages and has a rotatable fixing member to fix an unfixed toner image borne on a recording medium, an opposing member to press against the fixing member and form a nip on the fixing member, a temperature detector to detect temperature of the fixing member, and a heater controlled in accordance with the temperature of the fixing member to heat the fixing member. The heater is further controlled during the warm-up stage in accordance with at least one of if the fixing member is rotating and if the detected temperature has ever arrived at a prescribed target temperature in the warm-up stage.

Abstract: 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.

Abstract: A system and 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.

Abstract: 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.

Abstract: 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.