Pat
J-GLOBAL ID：201603003931837834
ソースコード等価性検証装置、および、ソースコード等価性検証方法
Inventor：
,
,
,
Applicant, Patent owner：
Agent (2)：
青稜特許業務法人
, ポレール特許業務法人
Gazette classification：特許公報
Application number (International application number)：2012282485
Publication number (International publication number)：2014126985
Patent number：5903038
Application date： Dec. 26, 2012
Publication date： Jul. 07, 2014
Claim (excerpt)：
【請求項1】 CPUと記憶装置とを有し、前記記憶装置に記憶されたプログラムを前記CPUにより実行させることにより、ソースコードの変更の前後の等価性を検証するソースコード等価性検証装置であって、
変更前のソースコードと、変更後のソースコードを入力するソースコード入力手段と、
前記ソースコードの変更の変更種別パターン情報を入力する変更種別パターン入力手段と、
前記変更前のソースコードと、前記変更後のソースコードの各々に対して、変更前ソースコード情報と、変更後ソースコード情報を生成するソースコード情報生成手段と、
ソースコード変更種別パターンに対して、定義される正規化情報を参照し、前記変更前ソースコード情報と、前記変更後ソースコード情報を正規化し、各々変更前ソースコード正規化情報と、変更後ソースコード正規化情報を生成する正規化手段と、
前記変更前ソースコード正規化情報と、前記変更後ソースコード正規化情報の構造を比較する構造比較手段と、
前記変更前ソースコード正規化情報と、前記変更後ソースコード正規化情報を記号実行する記号実行手段と、
前記記号実行手段により記号実行の結果を比較して、前記変更前ソースコードと前記変更後ソースコードの等価性を判定する等価性判定手段とを有することを特徴とするソースコード等価性検証装置。
IPC (2)：
G06F 11/36 ( 200 6.01)
, G06F 11/28 ( 200 6.01)
G06F 9/06 620 M
, G06F 11/28 340 A
Cited by applicant (2)
Cited by examiner (2)
Return to Previous Page
