Generation of software program repair explanations

    公开(公告)号:US11740895B2

    公开(公告)日:2023-08-29

    申请号:US17219658

    申请日:2021-03-31

    申请人: FUJITSU LIMITED

    摘要: 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.

    Software program repair
    2.
    发明授权

    公开(公告)号:US10152406B2

    公开(公告)日:2018-12-11

    申请号:US14835561

    申请日:2015-08-25

    申请人: FUJITSU LIMITED

    IPC分类号: G06F9/44 G06F11/36 G06F8/71

    摘要: 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.

    Machine learning based software program repair

    公开(公告)号:US09846637B2

    公开(公告)日:2017-12-19

    申请号:US14957529

    申请日:2015-12-02

    申请人: FUJITSU LIMITED

    IPC分类号: G06F11/36 G06N99/00

    摘要: 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.

    Generation of software test code
    4.
    发明授权
    Generation of software test code 有权
    生成软件测试代码

    公开(公告)号:US09483384B2

    公开(公告)日:2016-11-01

    申请号:US14549516

    申请日:2014-11-20

    申请人: FUJITSU LIMITED

    发明人: Hiroaki Yoshida

    IPC分类号: G06F9/44 G06F11/36

    摘要: 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.

    摘要翻译: 方法可以包括检测包括产品代码和测试代码的用户存储库中的变化。 产品代码和测试代码可以对应于软件程序。 用户存储库中的更改可能包括产品代码与产品代码的相应更改部分的更改。 该方法还可以包括通过测试工具生成测试代码的测试代码更新。 可以基于检测用户存储库中的改变并且基于产品代码的改变的部分来生成测试代码更新。 该方法还可以包括传送请求用户存储库将测试代码更新添加到用户管理的存储库的拉取请求。

    Adsorption-type heat pump using seat valve and information processing system
    5.
    发明授权
    Adsorption-type heat pump using seat valve and information processing system 有权
    吸附式热泵采用座阀和信息处理系统

    公开(公告)号:US09212837B2

    公开(公告)日:2015-12-15

    申请号:US14107543

    申请日:2013-12-16

    申请人: FUJITSU LIMITED

    IPC分类号: F25D23/12 F25B41/04 F25B17/08

    摘要: 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.

    摘要翻译: 吸附式热泵包括具有吸附剂的吸附剂,能够使吸附剂吸附制冷剂的吸附过程和从吸附剂解吸制冷剂的解吸过程,冷凝器,蒸发器,第一流通孔 使得制冷剂从吸附器流向冷凝器,使制冷剂从蒸发器流到吸附器的第二流通孔,以及设置在第一流通孔和第二流通孔中的至少一个上的座阀体 具有座椅材料和开闭辅助板材料,所述座椅材料和开闭辅助板材料接合到所述座椅材料的端部并且由温度依赖性材料形成,所述材料根据温度变形,并且打开和关闭所述第一流动孔和所述第二流动孔中的至少一个, 第二个流通孔。

    Automated software program repair

    公开(公告)号:US11119889B1

    公开(公告)日:2021-09-14

    申请号:US16936390

    申请日:2020-07-22

    申请人: FUJITSU LIMITED

    IPC分类号: G06F11/36 G06F9/445 G06F8/33

    摘要: 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.

    Data-driven synthesis of fix patterns

    公开(公告)号:US10733075B2

    公开(公告)日:2020-08-04

    申请号:US16109434

    申请日:2018-08-22

    申请人: FUJITSU LIMITED

    IPC分类号: G06F11/36 G06F8/30

    摘要: 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.

    Representing software with an abstract code graph

    公开(公告)号:US10606570B2

    公开(公告)日:2020-03-31

    申请号:US15915894

    申请日:2018-03-08

    申请人: FUJITSU LIMITED

    IPC分类号: G06F9/45 G06F8/41

    摘要: 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.

    COMPUTER-READABLE RECORDING MEDIUM, ESTIMATION METHOD AND ESTIMATION DEVICE

    公开(公告)号:US20190163839A1

    公开(公告)日:2019-05-30

    申请号:US16194701

    申请日:2018-11-19

    申请人: FUJITSU LIMITED

    IPC分类号: G06F17/30

    摘要: 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.