公开(公告)号：CN107533464A

公开(公告)日：2018-01-02

申请号：CN201580078612.5

申请日：2015-04-28

Applicant: 株式会社日立制作所

Inventor： 新原敦介 ,  铃木康文 ,  潘氏青玄 ,  坂井田真也

IPC: G06F9/44

Abstract: 源代码等价性检查装置具有对变更前源代码和变更后源代码分别进行符号执行的符号执行计算部；使用符号执行计算部的符号执行结果,来生成变更前源代码与变更后源代码的等价性检查式的等价性检查式生成部；对由等价性检查式生成部生成的等价性检查式进行检查的等价性检查式检查部；在基于等价性检查式检查部的等价性检查式的检查结果为变更前源代码与变更后源代码非等价的情况下，生成用于使变更前源代码与变更后源代码等价的修正候选的修正候选生成部；以及使用基于等价性检查式检查部的检查结果和基于修正候选生成部的所述修正候选，来生成检查结果报告的检查结果生成部。

公开(公告)号：CN105408872A

公开(公告)日：2016-03-16

申请号：CN201380078502.X

申请日：2013-08-28

Applicant: 株式会社日立制作所

Inventor： 铃木康文 ,  新原敦介 ,  市井诚 ,  野口秀人

IPC: G06F11/36

CPC classification number: G06F11/3608 ,  G06F8/40 ,  G06F8/427 ,  G06F8/436 ,  G06F8/4436 ,  G06F8/72

Abstract: 通过符号执行进行针对由人工实施的重构的等价性验证时，能够不使计算量爆发，而迅速地进行。在验证源代码的等价性时，进行基于解析源代码而得的结构图的结构比较的验证和符号执行的验证这两种验证。并且，在通过基于结构图的结构比较能够判定为结构一致的情况下，不进行符号执行。此外，在进行基于结构比较的验证前，对于重构前后的各个源代码，根据对每个重构模式决定的正规化信息对结构图进行正规化，在重构正当时，调整为结构一致。并且，对将重构前后的各个结构图进行抽象化而得的图进行符号执行来进行验证，由此限定进行符号执行的位置。

公开(公告)号：CN105408872B

公开(公告)日：2017-11-24

申请号：CN201380078502.X

申请日：2013-08-28

Applicant: 株式会社日立制作所

Inventor： 铃木康文 ,  新原敦介 ,  市井诚 ,  野口秀人

IPC: G06F11/36

CPC classification number: G06F11/3608 ,  G06F8/40 ,  G06F8/427 ,  G06F8/436 ,  G06F8/4436 ,  G06F8/72

Abstract: 通过符号执行进行针对由人工实施的重构的等价性验证时，能够不使计算量爆发，而迅速地进行。在验证源代码的等价性时，进行基于解析源代码而得的结构图的结构比较的验证和符号执行的验证这两种验证。并且，在通过基于结构图的结构比较能够判定为结构一致的情况下，不进行符号执行。此外，在进行基于结构比较的验证前，对于重构前后的各个源代码，根据对每个重构模式决定的正规化信息对结构图进行正规化，在重构正当时，调整为结构一致。并且，对将重构前后的各个结构图进行抽象化而得的图进行符号执行来进行验证，由此限定进行符号执行的位置。

公开(公告)号：CN116940932A

公开(公告)日：2023-10-24

申请号：CN202280019451.2

申请日：2022-02-14

Applicant: 株式会社日立制作所

Inventor： 杨梦龙 ,  小山恭平 ,  新原敦介

IPC: G06F11/34

Abstract: 有效地进行软件的性能的验证的软件性能验证系统，其提取构成软件的程序的代码的一部分即部分代码，生成基于部分代码的特征量向量，基于通过将验证对象的部分代码输入到性能验证模型中而得到的输出来生成信息，作为该部分代码的验证结果，上述性能验证模型是通过包括学习用的部分代码的特征量向量和表示基于该部分代码实现的软件的性能的信息即性能信息在内的学习数据而进行了学习的机器学习模型，软件性能验证系统例如生成以从部分代码取得的指标值为要素的向量作为特征量向量，性能验证模型例如输出在基于部分代码实现的处理的性能中存在问题的概率。