公开(公告)号：US20220269502A1

公开(公告)日：2022-08-25

申请号：US17634571

申请日：2020-07-02

Applicant: Mitsubishi Electric Corporation

Inventor： Daiki SHIMA ,  Toshiki KITAJIMA ,  Toshihiro KOBAYASHI ,  Yuki HIKAWA ,  Taishi AZUMA

IPC: G06F8/72

Abstract: Even when one refactoring operation cannot establish a target software structure, an appropriate refactoring operation establishes the target software structure. An improvement proposing device includes: a structure comparator to output, as an improvement object, a difference between a first software structure and a second software structure different in software structure from the first software structure; and an improvement plan examining unit to examine an improvement plan for each improvement portion in the improvement object, the improvement plan being a method for bringing the first software structure closer to the second software structure.

公开(公告)号：US20190026107A1

公开(公告)日：2019-01-24

申请号：US16066019

申请日：2015-12-30

Applicant: MITSUBISHI ELECTRIC CORPORATION

Inventor： Ryo KASHIWAGI ,  Yuki HIKAWA ,  Katsuhiko NAKAMURA ,  Natsuko FUJII ,  Takanari FUJIMOTO

IPC: G06F8/73

Abstract: A detailed analysis unit generates, with respect to pre-change source code and post-change source code, a detailed condition list for each set of a function included in each piece of source code and a call condition that is met when the function is called. The detailed condition list associates an executable statement included in the function, a detailed precondition that is met before the executable statement is executed under the call condition, and a detailed postcondition that is met after the executable statement is executed under the call condition with each other. A comparison unit generates a variation list based on a pre-change detailed condition list and a post-change detailed condition list. The variation list includes information for identifying an executable statement that differs in at least one of the detailed precondition and the detailed postcondition between the pre-change source code and the post-change source code.

公开(公告)号：US20160378445A1

公开(公告)日：2016-12-29

申请号：US14958074

申请日：2015-12-03

Applicant: MITSUBISHI ELECTRIC CORPORATION

Inventor： Ryo KASHIWAGI ,  Katsuhiko NAKAMURA ,  Natsuko FUJII ,  Takamitsu YAMADA ,  Yuki HIKAWA

IPC: G06F9/45 ,  G06F9/44 ,  G06F17/30

CPC classification number: G06F8/433 ,  G06F8/42 ,  G06F8/75 ,  G06F8/77 ,  G06F16/245

Abstract: An objective is to extract, as similar functions, not only a pair of functions having the same syntax, but also a pair of functions having different syntaxes but performing similar processes. A similarity determination apparatus includes: a dependency analyzing section to get a list of dependee elements as a dependency list, from a source code including a plurality of functions, each function depending on one of the dependee elements; a similarity calculating section to calculate, based on the dependency list, similarity between the dependee elements on which two of the plurality of functions depend, as dependee similarity, and calculate, based on the calculated dependee similarity. similarity between the two functions, as depender similarity; and a similarity threshold determining section to determine that the two functions are similar to each other when the depender similarity is equal or exceeds a first threshold.

Abstract translation: 目的是提取类似的功能，不仅具有一对具有相同语法的函数，而且还提取了具有不同语法但执行类似过程的一对函数。 相似度确定装置包括：依赖性分析部分，从包括多个功能的源代码获得依赖列表的列表作为依赖列表，每个功能取决于依赖元件之一; 相似度计算部分，基于所述依赖关系列表计算所述多个功能中的两个作为依赖关系相似度的所述依赖元件之间的相似度，并且基于所计算的所述依赖关系相似度来计算。 两个函数之间的相似度，作为依赖关系; 以及相似度阈值确定部分，当所述依赖关系相似度等于或超过第一阈值时，确定所述两个函数彼此相似。

公开(公告)号：US20220276864A1

公开(公告)日：2022-09-01

申请号：US17762853

申请日：2019-10-21

Applicant: Mitsubishi Electric Corporation

Inventor： Taishi AZUMA ,  Yuki HIKAWA

IPC: G06F8/75 ,  G06F3/14

Abstract: According to the present invention, an analysis unit configured to analyze weights of a plurality of structural elements included in the structural information and weights of dependency relationships of each of the plurality of structural elements based on the structural information and a plurality of execution histories, a structural element designation unit configured to designate one of the structural element among the structural elements included in the structural information as a designated structure element, a display information calculation unit configured to calculate display information including a dependency structural element being a structural element having a dependency relationship with the designated structure element and a weight of the dependency structural element, and a correspondence between the designated structural element and the dependency structural element and a weight of the correspondence, and a display configured to display the display information.

公开(公告)号：US20210232392A1

公开(公告)日：2021-07-29

申请号：US17268840

申请日：2018-10-03

Applicant: Mitsubishi Electric Corporation

Inventor： Taishi AZUMA ,  Toshihiro KOBAYASHI ,  Yuki HIKAWA

IPC: G06F8/75 ,  G06F8/74 ,  G06F8/41

Abstract: A software analysis device being capable of analyzing dependency between software components more comprehensively and with higher accuracy than a conventional technology is provided. The software analysis device comprising: a first analyzing unit that statically analyzes a structure of a source code of software and analyzes dependency between objects of the software; and a second analyzing unit that executes a program indicated by the source code to acquire first information regarding an operation of the objects and analyzes dependency between the objects based on the first information. The software analysis device analyzes dependency between the objects based on an analysis result of the first analyzing unit and an analysis result of the second analyzing unit.

公开(公告)号：US20210049091A1

公开(公告)日：2021-02-18

申请号：US16966218

申请日：2018-08-24

Applicant: Mitsubishi Electric Corporation

Inventor： Yuki HIKAWA ,  Taishi AZUMA ,  Toshihiro KOBAYASHI ,  Hironori KURATA ,  Ryota OKUMURA

IPC: G06F11/36 ,  G06F11/32

Abstract: A reception unit receives an execution history file of a target program and a software structure file of the target program. An association unit associates each piece of execution element information of the execution history file and each piece of component information of the software structure file with each other, thereby generating an association file. A determination unit determines each execution element and a parent element of each execution element as important elements by referring to the software structure file based on the association file, thereby generating an important element file indicating each important element. A visualization unit generates a visualization diagram indicating the structure of the target program in a state where each important element has been emphasized, based on the important element file and the software structure file.

公开(公告)号：US20230385188A1

公开(公告)日：2023-11-30

申请号：US18247902

申请日：2021-07-28

Applicant: Mitsubishi Electric Corporation

Inventor： Masaki FUJITA ,  Yuki HIKAWA

IPC: G06F11/36

CPC classification number: G06F11/3692

Abstract: The aim is to detect a portion(s) that may include a latent defect(s) under the impact of a global variable in a source code. A method for analyzing a source code using one or a plurality of processors is provided. The method includes obtaining a defect pattern of a program, obtaining a source code of the program, extracting CRUD information associated with a global variable from the source code, identifying a latent defect from the CRUD information based on the defect pattern, and outputting a CRUD matrix containing information of the latent defect.

公开(公告)号：US20210326130A1

公开(公告)日：2021-10-21

申请号：US16473855

申请日：2017-02-16

Applicant: Mitsubishi Electric Corporation

Inventor： Natsuko FUJII ,  Toshihiro KOBAYASHI ,  Yuki HIKAWA ,  Takahiro AKIMOTO ,  Satoshi MAEKAWA ,  Toshiki KITAJIMA

IPC: G06F8/72 ,  G06F8/41

Abstract: A source code analysis unit identifies dependency strengths of one or more functions included in a source code. An influence analysis unit identifies one or more transfer functions that will each move to a different subsystem due to refactoring and identifies a dependency strength to be influenced by the refactoring, based on the dependency strengths that have been identified by the source code analysis unit with respect to the one or more transfer functions. A scale calculation unit calculates the scale of the refactoring, based on the dependency strength to be influenced, which has been identified by the influence analysis unit.

公开(公告)号：US20190079742A1

公开(公告)日：2019-03-14

申请号：US16084272

申请日：2016-04-26

Applicant: MITSUBISHI ELECTRIC CORPORATION

Inventor： Natsuko FUJII ,  Yuki HIKAWA ,  Ryo KASHIWAGI ,  Katsuhiko Nakamura ,  Takanari Fujimoto ,  Miwa Fukuda

IPC: G06F8/41 ,  G06F9/445

Abstract: A direct relationship extraction unit generates a direct relationship list indicating a set of a direct dependence source, a direct dependence destination, and a direct dependence type. A storage unit stores an indirect relationship rule including a plurality of direct dependence types, an element relationship, a dependence source element, and a dependence destination element. An indirect relationship extraction unit extracts, from a direct relationship list, a plurality of pieces of direct relationship information corresponding to the plurality of direct dependence types and the element relationship included in the indirect relationship rule, extracts an indirect dependence source which is an element corresponding to a dependence source element in the indirect relationship rule from the extracted plurality of pieces of direct relationship information, and extracts an indirect dependence destination corresponding to a dependence destination element in the indirect relationship rule from the extracted plurality of pieces of direct relationship information.