摘要:
Operations may include obtaining a repair related to correcting an error of source code of a software program, the repair including an edit to make to the source code. The operations may further include determining a change type of the edit. The operations may additionally include identifying an explanation template from a library of explanation templates based on the change type corresponding to the explanation template in the library of explanation templates. In addition, the operations may include generating a change explanation for the edit based on the explanation template. The change explanation may provide a natural language explanation of the changes made by the edit.
摘要:
According to an aspect of an embodiment, one or more systems or methods may be configured to locate a fault in a software program using a test suite. The systems or methods may be further configured to modify, using a repair template, the software program in response to locating the fault. In addition, the systems or methods may be configured to determine whether the modification satisfies an anti-pattern condition. The anti-pattern condition may indicate whether the modification is improper. The systems or methods may also be configured to disallow the modification in response to the modification satisfying the anti-pattern condition or perform further testing on the software program, as modified, in response to the modification not satisfying the anti-pattern condition.
摘要:
According to an aspect of an embodiment, a method may include identifying a fault location in a software program using a test suite. The method may further include determining, using machine learning, a repair effectiveness indication that indicates a potential effectiveness of performing a potential repair operation at the fault location. In addition, the method may include prioritizing implementing a repair at the fault location based on the repair effectiveness indication. The method may further include performing repair operations with respect to the software program based on the prioritization of the fault location.
摘要:
A method may include detecting a change in a user repository that includes product code and test code. The product code and the test code may correspond to a software program. The change in the user repository may include a change in the product code with a corresponding changed portion of the product code. The method may also include generating, by a test tool, a test code update for the test code. The test code update may be generated based on detecting the change in the user repository and based on the changed portion of the product code. The method may further include communicating a pull request that requests that the user repository add the test code update to the user-managed repository.
摘要:
An adsorption-type heat pump includes an adsorber having an adsorbent and capable of switching between an adsorption process of causing an adsorbent to adsorb a refrigerant and a desorption process of desorbing a refrigerant from an adsorbent, a condenser, an evaporator, a first flow hole which causes a refrigerant to flow from the adsorber to the condenser, a second flow hole which causes a refrigerant to flow from the evaporator to the adsorber, and a seat valve body arranged on at least one of the first flow hole and the second flow hole, having a seat material and an opening and closing assisting plate material joined to an end part of the seat material and formed by a temperature-dependent material which deforms in accordance with temperature, and opening and closing at least one of the first flow hole and the second flow hole.
摘要:
Disclosed is a method of producing an adsorbent. The method includes hydrophilizing a surface of activated carbon with an oxidizing agent, and immersing the activated carbon in a solution of a basic compound.
摘要:
According to one or more embodiments, operations may include identifying a plurality of source code edits made between a buggy version of first source code of a first software program and a repaired version of the first source code. The operations may also include identifying a plurality of clusters of the source code edits. Each cluster of the plurality of clusters includes one or more source code edits of the plurality of source code edits. The operations may also include identifying a plurality of valid clusters of the plurality of clusters and identifying one or more invalid clusters of the plurality of clusters based on compiling of the first source code. Moreover, the operations may include identifying, as a first repair of the first error, a particular set of one or more valid clusters of the plurality of valid clusters while excluding the one or more invalid clusters from consideration.
摘要:
Operations may include identifying an edit that corresponds to a fault of a program. The edit may be identified based on a difference between the program and an improved program. The operations may include obtaining an AST that represents the program and includes defect nodes that correspond to a fault location and include an edit node. The operations may include classifying a particular node as a primary node that operates as a starting point for the edit. The operations may include identifying a path from the primary node to the edit node. The operations may include generating a fix pattern based on the path and the edit. The operations may include performing repairs with respect to an identified fault of code. The repairs may be performed using the fix pattern and based on the identified fault of the code being the same type as the fault of the program.
摘要:
According to an aspect of an embodiment, a method may include generating an abstract code graph (ACG). The method may include obtaining an abstract syntax tree (AST). The AST may include a first AST node that may represent a first construct at a first level of abstraction and a second AST node that may represent a second construct. The method may further include generating an ACG, based on the AST. The generating of ACG may include generating a first ACG node based on the first AST node and a second ACG node based on the second AST node. The generating of ACG may also include generating, based on the first ACG node, a third ACG node that represents the first construct at a second level of abstraction. The third ACG node may be connected between the first ACG node and the second ACG node based on the AST.
摘要:
A search device generates a preference trend based on content of a plurality of answers from a respondent for a plurality of inquiries each including a plurality of options. The search device, based on a log of content of representation items that are represented at the plurality of inquiries to the respondent, determines whether information that changes the representation items is to be represented. The search device generates an input candidate that changes the representation items according to a determining result based on the preference trend and displays the input candidate together with the representation items at the plurality of inquiries.