Pat
J-GLOBAL ID：201603007288146514
ソースコード等価性検証装置、および、ソースコード等価性検証方法
Inventor：
,
,
,
Applicant, Patent owner：
Agent (1)：
青稜特許業務法人
Gazette classification：特許公報
Application number (International application number)：2015533839
Patent number：6001791
Application date： Aug. 28, 2013
Claim (excerpt)：
【請求項1】 当初のソースコードと、リファクタリング実施後のソースコードとの等価性を検証するソースコード等価性検証装置であって、
リファクタリング前のソースコードと、リファクタリング後のソースコードを入力するソースコード入力手段と、
前記ソースコードのリファクタリングパターン情報を入力するリファクタリングパターン入力手段と、
前記リファクタリング前のソースコードと、前記リファクタリング後のソースコードの各々の字句解析・構文解析を行い、構造グラフに変換して、リファクタリング前ソースコード情報と、リファクタリング後ソースコード情報を生成するソースコード情報生成手段と、
リファクタリングパターン情報に対して定義された正規化情報を参照し、前記リファクタリング前ソースコード情報と、前記リファクタリング後ソースコード情報を正規化し、各々リファクタリング前正規化ソースコード情報と、リファクタリング後正規化ソースコード情報を生成する正規化手段と、
前記リファクタリング前正規化ソースコード情報と、前記リファクタリング後正規化ソースコード情報の構造を比較する構造比較手段と、
前記リファクタリング前正規化ソースコード情報と、前記リファクタリング後正規化ソースコード情報を記号実行する記号実行手段と、
前記記号実行手段による記号実行の結果を比較して、前記リファクタリング前ソースコードと前記リファクタリング後ソースコードの等価性を判定する等価性判定手段とを有することを特徴とするソースコード等価性検証装置。
IPC (2)：
G06F 11/36 ( 200 6.01)
, G06F 9/44 ( 200 6.01)
G06F 11/36 108
, G06F 9/06 620 K
, G06F 9/06 620 L
