Pat
J-GLOBAL ID:201503071710903058
ソースコード変換方法及びソースコード変換プログラム
Inventor:
,
,
,
,
Applicant, Patent owner:
Agent (3):
藤井 正弘
, 後藤 政喜
, 飯田 雅昭
Gazette classification:特許公報
Application number (International application number):2011268222
Publication number (International publication number):2013120491
Patent number:5736588
Application date: Dec. 07, 2011
Publication date: Jun. 17, 2013
Claim (excerpt):
【請求項1】 ソフトウェアのソースコードを、異なる複数の変換ルールを用いて、検証ツールの入力言語で記述された検査コードに変換するソースコード変換装置で実行されるソースコード変換方法であって、
前記変換ルールは、
前記ソースコードを特定のプログラミング言語に依存しない形式である中間形式で表現されたソフトウェアへ変換する第1変換ルールと、
前記変換された中間形式で表現されたソフトウェアを抽象化する第2変換ルールと、
前記抽象化された中間形式で表現されたソフトウェアを前記検査コードに変換する第3変換ルールと、を含み、
前記方法は、
前記ソースコードを入力するステップと、
少なくとも一つの前記第1変換ルールの入力を受け付けるステップと、
少なくとも一つの前記第2変換ルールの入力を受け付けるステップと、
少なくとも一つの前記第3変換ルールの入力を受け付けるステップと、
前記入力された第1変換ルールを用いて、前記ソースコードを前記中間形式で表現されたソフトウェアへ変換し、前記変換された箇所を第1逆変換ルールに記憶するステップと、
前記入力された第2変換ルールを用いて、前記変換された中間形式で表現されたソフトウェアを抽象化し、前記抽象化された箇所を第2逆変換ルールに記憶するステップと、
前記入力された第3変換ルールを用いて、前記抽象化された中間形式で表現されたソフトウェアを前記検査コードへ変換するステップと、
前記第2逆変換ルールを用いて、前記抽象化された中間形式で表現されたソフトウェアを前記抽象化される前の中間形式で表現されたソフトウェアに変換するステップと、
前記第1逆変換ルールを用いて、前記抽象化される前の中間形式で表現されたソフトウェアを、前記中間形式で表現されたソフトウェアに変換される前のソースコードに変換するステップと、を含むことを特徴とするソースコード変換方法。
IPC (2):
G06F 11/36 ( 200 6.01)
, G06F 9/45 ( 200 6.01)
FI (2):
G06F 9/06 620 P
, G06F 9/44 320 F
Patent cited by the Patent:
Return to Previous Page