特開2024-142008 | 知財ポータル「IP Force」

知財求人 - 知財ポータルサイト「IP Force」

▶ 富士通株式会社の特許一覧

特開2024-142008検証プログラム、検証方法、および情報処理装置

書誌要約請求の範囲詳細な説明課題実施例実施するための形態図面の説明

目に優しい文字サイズ小中大 PDF Top

< >

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

(19)【発行国】日本国特許庁(JP)

(12)【公報種別】公開特許公報(A)

(11)【公開番号】P2024142008

(43)【公開日】2024-10-10

(54)【発明の名称】検証プログラム、検証方法、および情報処理装置

(51)【国際特許分類】

G06F 11/36 20060101AFI20241003BHJP

【ＦＩ】

G06F11/36 192

【審査請求】未請求

【請求項の数】8

【出願形態】ＯＬ

(21)【出願番号】P 2023053942

(22)【出願日】2023-03-29

(71)【出願人】

【識別番号】000005223

【氏名又は名称】富士通株式会社

(74)【代理人】

【識別番号】110002918

【氏名又は名称】弁理士法人扶桑国際特許事務所

(72)【発明者】

【氏名】大畑貴史

(72)【発明者】

【氏名】浦本貴正

【テーマコード（参考）】

5B042

【Ｆターム（参考）】

5B042HH30

5B042HH32

5B042JJ17

5B042JJ29

5B042MA08

5B042MA14

5B042MC02

5B042MC40

(57)【要約】

【課題】非互換動作の解消を容易にできるようにする。
【解決手段】情報処理装置１０は、第１のデータ変更命令による変更内容を記録させる第１の記録命令を追加した第１の実行プログラム２を第１のプログラム実行環境１２ａで実行させることで第１のデータ変更履歴６を取得する。次に情報処理装置１０は、第２の実行プログラム３に、第２のデータ変更命令による第２の変更内容を記録させる第２の記録命令と非互換検出命令とを追加する。非互換検出命令は、第２のデータ変更履歴７と第１のデータ変更履歴６とに基づいて非互換情報８を出力させ、第２のデータ変更命令による第２のデータ５の変更後の値を修正させる非互換検出命令を追加する命令である。そして情報処理装置１０は、第２のプログラム実行環境１２ｂで第２の実行プログラム３を実行させることで、非互換情報８を取得する。
【選択図】図１

【特許請求の範囲】

【請求項1】

データの値を変更する検証対象命令を含む第１の検証対象プログラムを第１のプログラム実行環境用に翻訳した第１の実行プログラムに、前記検証対象命令を翻訳した第１のデータ変更命令による変更内容を記録させる第１の記録命令を追加し、
前記第１のプログラム実行環境で前記第１の実行プログラムを実行させることで、前記第１のデータ変更命令により変更された第１のデータの値の変更内容が記録された第１のデータ変更履歴を取得し、
前記第１の検証対象プログラムに基づいて生成された第２の検証対象プログラムを第２のプログラム実行環境用に翻訳した第２の実行プログラムに、前記検証対象命令を翻訳した第２のデータ変更命令による変更内容を記録させる第２の記録命令を追加し、
前記第２の実行プログラムに、前記第２のデータ変更命令による第２のデータの値の変更内容を示す第２のデータ変更履歴と前記第１のデータ変更履歴とに基づいて実行環境の違いに起因する非互換動作を検出させ、前記非互換動作を検出した場合に、前記非互換動作の発生箇所を示す非互換情報を出力させると共に、前記第１のデータ変更命令による前記第１のデータの変更後の値に基づいて前記第２のデータ変更命令による前記第２のデータの変更後の値を修正させる非互換検出命令を追加し、
前記第２のプログラム実行環境で前記第２の実行プログラムを実行させることで、前記非互換情報を取得する、
処理をコンピュータに実行させる検証プログラム。

【請求項2】

前記非互換検出命令を追加する処理では、前記第１のデータ変更命令による前記第１のデータの変更後の値のデータ形式を変換し、変換後の値に前記第２のデータの値を修正させる前記非互換検出命令を追加する、
請求項１記載の検証プログラム。

【請求項3】

前記第１の記録命令を追加する処理では、前記第１のデータ変更命令による変更内容に対して前記第１の検証対象プログラム内での前記検証対象命令の行番号を含めて、前記第１のデータ変更命令による変更内容を記録させる前記第１の記録命令を追加し、
前記第２の記録命令を追加する処理では、前記第２のデータ変更命令による変更内容に対して前記第２の検証対象プログラム内での前記検証対象命令の行番号を含めて、前記第２のデータ変更命令による変更内容を記録させる前記第２の記録命令を追加し、
前記非互換情報を取得する処理では、前記非互換検出命令の実行時に、前記第１の検証対象プログラムと前記第２の検証対象プログラムとの間の行の対応関係を示す行対応情報における行番号間の対応関係に基づいて、前記非互換動作の検出時に前記第２のデータ変更履歴と比較する前記第１のデータ変更履歴を特定する、
請求項１記載の検証プログラム。

【請求項4】

前記非互換情報を取得する処理では、前記行対応情報において、前記第２のデータ変更履歴に含まれる行番号に対応する、前記第１の検証対象プログラム内での前記検証対象命令の行番号がない場合、前記非互換動作を検出する処理の実行を抑止する、
請求項３記載の検証プログラム。

【請求項5】

前記第１の検証対象プログラムと前記第２の検証対象プログラムとを比較して前記行対応情報を生成する処理を、
前記コンピュータにさらに実行させる請求項３記載の検証プログラム。

【請求項6】

前記非互換情報を取得する処理では、前記非互換検出命令の実行により前記非互換動作を検出した後も前記第２の実行プログラムの実行を継続し、前記非互換検出命令が実行対象となるごとに前記非互換動作の検出を行い、１または複数の前記非互換動作を示す前記非互換情報を取得する、
請求項１から５までのいずれかに記載の検証プログラム。

【請求項7】

【請求項8】

データの値を変更する検証対象命令を含む第１の検証対象プログラムを第１のプログラム実行環境用に翻訳した第１の実行プログラムに、前記検証対象命令を翻訳した第１のデータ変更命令による変更内容を記録させる第１の記録命令を追加し、前記第１のプログラム実行環境で前記第１の実行プログラムを実行させることで、前記第１のデータ変更命令により変更された第１のデータの値の変更内容が記録された第１のデータ変更履歴を取得し、前記第１の検証対象プログラムに基づいて生成された第２の検証対象プログラムを第２のプログラム実行環境用に翻訳した第２の実行プログラムに、前記検証対象命令を翻訳した第２のデータ変更命令による変更内容を記録させる第２の記録命令を追加し、前記第２の実行プログラムに、前記第２のデータ変更命令による第２のデータの値の変更内容を示す第２のデータ変更履歴と前記第１のデータ変更履歴とに基づいて実行環境の違いに起因する非互換動作を検出させ、前記非互換動作を検出した場合に、前記非互換動作の発生箇所を示す非互換情報を出力させると共に、前記第１のデータ変更命令による前記第１のデータの変更後の値に基づいて前記第２のデータ変更命令による前記第２のデータの変更後の値を修正させる非互換検出命令を追加し、前記第２のプログラム実行環境で前記第２の実行プログラムを実行させることで、前記非互換情報を取得する処理部、
を有する情報処理装置。

【発明の詳細な説明】

【技術分野】

【0001】

本発明は、検証プログラム、検証方法、および情報処理装置に関する。

【背景技術】

【0002】

業務に使用されるアプリケーションソフトウェア（以下、単に「アプリケーション」と呼ぶ）の中には、古くに開発され、現在も運用され続けているものがある。特にＣＯＢＯＬ言語で記述されたアプリケーションにはそのようなものが多い。

【0003】

それに対して、アプリケーションを実行する実行環境（ハードウェア、ＯＳ（Operating System）、文字コード体系など）は、時代と共に変遷する。そのため長期にわたって同じアプリケーションを運用し続けるために、実行環境の変化に合わせたアプリケーションの新たな実行環境への移行作業が行われる。

【0004】

新たな実行環境へアプリケーションを移行させる場合、アプリケーションを大きく改修することなく実行環境の切り替えのみで移行できることが望まれる。しかし、移行前後の実行環境で取り扱うデータのデータ形式（ＣＰＵ（Central Processing Unit）のビット幅、エンディアン、浮動小数点形式、文字コードなど）が異なる場合がある。この場合、アプリケーションのプログラムの処理ロジックに変更がなくとも、データ形式の違いに起因して、アプリケーション実行時に意図しない動作（非互換動作）が発生する可能性がある。そのため運用者は、アプリケーションの実行環境を変更する場合、移行先環境での動作検証を行うこととなる。

【0005】

移行先環境での動作検証には、プログラムの動作検証を支援する技術が利用できる。プログラムの動作検証を支援する技術としては、例えば、プログラムの実行時のエラーの原因となるデータが設定されている箇所を特定する技術が提案されている。

【先行技術文献】

【特許文献】

【0006】

【特許文献1】特開２０２２－１５４２５８号公報

【発明の概要】

【発明が解決しようとする課題】

【0007】

アプリケーション実行時に発生する非互換動作は、１箇所に留まらず、複数の箇所で発生する可能性がある。また、移行先のアプリケーション実行時に非互換動作が発生すると、それ以後はそのアプリケーションを正常に実行することができない。そのため非互換動作の発生箇所が複数ある場合には、非互換動作の発生箇所の検出とプログラム修正とを交互に繰り返し行わなければすべての非互換動作の発生箇所を検出することができない。その結果、非互換動作の解消に時間がかかっている。

【0008】

１つの側面では、本件は、非互換動作の解消を容易にできるようにすることを目的とする。

【課題を解決するための手段】

【0009】

１つの案では、以下の処理をコンピュータに実行させる検証プログラムが提供される。
コンピュータは、データの値を変更する検証対象命令を含む第１の検証対象プログラムを第１のプログラム実行環境用に翻訳した第１の実行プログラムに、検証対象命令を翻訳した第１のデータ変更命令による変更内容を記録させる第１の記録命令を追加する。コンピュータは、第１のプログラム実行環境で第１の実行プログラムを実行させることで、第１のデータ変更命令により変更された第１のデータの値の変更内容が記録された第１のデータ変更履歴を取得する。コンピュータは、第１の検証対象プログラムに基づいて生成された第２の検証対象プログラムを第２のプログラム実行環境用に翻訳した第２の実行プログラムに、検証対象命令を翻訳した第２のデータ変更命令による変更内容を記録させる第２の記録命令を追加する。コンピュータは、第２の実行プログラムに、第２のデータ変更命令による第２のデータの値の変更内容を示す第２のデータ変更履歴と第１のデータ変更履歴とに基づいて実行環境の違いに起因する非互換動作を検出させ、非互換動作を検出した場合に、非互換動作の発生箇所を示す非互換情報を出力させると共に、第１のデータ変更命令による第１のデータの変更後の値に基づいて第２のデータ変更命令による第２のデータの変更後の値を修正させる非互換検出命令を追加する。そしてコンピュータは、第２のプログラム実行環境で第２の実行プログラムを実行させることで、非互換情報を取得する。

【発明の効果】

【0010】

１態様によれば、非互換動作の解消が容易となる。

【図面の簡単な説明】

【0011】

【図1】第１の実施の形態に係る検証方法の一例を示す図である。

【図2】第２の実施の形態のシステム構成の一例を示す図である。

【図3】開発マシンのハードウェアの一例を示す図である。

【図4】非互換動作の一例を示す図である。

【図5】修正されたソースファイルの一例を示す図である。

【図6】ソースファイルが修正された場合のデータ変更履歴の一例を示す図である。

【図7】アプリケーションの動作検証のために開発システムが有する機能の一例を示す図である。

【図8】実行ファイルの生成状況の一例を示す図である。

【図9】移行元環境の開発マシンにおける処理の一例を示すフローチャートである。

【図10】移行元環境におけるコンパイル処理の手順の一例を示すフローチャートである。

【図11】移行元環境におけるコンパイル結果の一例を示す図である。

【図12】移行先環境の開発マシンにおける処理の一例を示すフローチャートである。

【図13】移行先環境におけるコンパイル処理の手順の一例を示すフローチャートである。

【図14】移行先環境におけるコンパイル結果の一例を示す図である。

【図15】生成される行対応情報の第１の例を示す図である。

【図16】行対応情報に基づいて特定される比較対象のログレコードの第１の例を示す図である。

【図17】生成される行対応情報の第２の例を示す図である。

【図18】行対応情報に基づいて特定される比較対象のログレコードの第２の例を示す図である。

【図19】移行元と移行先との実行部の機能の一例を示すブロック図である。

【図20】データ変更履歴の比較処理の一例を示す図である。

【図21】プログラム実行処理の手順の一例を示すフローチャートである。

【図22】データ変更履歴比較処理の手順の一例を示すフローチャートである。

【図23】データ比較処理の第１の例を示す図である。

【図24】データ修正処理の手順の一例を示すフローチャートである。

【図25】非互換データの値の修正処理の一例を示す図である。

【図26】差分発生ログの一例を示す図である。

【発明を実施するための形態】

【0012】

以下、本実施の形態について図面を参照して説明する。なお各実施の形態は、矛盾のない範囲で複数の実施の形態を組み合わせて実施することができる。
〔第１の実施の形態〕
第１の実施の形態は、プログラムの実行環境を移行させる際に、データ形式の違いに起因する非互換動作の解消を容易にできるようにする検証方法である。

【0013】

図１は、第１の実施の形態に係る検証方法の一例を示す図である。図１には、検証方法を実現する情報処理装置１０の例を示している。情報処理装置１０は、検証プログラムを実行することにより、第１の実施の形態に係る検証方法を実施することができる。

【0014】

情報処理装置１０は、記憶部１１と処理部１２とを有する。記憶部１１は、例えば情報処理装置１０が有するメモリまたはストレージ装置である。処理部１２は、例えば情報処理装置１０が有するプロセッサまたは演算回路である。

【0015】

記憶部１１は、第１の検証対象プログラム１ａと第２の検証対象プログラム１ｂとを記憶する。第１の検証対象プログラム１ａは、例えば高級言語で記述されたソースプログラムである。第１の検証対象プログラム１ａには、データの値を変更する検証対象命令が含まれる。第２の検証対象プログラム１ｂは、第１の検証対象プログラム１ａに基づいて生成されたソースプログラムである。第２の検証対象プログラム１ｂにも検証対象命令が含まれる。例えば第２の検証対象プログラム１ｂは、第１の検証対象プログラム１ａのコピーである。または第２の検証対象プログラム１ｂは、第１の検証対象プログラム１ａのコピーに修正（命令文の追加または削除など）を行ったものである。

【0016】

処理部１２は、第１のプログラム実行環境１２ａと第２のプログラム実行環境１２ｂとを有する。処理部１２は、例えば第１の検証対象プログラム１ａを第１のプログラム実行環境１２ａ用に翻訳（コンパイルと呼ぶこともある）するコンパイラと、第２のプログラム実行環境１２ｂ用に翻訳するコンパイラとを有する。

【0017】

第１のプログラム実行環境１２ａと第２のプログラム実行環境１２ｂとは、ハードウェア、ＯＳなどを含めたプログラムの実行環境である。第１のプログラム実行環境１２ａと第２のプログラム実行環境１２ｂとは、例えば仮想マシンを用いて実現することができる。また情報処理装置１０が複数のコンピュータを含むコンピュータシステムであれば、第１のプログラム実行環境１２ａと第２のプログラム実行環境１２ｂとを異なるコンピュータ上に実現してもよい。また第１のプログラム実行環境１２ａと第２のプログラム実行環境１２ｂとは、主として取り扱うデータのデータ形式（ＣＰＵのビット幅、エンディアン、浮動小数点形式、文字コードなど）が異なる。

【0018】

ここで、第１の検証対象プログラム１ａを第１のプログラム実行環境１２ａ用に翻訳した第１の実行プログラム２を用いて第１のプログラム実行環境１２ａで運用しているサービスを、第２のプログラム実行環境１２ｂに移行させる場合を想定する。この場合、ユーザは、第２の検証対象プログラム１ｂを第２のプログラム実行環境１２ｂ用に翻訳した第２の実行プログラム３が正常に動作するかの動作検証を行う。動作検証では、ユーザは、処理部１２に以下の処理を実行させる。

【0019】

処理部１２は、第１の検証対象プログラム１ａを第１のプログラム実行環境１２ａ用に翻訳した第１の実行プログラム２に第１の記録命令を追加する。第１の記録命令は、検証対象命令を翻訳した第１のデータ変更命令による変更内容を、第１のプログラム実行環境１２ａに記録させる命令である。そして処理部１２は、第１のプログラム実行環境１２ａで第１の実行プログラム２を実行させることで、第１のデータ変更命令により変更された第１のデータ４の値の変更内容が記録された第１のデータ変更履歴６を取得する。

【0020】

また処理部１２は、第２の検証対象プログラム１ｂを第２のプログラム実行環境１２ｂ用に翻訳した第２の実行プログラム３に、検証対象命令を翻訳した第２のデータ変更命令による変更内容を記録させる第２の記録命令を追加する。

【0021】

さらに処理部１２は、第２の実行プログラム３の第２の記録命令の後に非互換検出命令を追加する。非互換検出命令は、次の一連の処理（非互換検出処理）の実行命令である。第１の処理は、第２のデータ変更命令による第２のデータ５の値の変更内容を示す第２のデータ変更履歴７と第１のデータ変更履歴６とに基づいて実行環境の違いに起因する非互換動作を検出させる処理である。第２の処理は、非互換動作を検出した場合に、検出した非互換動作の発生箇所を示す非互換情報８を出力させる処理である。第３の処理は、非互換動作を検出した場合に、第１のデータ変更命令による第１のデータ４の変更後の値に基づいて第２のデータ変更命令による第２のデータ５の変更後の値を修正させる処理である。

【0022】

そして処理部１２は、第２のプログラム実行環境１２ｂで第２の実行プログラム３を実行させることで、非互換情報８を取得する。
このような情報処理装置１０によれば、移行元環境用の第１の実行プログラム２には、第１のデータ変更命令の後に第１の記録命令が追加される。また移行先環境用の第２の実行プログラム３には、第２のデータ変更命令の後に第２の記録命令に加えて、非互換検出命令が追加される。第１のプログラム実行環境１２ａで第１の実行プログラム２が実行されると、第１のデータ変更履歴６が取得される。また第２のプログラム実行環境１２ｂで第２の実行プログラムが実行されると、非互換検出処理が実行され、検出された非互換動作を示す非互換情報８が生成される。このとき、非互換動作により誤った値が設定された第２のデータ５は、第１のデータ変更履歴６に基づいて正しい値に修正される。

【0023】

ユーザは、情報処理装置１０に第２の実行プログラム３を実行させることで非互換情報８を取得することができる。そしてユーザは、非互換情報８の内容を確認することで、非互換動作を容易に解消できる。

【0024】

また処理部１２は、第２の実行プログラム３の実行中に非互換動作の検出を動的に行い、非互換動作が検出されたときに不正な値を修正するようにしたことで、非互換動作の発生箇所以降の処理について正しく実行することができる。そのため処理部１２は、第２の実行プログラム３の動作検証中に非互換操作を検出した場合であっても、第２の実行プログラム３の実行を中止せずに済み、検証を継続できる。

【0025】

例えば処理部１２は、非互換検出命令の実行により非互換動作を検出した後も第２の実行プログラム３の実行を継続する。そして処理部１２は、非互換検出命令が実行対象となるごとに非互換動作の検出を行い、１または複数の非互換動作を示す非互換情報８を取得することができる。これにより、非互換動作の発生箇所が複数ある場合においても、一回の第２の実行プログラム３の実行で、複数の非互換動作の検出が可能である。その結果、複数の非互換動作それぞれの検出が容易となる。

【0026】

非互換動作は、例えば移行元環境と移行先環境とのデータ形式の違いが、第２の実行プログラム３に反映されない場合に生じる。そこで処理部１２は、非互換検出命令として、例えば非互換動作を検出した場合に、第１のデータ変更命令による第１のデータ４の変更後の値のデータ形式を変換し、第２のデータ５の値を変換後の値に修正させる非互換検出命令を追加する。これにより処理部１２は、移行元環境と移行先環境とのデータ形式の違いが反映されずに第２の実行プログラム３が生成された場合、第２の実行プログラム３の実行時にデータ形式の違いによる不正な値を動的に修正できる。

【0027】

第１のデータ変更履歴６と第２のデータ変更履歴７とには、例えば第１の検証対象プログラム１ａまたは第２の検証対象プログラム１ｂ内での検証対象命令の行番号が含まれる。第２の検証対象プログラム１ｂが第１の検証対象プログラム１ａのコピーであれば、第１の検証対象プログラム１ａと第２の検証対象プログラム１ｂとの検証対象命令の行番号は同じとなる。この場合、処理部１２は、非互換検出処理において、第２のデータ変更履歴７と同じ行番号の第１のデータ変更履歴６を用いて、非互換を検出する。

【0028】

第２の検証対象プログラム１ｂが、第１の検証対象プログラム１ａのコピーに対して修正を加えたものである場合もある。この場合、処理部１２は、例えば第１の検証対象プログラム１ａと第２の検証対象プログラム１ｂとの間の行の対応関係を示す行対応情報に基づいて非互換動作を検出する。

【0029】

例えば処理部１２は、第１のデータ変更命令による変更内容に対して第１の検証対象プログラム１ａ内での検証対象命令の行番号を含めて、第１のデータ変更命令による変更内容を記録させる第１の記録命令を追加する。また処理部１２は、第２のデータ変更命令による変更内容に対して第２の検証対象プログラム１ｂ内での検証対象命令の行番号を含めて、第２のデータ変更命令による変更内容を記録させる第２の記録命令を追加する。さらに処理部１２は、非互換検出命令の実行時に、行対応情報に基づいて、非互換動作の検出時に第２のデータ変更履歴７と比較する第１のデータ変更履歴６を特定する。

【0030】

これにより、処理部１２は、第２の検証対象プログラム１ｂが、第１の検証対象プログラム１ａのコピーに対して修正を加えたものであっても、非互換動作を正しく検出し、その非互換動作を示す非互換情報８を出力することができる。

【0031】

なお、第２の検証対象プログラム１ｂにおいて、第１の検証対象プログラム１ａには含まれないデータ変更命令が含まれる場合もある。このような追加されたデータ変更命令については、非互換検出処理において比較対象とする第１のデータ変更履歴６を取得することはできない。そこで処理部１２は、行対応情報において、第２のデータ変更履歴７に含まれる行番号に対応する行番号がない場合、非互換動作を検出する処理の実行を抑止する。これにより、無駄な非互換検出処理を実施せずに済む。

【0032】

行対応情報は、予め生成しておくことができる。例えば処理部１２は、第１の検証対象プログラム１ａと第２の検証対象プログラム１ｂとを比較して行対応情報を生成する。処理部１２は、行対応情報の生成を、例えば第２の検証対象プログラム１ｂを翻訳する際に行う。

【0033】

〔第２の実施の形態〕
次に第２の実施の形態について説明する。第２の実施の形態は、ある実行環境のコンピュータで運用中のアプリケーションを、異なる実行環境のコンピュータに移行させる際に、開発環境において事前に動作検証を行い、データ形式の違いによる非互換動作の有無を確認するものである。

【0034】

図２は、第２の実施の形態のシステム構成の一例を示す図である。図２には、運用システム２００において実行されているアプリケーションの実行環境を移行させる際に、開発システム１００を用いてアプリケーションの動作検証を事前に実施する場合のシステム構成例が示されている。

【0035】

例えばネットワーク２０を介して開発システム１００と運用システム２００とが接続されている。開発システム１００には、アプリケーションの開発者が使用する２台の開発マシン１００ａ，１００ｂが含まれている。運用システム２００には、アプリケーションを用いたサービスの提供に使用される２台の運用マシン２００ａ，２００ｂが含まれている。

【0036】

開発マシン１００ａ，１００ｂは、アプリケーションの開発とテスト用に用意されたコンピュータである。運用マシン２００ａ，２００ｂは、アプリケーションを用いた処理を実行し、各種サービスなどの運用を行うために用意されたコンピュータである。

【0037】

ここで運用マシン２００ａにおいて運用していたアプリケーションを、運用マシン２００ｂに移行させるものとする。運用マシン２００ｂは、運用マシン２００ａとは異なる動作環境を有している。この場合、開発システム１００では、移行元の運用マシン２００ａと同じ動作環境が開発マシン１００ａに構築され、移行先の運用マシン２００ｂと同じ動作環境が開発マシン１００ｂに構築される。

【0038】

なお開発マシン１００ａ，１００ｂは、それぞれ運用マシン２００ａ，２００ｂの動作環境を再現した仮想マシンであってもよい。開発マシン１００ａ，１００ｂが共に仮想マシンである場合、同一のコンピュータ内に両方の開発マシン１００ａ，１００ｂを構築することができる。

【0039】

図３は、開発マシンのハードウェアの一例を示す図である。開発マシン１００ａは、プロセッサ１０１によって装置全体が制御されている。プロセッサ１０１には、バス１０９を介してメモリ１０２と複数の周辺機器が接続されている。プロセッサ１０１は、マルチプロセッサであってもよい。プロセッサ１０１は、例えばＣＰＵ、ＭＰＵ（Micro Processing Unit）、またはＤＳＰ（Digital Signal Processor）である。プロセッサ１０１がプログラムを実行することで実現する機能の少なくとも一部を、ＡＳＩＣ（Application Specific Integrated Circuit）、ＰＬＤ（Programmable Logic Device）などの電子回路で実現してもよい。

【0040】

メモリ１０２は、開発マシン１００ａの主記憶装置として使用される。メモリ１０２には、プロセッサ１０１に実行させるＯＳのプログラムやアプリケーションプログラムの少なくとも一部が一時的に格納される。また、メモリ１０２には、プロセッサ１０１による処理に利用する各種データが格納される。メモリ１０２としては、例えばＲＡＭ（Random Access Memory）などの揮発性の半導体記憶装置が使用される。

【0041】

バス１０９に接続されている周辺機器としては、ストレージ装置１０３、ＧＰＵ（Graphics Processing Unit）１０４、入力インタフェース１０５、光学ドライブ装置１０６、機器接続インタフェース１０７およびネットワークインタフェース１０８がある。

【0042】

ストレージ装置１０３は、内蔵した記録媒体に対して、電気的または磁気的にデータの書き込みおよび読み出しを行う。ストレージ装置１０３は、開発マシン１００ａの補助記憶装置として使用される。ストレージ装置１０３には、ＯＳのプログラム、アプリケーションプログラム、および各種データが格納される。なお、ストレージ装置１０３としては、例えばＨＤＤ（Hard Disk Drive）やＳＳＤ（Solid State Drive）を使用することができる。

【0043】

ＧＰＵ１０４は画像処理を行う演算装置であり、グラフィックコントローラとも呼ばれる。ＧＰＵ１０４には、モニタ２１が接続されている。ＧＰＵ１０４は、プロセッサ１０１からの命令に従って、画像をモニタ２１の画面に表示させる。モニタ２１としては、有機ＥＬ（Electro Luminescence）を用いた表示装置や液晶表示装置などがある。

【0044】

入力インタフェース１０５には、キーボード２２とマウス２３とが接続されている。入力インタフェース１０５は、キーボード２２やマウス２３から送られてくる信号をプロセッサ１０１に送信する。なお、マウス２３は、ポインティングデバイスの一例であり、他のポインティングデバイスを使用することもできる。他のポインティングデバイスとしては、タッチパネル、タブレット、タッチパッド、トラックボールなどがある。

【0045】

光学ドライブ装置１０６は、レーザ光などを利用して、光ディスク２４に記録されたデータの読み取り、または光ディスク２４へのデータの書き込みを行う。光ディスク２４は、光の反射によって読み取り可能なようにデータが記録された可搬型の記録媒体である。光ディスク２４には、ＤＶＤ（Digital Versatile Disc）、ＤＶＤ－ＲＡＭ、ＣＤ－ＲＯＭ（Compact Disc Read Only Memory）、ＣＤ－Ｒ（Recordable）／ＲＷ（ReWritable）などがある。

【0046】

機器接続インタフェース１０７は、開発マシン１００ａに周辺機器を接続するための通信インタフェースである。例えば機器接続インタフェース１０７には、メモリ装置２５やメモリリーダライタ２６を接続することができる。メモリ装置２５は、機器接続インタフェース１０７との通信機能を搭載した記録媒体である。メモリリーダライタ２６は、メモリカード２７へのデータの書き込み、またはメモリカード２７からのデータの読み出しを行う装置である。メモリカード２７は、カード型の記録媒体である。

【0047】

ネットワークインタフェース１０８は、ネットワーク２０に接続されている。ネットワークインタフェース１０８は、ネットワーク２０を介して、他のコンピュータまたは通信機器との間でデータの送受信を行う。ネットワークインタフェース１０８は、例えばスイッチやルータなどの有線通信装置にケーブルで接続される有線通信インタフェースである。またネットワークインタフェース１０８は、基地局やアクセスポイントなどの無線通信装置に電波によって通信接続される無線通信インタフェースであってもよい。

【0048】

開発マシン１００ａは、以上のようなハードウェアによって実現することができる。他の開発マシン１００ｂおよび運用マシン２００ａ，２００ｂも、開発マシン１００ａと同様のハードウェアで実現することができる。また、第１の実施の形態に示した情報処理装置１０も、図３に示した開発マシン１００ａと同様のハードウェアにより実現することができる。

【0049】

開発マシン１００ａは、例えばコンピュータ読み取り可能な記録媒体に記録されたプログラムを実行することにより、第２の実施の形態の処理機能を実現する。開発マシン１００ａに実行させる処理内容を記述したプログラムは、様々な記録媒体に記録しておくことができる。例えば、開発マシン１００ａに実行させるプログラムをストレージ装置１０３に格納しておくことができる。プロセッサ１０１は、ストレージ装置１０３内のプログラムの少なくとも一部をメモリ１０２にロードし、プログラムを実行する。また開発マシン１００ａに実行させるプログラムを、光ディスク２４、メモリ装置２５、メモリカード２７などの可搬型記録媒体に記録しておくこともできる。可搬型記録媒体に格納されたプログラムは、例えばプロセッサ１０１からの制御により、ストレージ装置１０３にインストールされた後、実行可能となる。またプロセッサ１０１が、可搬型記録媒体から直接プログラムを読み出して実行することもできる。

【0050】

例えば運用マシン２００ａでアプリケーションを実行させてサービスを提供する運用者は、アプリケーションを別の運用マシン２００ｂに移行する場合、例えば事前に開発マシン１００ａ，１００ｂを用いて、アプリケーションの実行環境の互換性の検証を行う。互換性の検証では、データ形式の違いに起因して意図しない動作（非互換動作）が実行されるか否かが検証される。

【0051】

ここでデータ形式の違いに起因する非互換動作としては、例えば以下のような動作がある。
第１の例は、エンディアンの違いに起因する非互換動作である。エンディアンとは、複数のバイトを並べる順序の種類である。エンディアンの種類には、ビッグエンディアン、リトルエンディアンなどがある。ビッグエンディアンでは、バイト単位のデータが上位のバイトから順に並べられる。リトルエンディアンでは、バイト単位のデータが下位のバイトから順に並べられる。

【0052】

ビッグエンディアンのデータ入力を前提とするプログラム実行環境からリトルエンディアンのデータ入力を前提とするプログラム実行環境へ移行する場合がある。例えば移行元のプログラム実行環境では、ネットワークからネットワークバイトオーダー（ビッグエンディアン）のバイト列を４バイト読み込み、それをそのままバイナリ整数と見なして処理しているものとする。このとき移行先のプログラム実行環境では、取得するデータをリトルエンディアンとして取り扱う場合がある。この場合、エンディアンが異なるため、ビッグエンディアンのデータをそのまま実行してしまうと、本来の値とは異なる整数値として処理が実行され、意図しない結果が出力される。

【0053】

第２の例は、文字コードの違いに起因する非互換動作である。例えばプログラムを実行するＯＳを、システム文字コードがＥＵＣのＯＳからＵＴＦ－１６のＯＳに移行する場合がある。この場合、移行先のコンピュータでは処理ロジックがＵＴＦ－１６を想定しているため、取得した文字データがＥＵＣのまま入力されると意図しない結果が出力される。

【0054】

その他、浮動小数点の表現形式の違いも非互換動作の原因となり得る。このように、プログラム実行環境において取り扱われるデータ形式の違いにより、非互換動作が発生する。そこで運用者は、開発システム１００を用いた実行環境移行に伴う動作検証を行い、データ形式の違いに起因する非互換動作の検出と非互換動作の原因箇所の特定を行う。

【0055】

なお、非互換動作の発生箇所が複数ある場合も考えられる。その場合、非互換動作の複数の発生箇所を漏れなく検出するのは容易ではない。以下、図４を参照して、非互換動作の複数の発生箇所を検出することの困難性について説明する。

【0056】

図４は、非互換動作の一例を示す図である。図４の例では、ソースファイル１１１ａとソースファイル１１１ｂとに基づくアプリケーションが、移行元の運用マシン２００ａで実行されているものとする。ソースファイル１１１ａには、ソースファイル１１１ｂの呼び出し命令「ＣＡＬＬ ”ＰＲＯＧ－Ｂ” ＵＳＩＮＧＷＫ－ＩＴＥＭ－２．」が含まれている。ソースファイル１１１ｂには、「ＰＡＲＡＭ－ＮＵＭ」の値を変更する命令「ＡＤＤ１ＴＯＰＡＲＡＭ－ＮＵＭ．」が含まれている。

【0057】

ソースファイル１１１ａとソースファイル１１１ｂとに基づくアプリケーションを移行元の同一環境の開発マシン１００ａで実行したとき、「ＰＡＲＡＭ－ＮＵＭ」の値が「０」になったものとする。また、ソースファイル１１１ａとソースファイル１１１ｂとに基づくアプリケーションを移行先と同一環境の開発マシン１００ｂで実行したとき、「ＰＡＲＡＭ－ＮＵＭ」の値が「－０」になったものとする。この場合、移行先の環境での「ＰＡＲＡＭ－ＮＵＭ」の値は不正な値である。

【0058】

移行元の環境の開発マシン１００ａと移行先の環境の開発マシン１００ｂとのそれぞれにおいて、データの値の変更命令の前後でデータの値をデータ変更履歴として保存しておくことで、非互換動作による不正な値の検出が可能となる。例えば開発マシン１００ｂが、移行元の環境におけるデータ変更履歴と移行先環境におけるデータ変更履歴とを比較して、非互換動作による不正な値を検出する。

【0059】

なお、移行先環境において「ＰＡＲＡＭ－ＮＵＭ」に不正な値が設定され、そのまま処理を継続した場合、移行先環境における不正な値設定後の処理は、移行元の処理とは異なる動作となる。そのため開発マシン１００ｂにおいて非互換動作を１件検出すると、その非互換動作後に保存されたデータに不正な値があっても、その原因はすでに検出された非互換動作に起因する可能性がある。そのため、非互換動作による不正な値をそのままにしてアプリケーションの処理を継続した場合、１回のアプリケーション実行で検出できる非互換動作は１件に留まる。すなわち、非互換動作が他にもあるか否かを検出するには、ソースファイル１１１ａとソースファイル１１１ｂを修正し、修正後のアプリケーションを再度実行することとなる。

【0060】

このようにアプリケーションをそのまま実行している限り、１度の実行で検出できる非互換動作の発生箇所は１つであり、移行先環境での一度のアプリケーションの実行で非互換動作のすべての発生箇所を特定することは困難である。そのため、非互換発生箇所を検出するごとに、ソースファイルの修正とアプリケーションの再実行とを繰り返すこととなる。

【0061】

なお、ソースファイルを修正すると、ソースコードの行数が変わるため、非互換動作の検出の困難性が増すという問題も発生する。
図５は、修正されたソースファイルの一例を示す図である。例えばファイル名「ｂ．ｃｏｂ」のソースファイル１１１ｂが、ソースファイル１１１ｃに修正されたものとする。ソースファイル１１１ｃには「ＰＡＲＡＭ－ＮＵＭ」の値の修正処理を呼び出す命令「ＣＡＬＬＦＩＸ－ＰＡＲＡＭ－ＮＵＭＵＳＩＮＧＰＡＲＡＭ－ＮＵＭ．」が追加されている。

【0062】

図６は、ソースファイルが修正された場合のデータ変更履歴の一例を示す図である。図６には、移行元環境でのデータ変更履歴１１５ａと移行先環境でのデータ変更履歴１４５ａとが示されている。データ変更履歴１１５ａ，１４５ａそれぞれには、複数のログレコードが含まれている。

【0063】

ログレコードには、通し番号、ソース名、行番号、イベント種類、データ名、および内容などのフィールドが含まれる。通し番号のフィールドには、ログレコードに付与された識別番号が設定される。この識別番号は、例えばログレコードへの記録が早い順に１から昇順の番号である。ソース名のフィールドには、実行された実行ファイルの生成元となったソースファイルのファイル名が設定される。行番号のフィールドには、ログレコードを出力する原因となった命令に対応する、ソースファイル内の命令が記述されたソースファイル内の行番号が設定される。イベント種類のフィールドには、ログレコードが、データの変更を伴う命令の実行前のログ（実行前）なのか、あるいはデータの変更を伴う命令の実行後のログ（実行後）なのかを示す情報が設定される。データ名のフィールドには、データを一意に識別できるように修飾された名前が設定される。内容のフィールドには、データの変更前または変更後のそのデータの値が設定される。

【0064】

なお、図６の例では省略されているが、ログレコードには、アドレス、サイズ、データのフィールドも含まれる。アドレスのフィールドには、変更されたデータのメモリ内でのアドレスが設定される。サイズのフィールドには、変更されたデータのサイズが設定される。データ形式のフィールドには、変更されたデータのデータ形式を示す情報が設定される。

【0065】

図６に示すように移行元と移行先とでソースファイルが異なると、移行元環境でのデータ変更履歴１１５ａと移行先環境でのデータ変更履歴１４５ａとでは、対応する命令のログレコードであっても通し番号が異なる。そのためデータ変更履歴１１５ａ，１４５ａの通し番号を利用した、単純なデータ変更履歴１１５ａ，１４５ａの比較は困難である。

【0066】

以上のように、アプリケーションをそのまま実行すると、移行先環境での一度のアプリケーションの実行で非互換動作の発生箇所をすべて特定して、その非互換動作を解消することが困難であるという問題がある。このような問題から、ソースファイルの修正とアプリケーションの実行とを繰り返すことになるが、ソースファイルを修正すると、移行元と移行先とのデータ変更履歴の比較が困難となる。

【0067】

そこで第２の実施の形態のシステムでは、移行先と同一環境の開発マシン１００ｂにおいてアプリケーションを実行する際に動的に非互換発生箇所を検出し、その都度、不正な値を修正する。不正な値を修正しながらアプリケーションを実行することで、非互換動作の発生箇所が複数あっても、該当箇所を適切に検出することができる。

【0068】

またソースファイルが修正された場合、例えば開発マシン１００ｂが、修正前後でのソースファイル内の行の対応関係を示す行対応情報を生成する。開発マシン１００ｂは、この行対応情報を参照して非互換動作の検出を行うことで、ソースファイルが修正されていても、非互換動作の検出を適切に行うことが可能となる。

【0069】

図７は、アプリケーションの動作検証のために開発システムが有する機能の一例を示す図である。開発マシン１００ａは、記憶部１１０、コンパイラ１２０、および実行部１３０を有する。

【0070】

記憶部１１０は、ソースファイル１１１、実行ファイル１１２、複数のデータファイル１１３ａ，１１３ｂ，・・・、ランタイムライブラリ１１４、およびデータ変更履歴１１５を記憶する。

【0071】

ソースファイル１１１は、アプリケーションの処理内容が高級言語で記述されたプログラムファイルである。実行ファイル１１２は、ソースファイル１１１に基づいて生成された実行形式の機械語のプログラムファイルである。データファイル１１３ａ，１１３ｂ，・・・は、実行ファイル１１２の実行時に使用するデータが設定されたファイルである。ランタイムライブラリ１１４は、実行ファイル１１２の実行時に利用可能なランタイム（ソフトウェア部品）が登録されたファイルである。データ変更履歴１１５は、実行ファイル１１２によるアプリケーション実行時のデータ変更履歴が格納されたログファイルである。

【0072】

コンパイラ１２０は、ソースファイル１１１の機械語への翻訳（コンパイル）を実行する。すなわちコンパイラ１２０は、ソースファイル１１１に記述されたプログラムを解釈し、開発マシン１００ａにおけるプログラム実行環境に適合する実行ファイル１１２を生成する。なお開発マシン１００ａのプログラム実行環境は運用システム２００における移行元の運用マシン２００ａと同じであるため、生成される実行ファイル１１２は移行元の運用マシン２００ａにも適合している。コンパイラ１２０は、データ領域内のデータの変更を伴う命令を検出した場合、変更前後においてデータの値を記録する命令を、実行ファイル１１２に追加する。

【0073】

実行部１３０は、実行ファイル１１２を実行するプロセスである。実行部１３０は、実行ファイル１１２の実行過程で処理対象のデータ読み込み命令がある場合、例えばデータファイル１１３ａ，１１３ｂ，・・・から該当するデータを読み込む。また実行部１３０は、実行ファイル１１２の実行途中でランタイムが呼び出された場合、ランタイムライブラリ１１４から該当するランタイムを取得して、取得したランタイムを実行する。例えば指定されたデータをデータ変更履歴１１５に記録するランタイムが用意されている場合、実行部１３０は、データの値を記録する命令の実行時にそのランタイムを呼び出して実行する。実行部１３０が実行ファイル１１２を実行することで、実行ファイル１１２の実行過程で変更されたデータの変更前後での値がデータ変更履歴１１５に格納される。

【0074】

開発マシン１００ｂは、記憶部１４０、コンパイラ１５０、および実行部１６０を有する。
記憶部１４０は、ソースファイル１４１、実行ファイル１４２、複数のデータファイル１４３ａ，１４３ｂ，・・・、ランタイムライブラリ１４４、データ変更履歴１４５、および行対応情報１４６を記憶する。

【0075】

ソースファイル１４１は、ソースファイル１１１と同じ内容のプログラムファイル、またはソースファイル１１１を修正することで生成されたプログラムファイルである。実行ファイル１４２は、ソースファイル１４１に基づいて生成された実行形式のプログラムである。データファイル１４３ａ，１４３ｂ，・・・は、実行ファイル１４２の実行時に使用するデータが設定されたファイルである。ランタイムライブラリ１４４は、実行ファイル１４２の実行時に利用可能なランタイムが登録されたファイルである。データ変更履歴１４５は、実行ファイル１４２によるアプリケーション実行時のデータ変更履歴が格納されたログファイルである。行対応情報１４６は、移行元環境用のソースファイル１１１と移行先環境用のソースファイル１４１との間の行の対応関係を示す情報である。

【0076】

なおデータファイル１４３ａ，１４３ｂ，・・・は、例えば開発マシン１００ａが有するデータファイル１１３ａ，１１３ｂ，・・・に含まれるデータのデータ形式を、移行先のプログラム実行環境に対応するデータ形式に変換することで生成される。ここで、データファイル１４３ａ，１４３ｂ，・・・が大量にあるとき、データ形式の変換漏れが発生する可能性がある。このようなデータ形式の変換漏れは、非互換動作の発生原因となる。

【0077】

コンパイラ１５０は、ソースファイル１４１の機械語へのコンパイルを実行する。すなわちコンパイラ１５０は、ソースファイル１４１に記述されたプログラムを解釈し、開発マシン１００ｂにおけるプログラム実行環境に適合する実行ファイル１４２を生成する。なお開発マシン１００ｂのプログラム実行環境は運用システム２００における移行先の運用マシン２００ｂと同じであるため、生成される実行ファイル１４２は移行先の運用マシン２００ｂにも適合している。

【0078】

コンパイラ１５０は、データ領域内のデータの変更を伴う命令を検出した場合、変更前後においてデータの値を記録する命令を、実行ファイル１４２に追加する。またコンパイラ１５０は、データ領域内のデータの変更を伴う命令を検出した場合、変更後においてデータ変更履歴を比較する命令を、実行ファイル１４２に追加する。さらにコンパイラ１５０は、移行元環境用のソースファイル１１１と移行先環境用のソースファイル１４１とを比較して、行対応情報１４６を生成する。

【0079】

実行部１６０は、実行ファイル１４２を実行するプロセスである。実行部１６０は、実行ファイル１４２の実行過程で処理対象のデータ読み込み命令がある場合、例えばデータファイル１４３ａ，１４３ｂ，・・・から該当するデータを読み込む。また実行部１６０は、実行ファイル１４２の実行途中でランタイムが呼び出された場合、ランタイムライブラリ１４４から該当するランタイムを取得して、取得したランタイムを実行する。例えば指定されたデータをデータ変更履歴１４５に記録するランタイムが用意されている場合、実行部１６０は、データの値を記録する命令の実行時にそのランタイムを呼び出して実行する。またデータ変更履歴１１５，１４５を比較するランタイムが用意されている場合、実行部１６０は、データ変更履歴１１５，１４５を比較する命令の実行時にそのランタイムを呼び出して実行する。

【0080】

実行部１６０が実行ファイル１４２を実行することで、実行ファイル１４２の実行過程で変更されたデータの変更前後での値がデータ変更履歴１４５に格納される。また実行部１６０が実行ファイル１４２を実行する過程で、データ変更履歴１１５，１４５の比較により非互換動作を検出した場合、非互換動作で不正な値が設定された非互換データの値を正しい値に修正し、処理を継続する。

【0081】

なお、図７に示した各要素間を接続する線は通信経路の一部を示すものであり、図示した通信経路以外の通信経路も設定可能である。また、図７に示した各要素の機能は、例えば、その要素に対応するプログラムモジュールをプロセッサ１０１に実行させることで実現することができる。

【0082】

開発システム１００による非互換動作の検出と非互換動作の原因箇所の特定処理は、以下の手順で行われる。
まずソースファイル１１１，１４１に記述されたプログラムの記述言語に対応するコンパイラ１２０，１５０が、実行ファイル１１２，１４２に示されるプログラム実行時のすべてのデータのデータ変更履歴を自動的に記録するようにプログラムを生成する。

【0083】

図８は、実行ファイルの生成状況の一例を示す図である。例えば開発マシン１００ａにおいて、コンパイラ１２０がソースファイル１１１をコンパイルし、実行ファイル１１２を生成する。また開発マシン１００ｂにおいて、コンパイラ１５０がソースファイル１４１をコンパイルし、実行ファイル１４２を生成する。なおソースファイル１４１は、ソースファイル１１１のコピーそのまま、またはソースファイル１１１のコピーに修正を加えたものである。コンパイラ１２０，１５０は、ソースファイル１１１，１４１をコンパイルする際、データの変更を伴う命令を検出すると、その命令の前後に、データの記録命令を追加する。

【0084】

またコンパイラ１５０は、ソースファイル１４１をコンパイルする際、データの変更を伴う命令を検出すると、データの記録命令に加えて、データ変更履歴を比較する命令を実行ファイル１４２に追加する。さらにコンパイラ１５０は、ソースファイル１１１とソースファイル１４１とを比較し、行対応情報１４６を生成する。例えばコンパイラ１５０は、ソースファイル１４１からデータの変更を伴う命令の行を検出すると、その行に対応するソースファイル１１１内の行を探索し、それらの行の行番号を対応付けて行対応情報１４６に格納する。またコンパイラ１５０は、ソースファイル１４１におけるデータの変更を伴う命令の行に対応する行がソースファイル１１１内に存在しない場合、対応する行が存在しないことを示す情報を行対応情報１４６に格納する。

【0085】

次に、移行元環境の開発マシン１００ａで実行される処理について詳細に説明する。
図９は、移行元環境の開発マシンにおける処理の一例を示すフローチャートである。以下、図９に示す処理をステップ番号に沿って説明する。

【0086】

［ステップＳ１０１］開発マシン１００ａのコンパイラ１２０は、ソースファイル１１１をコンパイルする。例えばコンパイラ１２０は、ソースファイル１１１に記述されている命令を解釈し、移行元環境に応じた機械語に翻訳する。そしてコンパイラ１２０は、ソースファイル１１１に示される処理を移行元環境で実行するための実行ファイル１１２を生成する。コンパイル処理の詳細は後述する（図１０参照）。

【0087】

［ステップＳ１０２］実行部１３０は、生成された実行ファイル１１２に記述された機械語のプログラムを実行する。プログラムの実行の結果、データ変更履歴１１５が生成される。

【0088】

図１０は、移行元環境におけるコンパイル処理の手順の一例を示すフローチャートである。以下、図１０に示す処理をステップ番号に沿って説明する。
［ステップＳ１１１］コンパイラ１２０は、ソースファイル１１１の命令文を一文ずつ上から順に選択し、選択した命令文に応じて実行する処理を解釈する。

【0089】

［ステップＳ１１２］コンパイラ１２０は、解釈した命令文に応じた処理によりデータの変更が行われるか否かを判断する。例えばコンパイラ１２０は、メモリ１０２のデータ領域へのデータの読み込みを伴う命令であれば、データの変更があると判断する。コンパイラ１２０は、データの変更がある場合、処理をステップＳ１１４に進める。またコンパイラ１２０は、データの変更がなければ、処理をステップＳ１１３に進める。

【0090】

［ステップＳ１１３］コンパイラ１２０は、解釈した命令文に対応する機械語の命令を、実行ファイル１１２に追加する。その後、コンパイラ１２０は処理をステップＳ１１７に進める。

【0091】

［ステップＳ１１４］コンパイラ１２０は、変更されるデータの変更前の値をデータ変更履歴１１５に記録させる機械語の命令を、実行ファイル１１２に追加する。
例えばＣＯＢＯＬなどの高級言語では、ソースファイル１１１上の記述と翻訳オプションなどによって、データ形式（例えば文字コードＵＴＦ－８の文字列）を把握することができる。そこでコンパイラ１２０は、ソースファイル１１１の翻訳オプションなどに基づいてデータ形式を把握し、データのデータ形式をデータ変更履歴１１５への記録対象とすることもできる。またコンパイラ１２０は、例えば、データとそのデータ形式を対応付けたファイルをソースファイル１１１と共にコンパイル時の入力とし、そのファイルに基づいてデータ形式を把握し、データのデータ形式をデータ変更履歴１１５への記録対象とすることもできる。

【0092】

［ステップＳ１１５］コンパイラ１２０は、解釈した命令文に対応する機械語の命令を、実行ファイル１１２に追加する。
［ステップＳ１１６］コンパイラ１２０は、変更されるデータの変更後の値をデータ変更履歴１１５に記録させる機械語の命令を、実行ファイル１１２に追加する。

【0093】

［ステップＳ１１７］コンパイラ１２０は、ソースファイル１１１に記述されたプログラムの最後の命令まで解釈が終了したか否かを判断する。コンパイラ１２０は、最後の命令まで解釈が終了した場合、コンパイルを終了する。コンパイラ１２０は、未解釈の命令がある場合、処理をステップＳ１１１に進める。

【0094】

このようにしてコンパイラ１２０によりコンパイルが実行され、機械語の命令によって処理が記述された実行ファイル１１２が生成される。
図１１は、移行元環境におけるコンパイル結果の一例を示す図である。図１１では、ＣＯＢＯＬ言語で記述されたプログラムのソースファイル１１１をコンパイルする例が示されている。ソースファイル１１１のファイル名は「ａ．ｃｏｂ」であり、そのソースファイル１１１に記述されたプログラムは「ＰＲＯＧ－Ａ」である。なお実行ファイル１１２の内容としては、機械語の命令そのものではなく、記述された命令の意味を示している。

【0095】

例えばコンパイラ１２０は、データの変更を記述するすべての命令文の前後に操作対象データのその時点の値を記録する命令を生成する。以下、プログラム中の「ＲＥＡＤＦＩＬＥ－１．」という文（行番号「０００１００」）に対してデータの値を記録する命令を生成する例を詳細に説明する。

【0096】

コンパイラ１２０は、その言語の文の仕様を理解している。そのためコンパイラ１２０は、その文を解析した結果、その文がどのデータを変更する可能性があるかを把握することができる。図１１に示すソースファイル１１１のＲＥＡＤ文（ファイルからデータを読み込む命令文）の場合、コンパイラ１２０は以下の事柄を認識する。
・ＲＥＡＤ文はデータ領域ＷＫ－ＲＥＣＯＲＤを書き換える可能性がある。
・ＷＫ－ＲＥＣＯＲＤの定義から、ＷＫ－ＲＥＣＯＲＤは以下の末端項目から構成されている。
ＷＫ－ＩＴＥＭ－１：４バイト
ＷＫ－ＩＴＥＭ－２：８バイト
コンパイラ１２０はこの例のＲＥＡＤ文に対する命令の前後に、変更される可能性のあるデータ領域の値を記録する命令を生成する。この命令生成は、変更される可能性のあるデータ領域のそれぞれに対して行われる。この例の場合、変更される可能性があるデータ領域はＷＫ－ＲＥＣＯＲＤのみなので、コンパイラ１２０はＷＫ－ＲＥＣＯＲＤに対してのみデータの値を記録する命令を生成する。ただしコンパイラ１２０は、その命令をＷＫ－ＲＥＣＯＲＤに対して生成するのではなく、末端のデータ項目（この場合、ＷＫ－ＩＴＥＭ－１とＷＫ－ＩＴＥＭ－２）ごとに順番に出力する。

【0097】

これにより実行ファイル１１２には、「ＲＥＡＤＦＩＬＥ－１．」に相当する命令の前後に、ＷＫ－ＩＴＥＭ－１の値とＷＫ－ＩＴＥＭ－２の値とのそれぞれを記録する命令が追加される。

【0098】

「データ領域の値を記録する命令」は、例えばデータの値をデータ変更履歴１１５に記録する機能を持つランタイム関数の読み出し命令である。その場合、コンパイラ１２０は、データの値をデータ変更履歴１１５に記録するために、ランタイム関数に以下の情報を渡す命令を生成する。
・記録対象とする文の位置（図１１の例では「ａ．ｃｏｂ」の行「０００１００」）
・イベント種類（記録対象とする文の実行前か実行後か）
・データ領域の先頭アドレス
・データ領域のサイズ
・データ名（実行プロセス内でデータを一意に識別できるように修飾された名前（例えばＰＲＯＧ－Ａ／ＷＫ－ＲＥＣＯＲＤ／ＷＫ－ＩＴＥＭ－１））
・データ形式
コンパイラ１２０は、翻訳にあたり、各データ領域のデータ形式を例えば以下の情報から決定する。
・データの種類に応じたＣＯＢＯＬのデフォルト値（多くは実行環境ごとに設定される）
・ＣＯＢＯＬ翻訳オプションなどによる指定（例えばユーザによるデフォルト値の書き換え）
・ソースファイル１１１上でのデータに対する明示的な記述
このようにして、データの値を記録する命令を含む実行ファイル１１２が生成される。

【0099】

一方、移行先環境を有する開発マシン１００ｂでは、ソースファイル１４１のコンパイルと、コンパイルで生成された実行ファイル１４２の実行とが行われる。以下、移行先環境の開発マシン１００ｂによる処理を具体的に説明する。

【0100】

図１２は、移行先環境の開発マシンにおける処理の一例を示すフローチャートである。以下、図１２に示す処理をステップ番号に沿って説明する。
［ステップＳ２０１］開発マシン１００ｂのコンパイラ１５０は、ソースファイル１４１をコンパイルする。例えばコンパイラ１５０は、ソースファイル１４１に記述されている命令を解釈し、移行先環境に応じた機械語に翻訳する。そしてコンパイラ１５０は、ソースファイル１４１に示される処理を移行先環境で実行するための実行ファイル１４２を生成する。なお、コンパイラ１５０は、コンパイルの際に、行対応情報１４６を生成する。移行先環境の開発マシンにおけるコンパイル処理の詳細は後述する（図１３参照）。

【0101】

［ステップＳ２０２］実行部１６０は、生成された実行ファイル１４２に記述されたプログラムを実行する。実行ファイル１４２に基づく処理の実行の結果、データ変更履歴１４５が生成される。なお、実行部１６０は、プログラム中にデータ変更履歴の比較を指示する命令がある場合、その命令に従ってデータ変更履歴の比較処理を行う。移行先環境でのプログラム実行処理の詳細は後述する（図２１参照）。

【0102】

図１３は、移行先環境におけるコンパイル処理の手順の一例を示すフローチャートである。以下、図１３に示す処理をステップ番号に沿って説明する。
［ステップＳ２１１］コンパイラ１５０は、ソースファイル１４１の命令文を一文ずつ上から順に選択し、選択した命令文に応じて実行する処理を解釈する。

【0103】

［ステップＳ２１２］コンパイラ１５０は、解釈した命令文に応じた処理によりデータの変更が行われるか否かを判断する。コンパイラ１５０は、データの変更がある場合、処理をステップＳ２１４に進める。またコンパイラ１５０は、データの変更がなければ、処理をステップＳ２１３に進める。

【0104】

［ステップＳ２１３］コンパイラ１５０は、解釈した命令文に対応する機械語の命令を、実行ファイル１４２に追加する。その後、コンパイラ１５０は処理をステップＳ２２１に進める。

【0105】

［ステップＳ２１４］コンパイラ１５０は、変更されるデータの変更前の値をデータ変更履歴１４５に記録させる機械語の命令を、実行ファイル１４２に追加する。
［ステップＳ２１５］コンパイラ１５０は、解釈した命令文に対応する機械語の命令を、実行ファイル１４２に追加する。

【0106】

［ステップＳ２１６］コンパイラ１５０は、変更されるデータの変更後の値をデータ変更履歴１４５に記録させる機械語の命令を、実行ファイル１４２に追加する。
［ステップＳ２１７］コンパイラ１５０は、データ変更履歴１１５，１４５の比較を実行させる機械語の命令を、実行ファイル１４２に追加する。

【0107】

［ステップＳ２１８］コンパイラ１５０は、解釈した命令文に対応する命令文が移行元のソースファイル１１１にあるか否かを判断する。例えばコンパイラ１５０は、ソースファイル１１１から、解釈した命令文と同じ記述の命令文を検索し、該当する命令文がある場合、対応する命令文があると判断する。コンパイラ１５０は、対応する命令文がある場合、処理をステップＳ２１９に進める。またコンパイラ１５０は、対応する命令文がなければ、処理をステップＳ２２０に進める。

【0108】

［ステップＳ２１９］コンパイラ１５０は、解釈した命令文の行番号と、ソースファイル１１１内の対応する命令文の行番号との組を、行対応情報１４６に記録する。コンパイラ１５０は、その後、処理をステップＳ２２１に進める。

【0109】

［ステップＳ２２０］コンパイラ１５０は、解釈した命令文の行番号を、対応する命令文の行番号なしで、行対応情報１４６に記録する。
［ステップＳ２２１］コンパイラ１５０は、ソースファイル１４１に記述されたプログラムの最後の命令まで解釈が終了したか否かを判断する。コンパイラ１５０は、最後の命令まで解釈が終了した場合、コンパイルを終了する。コンパイラ１５０は、未解釈の命令がある場合、処理をステップＳ２１１に進める。

【0110】

このようにしてコンパイラ１５０によりコンパイルが実行され、機械語の命令によって処理が記述された実行ファイル１４２が生成される。
図１４は、移行先環境におけるコンパイル結果の一例を示す図である。図１４に示す移行先環境用のソースファイル１４１の内容は、移行元環境でコンパイルされたソースファイル１１１と同じである。ソースファイル１４１をコンパイルすることで生成される実行ファイル１４２には、移行元の実行ファイル１１２に含まれる命令に加えて、データ変更履歴を比較する命令が含まれている。データ変更履歴を比較する命令は、例えば、変更後のデータの値を記録する命令の後に記述される。

【0111】

また移行先環境におけるコンパイルの際には、行対応情報１４６が生成される。
図１５は、生成される行対応情報の第１の例を示す図である。図１５の例では、移行元環境用のソースファイル１１１ｂの内容を修正して、移行先環境用のソースファイル１４１ａが生成されている。修正されたソースファイル１４１ａでは、行番号「０００３００」に新たな行が追加されている。それに伴い、ソースファイル１１１ｂにおいて行番号「０００３００」であった行が、ソースファイル１４１ａでは行番号「０００３１０」に変更されている。

【0112】

コンパイラ１５０は、ソースファイル１１１ｂとソースファイル１４１ａとの差分情報を取得する。コンパイラ１５０は、例えばソースファイル１４１ａの行番号「０００３００」、「０００３１０」の行の命令文を翻訳する際に、それらの命令文に対応するレコードを行対応情報１４６ａに登録する。

【0113】

行対応情報１４６ａに登録されるレコードは、ｉｄ、ソース名、修正前行番号、および修正後行番号のフィールドを有している。ｉｄのフィールドには、レコードの通し番号が設定される。ソース名のフィールドには、ソースファイル１１１ｂ，１４１ａに共通のファイル名が設定される。修正前行番号のフィールドには、修正前のソースファイル１１１ｂにおける命令文の行番号が設定される。修正後行番号のフィールドには、修正後のソースファイル１４１ａにおける命令文の行番号が設定される。

【0114】

図１５の例では、修正後のソースファイル１４１ａの行番号「０００３００」の行に記述された命令文に対応する命令文は、修正前のソースファイル１１１ｂに含まれていない。そのため、行対応情報１４６ａにおいて、修正後行番号「０００３００」が設定されたレコードの修正前行番号は空欄「－」となる。

【0115】

また修正後のソースファイル１４１ａの行番号「０００３１０」の行に記述された命令文に対応する命令文は、修正前のソースファイル１１１ｂでは行番号「０００３００」の行に記述されている。そのため、行対応情報１４６ａにおいて、修正後行番号「０００３１０」が設定されたレコードの修正前行番号は「０００３００」となる。

【0116】

行対応情報１４６ａは、データ変更履歴１１５，１４５それぞれにおける比較対象のログレコードの対応関係の判断に利用される。
図１６は、行対応情報に基づいて特定される比較対象のログレコードの第１の例を示す図である。データ変更履歴の比較時には、移行先のデータ変更履歴１４５ａから、実行した命令に対応するログレコードが抽出される。例えば移行先のソースファイル１４１ａの行番号「０００３００」の行の命令文に対応する機械語の命令が実行された場合、行番号「０００３００」のログレコードが抽出される。行対応情報１４６ａにおいて、抽出されたログレコードの行番号「０００３００」（修正後行番号）には修正前行番号が対応付けられていない。この場合、行番号「０００３００」の命令文は修正によって追加された追加コードであり、データの値の比較対象外であると判断される。

【0117】

また例えば移行先のソースファイル１４１ａの行番号「０００３１０」の行の命令文に対応する機械語の命令が実行された場合、行番号「０００３１０」のログレコードが抽出される。行対応情報１４６ａにおいて、抽出されたログレコードの行番号「０００３１０」（修正後行番号）には修正前行番号「０００３００」が対応付けられている。この場合、移行元のデータ変更履歴１１５ａにおける行番号「０００３００」のログレコードと、移行先のデータ変更履歴１４５ａにおける行番号「０００３１０」のログレコードとが比較対象であると判断される。

【0118】

図１７は、生成される行対応情報の第２の例を示す図である。図１７の例では、移行元環境用のソースファイル１１１ｄの内容を修正して、移行先環境用のソースファイル１４１ｂが生成されている。修正されたソースファイル１４１ｂでは、移行元環境用のソースファイル１１１ｄにおける行番号「０００３００」の行が削除されている。それに伴い、ソースファイル１１１ｄにおいて行番号「０００３１０」であった行が、ソースファイル１４１ｂでは行番号「０００３００」に変更されている。

【0119】

コンパイラ１５０は、ソースファイル１１１ｄとソースファイル１４１ｂとの差分情報を取得する。コンパイラ１５０は、例えばソースファイル１４１ｂの行番号「０００３００」の行の命令文を翻訳する際に、それらの命令文に対応するレコードを行対応情報１４６ｂに登録する。

【0120】

図１７の例では、修正後のソースファイル１４１ｂの行番号「０００３００」の行に記述された命令文に対応する命令文は、修正前のソースファイル１１１ｄでは行番号「０００３１０」の行に記述されている。そのため、行対応情報１４６ｂにおいて、修正後行番号「０００３００」が設定されたレコードの修正前行番号は「０００３１０」となる。

【0121】

図１８は、行対応情報に基づいて特定される比較対象のログレコードの第２の例を示す図である。データ変更履歴の比較時には、移行先のデータ変更履歴１４５ｂから、実行した命令に対応するログレコードが抽出される。例えば移行先のソースファイル１４１ｂの行番号「０００３００」の行の命令文に対応する機械語の命令が実行された場合、行番号「０００３００」のログレコードが抽出される。行対応情報１４６ｂにおいて、抽出されたログレコードの行番号「０００３００」（修正後行番号）には修正前行番号「０００３１０」が対応付けられている。この場合、移行元のデータ変更履歴１１５ｂにおける行番号「０００３１０」のログレコードと、移行先のデータ変更履歴１４５ｂにおける行番号「０００３００」のログレコードとが比較対象であると判断される。

【0122】

コンパイルによって生成された移行元環境用の実行ファイル１１２は、移行元環境の開発マシン１００ａの実行部１３０で実行され、その結果、データ変更履歴１１５が生成される。また移行先環境用の実行ファイル１４２は、移行先環境の開発マシン１００ｂの実行部１６０で実行され、その結果、データ変更履歴１４５が生成される。移行先環境用の実行ファイル１４２を実行する際には、データ変更履歴１１５，１４５と行対応情報１４６とを用いて、非互換動作の検出と修正が行われる。

【0123】

図１９は、移行元と移行先との実行部の機能の一例を示すブロック図である。移行元環境の開発マシン１００ａにおける実行部１３０は、実行ファイル１１２に基づいて、実行ファイル１１２内に記述されているプログラム１１２ａを実行する。また実行部１３０は、プログラム１１２ａ内にランタイム１１４ａを呼び出す命令がある場合、ランタイムライブラリ１１４から該当するランタイム１１４ａを呼び出して実行する。例えば実行部１３０は、データの値を記録する処理のランタイム１１４ａの呼び出し命令に応じて該当するランタイム１１４ａを実行する。その結果、データ変更履歴１１５が生成される。

【0124】

移行先環境の開発マシン１００ｂにおける実行部１６０は、実行ファイル１４２に基づいて、実行ファイル１４２内に記述されているプログラム１４２ａを実行する。また実行部１６０は、プログラム１４２ａ内にランタイム１４４ａを呼び出す命令がある場合、ランタイムライブラリ１４４から該当するランタイム１４４ａを呼び出して実行する。例えば実行部１６０は、データの値を記録する処理のランタイム１４４ａの呼び出し命令に応じて該当するランタイム１４４ａを実行する。その結果、データ変更履歴１４５が生成される。

【0125】

また実行部１６０は、データ変更履歴１１５，１４５を比較する処理の呼び出し命令に応じて、データ差分検出部１６１を呼び出す。例えば実行部１６０は、データ差分検出部１６１に対してデータ変更履歴１１５，１４５の比較を指示するランタイム１４４ａの呼び出し命令に応じて、該当するランタイム１４４ａを介してデータ差分検出部１６１にデータ変更履歴１１５，１４５の比較を指示する。

【0126】

図２０は、データ変更履歴の比較処理の一例を示す図である。プログラム１４２ａ実行時にデータ変更履歴１１５，１４５の比較を指示する命令によって、ランタイム１４４ａを介してデータ差分検出部１６１にデータ変更履歴１１５，１４５の比較が指示される。データ差分検出部１６１は、データ変更履歴１１５，１４５と行対応情報１４６とに基づいて非互換動作を検出する。そしてデータ差分検出部１６１は、非互換動作で値が変更されたデータの移行先環境の値を、移行元環境における値に修正し、ランタイム１４４ａを介して、修正後の値をプログラム１４２ａの該当データの値として設定する。

【0127】

またデータ差分検出部１６１は、非互換動作を検出すると、特定のデータの移行元環境での値と移行先環境での値との違いを示す差分発生ログ１６２を出力する。ユーザは、差分発生ログ１６２に基づいて、１または複数の非互換動作の発生箇所があったことを認識できる。

【0128】

次に、プログラム実行処理の手順について具体的に説明する。
図２１は、プログラム実行処理の手順の一例を示すフローチャートである。以下、図２１に示す処理をステップ番号に沿って説明する。

【0129】

［ステップＳ２３１］実行部１６０は、実行ファイル１４２に記述されているプログラムの命令を順番に実行する。
［ステップＳ２３２］実行部１６０は、実行した命令によりデータ内容を記録するランタイムの呼び出しが行われた場合、処理をステップＳ２３３に進める。また実行部１６０は、他の命令が実行された場合、処理をステップＳ２３４に進める。

【0130】

［ステップＳ２３３］実行部１６０は、ランタイムを用いて、変更対象のデータの内容を示すログレコードをデータ変更履歴１４５に登録する。その後、実行部１６０は処理をステップＳ２３６に進める。

【0131】

［ステップＳ２３４］実行部１６０は、データ変更履歴１１５，１４５を比較するランタイムの呼び出しが行われた場合、処理をステップＳ２３５に進める。また実行部１６０は、データ変更履歴１１５，１４５を比較するランタイムの呼び出しが行われていなければ、処理をステップＳ２３６に進める。

【0132】

［ステップＳ２３５］実行部１６０は、データ差分検出部１６１を呼び出し、データ変更履歴比較処理を実行させる。データ変更履歴比較処理の詳細は後述する（図２２参照）。

【0133】

［ステップＳ２３６］実行部１６０は、プログラムの最後の命令まで処理が終了した場合、プログラム実行を終了する。また実行部１６０は、未実行の命令があれば、処理をステップＳ２３１に進める。

【0134】

次にデータ変更履歴比較処理について詳細に説明する。
図２２は、データ変更履歴比較処理の手順の一例を示すフローチャートである。以下、図２２に示す処理をステップ番号に沿って説明する。

【0135】

［ステップＳ２４１］データ差分検出部１６１は、移行先環境のデータ変更履歴１４５から、データの値を記録する命令によって最後に記録されたログレコードを取得する。
［ステップＳ２４２］データ差分検出部１６１は、行対応情報１４６を参照し、取得したログレコードに示される行番号（移行先行番号）に対応する移行元行番号を取得する。

【0136】

［ステップＳ２４３］データ差分検出部１６１は、データの比較処理を行うか否かを判断する。例えばデータ差分検出部１６１は、行対応情報１４６において対応する移行元行番号が設定されておらず、移行元行番号が取得できなかった場合、比較をしないと判断する。またデータ差分検出部１６１は、移行元行番号が取得できた場合、比較をすると判断する。データ差分検出部１６１は、比較をする場合、処理をステップＳ２４４に進める。またデータ差分検出部１６１は、比較をしない場合はデータ変更履歴比較処理を終了する。

【0137】

［ステップＳ２４４］データ差分検出部１６１は、行対応情報１４６から取得した移行元行番号に対応するログレコードを、移行元のデータ変更履歴１１５から取得する。
［ステップＳ２４５］データ差分検出部１６１は、取得した２つのログレコードを比較対象とし、それらのログレコードに示されるデータ名が同一か否かを判断する。データ差分検出部１６１は、データ名が同一であれば処理をステップＳ２４７に進める。またデータ差分検出部１６１は、データ名が異なれば処理をステップＳ２４６に進める。

【0138】

［ステップＳ２４６］データ差分検出部１６１は、データ変更履歴１１５，１４５それぞれを生成する際に実行されたプログラムが不一致であると判定し、データ変更履歴比較処理を終了する。

【0139】

［ステップＳ２４７］データ差分検出部１６１は、比較対象のログレコードに示されるデータ形式に相違があるか否かを判断する。当該判断処理の詳細は後述する（図２３参照）。データ差分検出部１６１は、データ形式が異なる場合、処理をステップＳ２４８に進める。またデータ差分検出部１６１は、データ形式が同じ場合、処理をステップＳ２４９に進める。

【0140】

［ステップＳ２４８］データ差分検出部１６１は、比較対象のログレコードのデータのデータ形式を統一する。例えばデータ差分検出部１６１は、一方のデータのデータ形式に他方のデータのデータ形式を変換する。またデータ差分検出部１６１は、比較対象のログレコード両方のデータのデータ形式を所定のデータ形式に変換する。例えばデータ差分検出部１６１は、浮動小数点を数値形式（例えば数字と小数点との文字列）に変換する。

【0141】

［ステップＳ２４９］データ差分検出部１６１は、比較対象のログレコードに示されるデータの値を比較する。
［ステップＳ２５０］データ差分検出部１６１は、データの値が同一か否かを判断する。データ差分検出部１６１は、データの値が同一であればデータ変更履歴比較処理を終了する。またデータ差分検出部１６１は、データの値が相違する場合、処理をステップＳ２５１に進める。

【0142】

［ステップＳ２５１］データ差分検出部１６１は、差分が発生した位置（ソース名・行番号・データ名）を、移行先環境のデータ変更履歴１４５から取得し、差分発生ログ１６２に記録する。

【0143】

［ステップＳ２５２］データ差分検出部１６１は、非互換動作により非互換データが設定された位置を取得し、差分発生ログ１６２に記録する。例えばデータ差分検出部１６１は、非互換データが格納されている不正領域の範囲を特定する。先頭アドレスが「１２３４５６７４」でありサイズが４バイトの場合は、非互換データが格納されている不正領域の範囲として「１２３４５６７４」から始まる４バイトの領域が特定される。次に、データ差分検出部１６１は、移行先環境のデータ変更履歴１４５のログレコードのうちで、特定した不正領域の範囲内のアドレスが設定されたログレコードを特定する。データ差分検出部１６１は、特定したログレコードの内容として非互換データが格納されている場合に、そのログレコードに設定されている行番号を、非互換データが設定されている箇所として特定する。

【0144】

［ステップＳ２５３］データ差分検出部１６１は、非互換データを正しく修正するデータ修正処理を行う。データ修正処理の詳細は後述する（図２４参照）。
このように、データ差分検出部１６１は、行対応情報１４６に基づいて比較するログレコードの行番号を判断し、データ変更履歴１１５，１４５内の対応するログレコード同士を比較し、非互換動作の発生の有無を判断する。そしてデータ差分検出部１６１は、非互換動作の発生を検出した場合、非互換動作によって生成された非互換データの値を正しい値に修正する。

【0145】

図２３は、データ比較処理の第１の例を示す図である。移行元の実行環境上で取得したデータ変更履歴１１５ｃの１３番目のログレコードには、ＷＫ－ＩＴＥＭ－１について、バイナリ整数であり、エンディアンはビッグエンディアンであるものとして翻訳したことが示されている。データ変更履歴１１５ｃの１４番目のログレコードには、ＷＫ－ＩＴＥＭ－２について、日本語ＥＵＣ文字列として翻訳したことが示されている。

【0146】

移行先の実行環境上で取得したデータ変更履歴１４５ｃの１３番目のログレコードには、ＷＫ－ＩＴＥＭ－１について、バイナリ整数であり、エンディアンはリトルエンディアンであるものとして翻訳したことが示されている。データ変更履歴１４５ｃの１４番目のログレコードには、ＷＫ－ＩＴＥＭ－２について、ＵＴＦ－１６ＬＥ文字列として翻訳したことが示されている。

【0147】

データ差分検出部１６１は、ログレコード同士を比較する場合、まずデータ名が一致していることを確認する。データ名が不一致の場合、データ差分検出部１６１は、プログラムの処理ロジックが異なっている（同一プログラムではない）と判断し、比較を中止する。なおプログラムのロジックが同じであっても実行環境に応じてアドレスは異なるため、比較対象のログレコードに示されるアドレスは異なっていてもよい。図２３の例では、１３番目のログレコードのデータ名は共に「ＷＫ－ＩＴＥＭ－１」である。また１４番目のログレコードのデータ名は共に「ＷＫ－ＩＴＥＭ－２」である。従って、いずれもデータ名は一致する。

【0148】

データ差分検出部１６１は、データ名が一致した場合、データ形式が一致するか否かを判断し、データ形式が一致していれば、データ形式の変換をせずにデータの値を比較する。他方、データ形式が不一致の場合、データ差分検出部１６１は、データ形式を一致させた後にデータの値を比較する。

【0149】

１３番目のログレコードの比較の場合、データ差分検出部１６１は、移行元の実行環境に基づいて取得したデータ変更履歴１１５ｃ内のログレコードのデータのエンディアンを、ビッグエンディアンからリトルエンディアンに変更している。そしてデータ差分検出部１６１は、エンディアンを揃えて、データの値を比較している。１３番目のログレコードのデータの値で表される意味は、共に１０進数で表すと「１２３４５６」となる。そこでデータ差分検出部１６１は、比較結果１７１に、互換確認を示す比較結果レコード１７１ａを出力する。

【0150】

１４番目のログレコードの比較の場合、データ差分検出部１６１は、移行元の実行環境に基づいて取得したデータ変更履歴１１５ｃ内のログレコードのデータの文字コードをＵＴＦ１６－ＬＥに変換している。そしてデータ差分検出部１６１は、文字コードを揃えて、データの値を比較している。１４番目のログレコードのデータの値は文字コードの変換をする前に既に同一である。これは、例えばデータファイル１４３ａ，１４３ｂ，・・・を生成する際のデータ形式の変換漏れによって発生する。同じ値となっている比較対象の文字コードの一方を変換することで、比較の結果は不一致となる。そこでデータ差分検出部１６１は、比較結果１７１に、非互換動作の検出を示す比較結果レコード１７１ｂを出力する。

【0151】

比較結果１７１には、ログレコードが比較されるごとに、比較結果レコード１７１ａ，１７１ｂが格納される。比較結果レコード１７１ａ，１７１ｂには、結果、通し番号、ソースファイル名、行、イベント種類、およびデータ名が含まれる。結果は、互換性の有無を示す情報であり、互換性が確認できた場合は「ＯＫ」、非互換動作を検出した場合は「ＮＧ」と設定される。通し番号は、比較されたログレコードの通し番号である。ソースファイル名は、比較対象のデータ変更履歴１１５ｃ，１４５ｃを生成するために実行された実行ファイル１１２，１４２に対応するソースファイル１１１，１４１のファイル名である。行は、比較されたログレコードを記録する命令に対応するソースファイル１１１，１４１内の命令文の行番号である。イベント種類は、比較されたログレコードが、データの変更を伴う命令の実行前のログ（実行前）なのか、あるいはデータの変更を伴う命令の実行後のログ（実行後）なのかを示す情報である。データ名は、比較されたログレコードに示されるデータのデータ名である。

【0152】

また比較結果レコード１７１ａ，１７１ｂには、移行元のログレコードのデータのデータ形式、サイズ、および値、並びに移行先のログレコードのデータのデータ形式、サイズ、および値が含まれる。

【0153】

例えば比較結果レコード１７１ａは、結果が「ＯＫ」である。すなわち、互換性が確認されたことが示されている。また比較結果レコード１７１ｂは、結果が「ＮＧ」である。すなわち、非互換動作が検出されたことが示されている。

【0154】

非互換動作が検出されると、データ差分検出部１６１は、データ修正処理を実行する。
図２４は、データ修正処理の手順の一例を示すフローチャートである。以下、図２４に示す処理をステップ番号に沿って説明する。

【0155】

［ステップＳ２６１］データ差分検出部１６１は、移行元のデータ変更履歴１１５から非互換データに対応するデータのログレコード（移行元ログレコード）を取得する。移行元ログレコードは、図２２のステップＳ２４４で取得したログレコードである。

【0156】

［ステップＳ２６２］データ差分検出部１６１は、移行元ログレコードから、修正対象データのデータ形式と値を取得する。
［ステップＳ２６３］データ差分検出部１６１は、移行先のデータ変更履歴１４５から非互換データに対応するデータのログレコード（移行先ログレコード）を取得する。移行先ログレコードは、図２２のステップＳ２４１で取得したログレコードである。

【0157】

［ステップＳ２６４］データ差分検出部１６１は、移行先ログレコードから修正対象データのデータ形式を取得する。
［ステップＳ２６５］データ差分検出部１６１は、移行元データのデータ形式を、移行元データ形式から移行先データ形式へ変換する。

【0158】

［ステップＳ２６６］データ差分検出部１６１は、データ形式変換後の移行元データを、非互換データが格納されていた変数領域に設定する。
このようにして非互換データの値が修正される。非互換データの値が修正されることで、非互換動作が発生した後の処理についても、正しく実行することができる。

【0159】

図２５は、非互換データの値の修正処理の一例を示す図である。例えば比較結果レコード１７１ｂには、移行元と移行先とで文字コードが異なるにも拘わらず値が同じとなる非互換動作が発生したことが示されている。この場合、データ差分検出部１６１は、日本語ＥＵＣの文字コードで記述された移行元データ３０の内容「あいう」の値「Ａ４Ａ２Ａ４Ａ４Ａ４Ａ６Ａ１」を、ＵＴＦ－１６ＬＥの文字コードによる内容「あいう」の値に変換する。その結果、移行元データ３０の値は「４２３０４４３０４６３０００３０」となる。

【0160】

データ差分検出部１６１は、移行先環境のデータ変更履歴１４５ｃにおいて非互換動作の検出元となったログレコードのアドレスとサイズを取得する。データ差分検出部１６１は、取得したアドレスとサイズにより、非互換データの記録先である、メモリ１０２ａ内の変数領域１０２ｂを特定する。そしてデータ差分検出部１６１は、データ形式変換後の移行元データ３０の値を、特定した変数領域１０２ｂに格納する。これにより、非互換データの値が正しい値に修正される。

【0161】

非互換データの値が修正されることで、非互換動作の発生箇所以降の処理についてもプログラムを正しく実行できる。そのため非互換動作の発生箇所が複数ある場合でも、移行先環境の開発マシン１００ｂにおいて、それらの発生箇所を１回のプログラム実行で検出できる。検出された非互換動作の発生箇所は、差分発生ログ１６２に記録される。ユーザは、差分発生ログ１６２を確認することで、ソースファイル１４１における非互換動作の発生箇所を把握することができる。

【0162】

図２６は、差分発生ログの一例を示す図である。図２６の例ではソースファイル１４１ｃの１００行目の命令の実行により不正な形式のデータが設定され、２００行目と２０１行目の命令の実行により、その値を利用して、別のソースファイル１４１ｄ，１４１ｅが実行される。この場合、２つのソースファイル１４１ｄ，１４１ｅそれぞれの実行過程で非互換動作が検出される。その結果、差分発生ログ１６２には、２つの非互換動作それぞれに対応する情報が登録される。

【0163】

差分発生ログ１６２は、検出した非互換動作ごとのレコードが登録されている。各レコードには、通し番号、ソース名、行番号、変数名、アドレス、サイズ、データの内容、不正形式データ設定ソース名、および不正形式データ設定行番号のフィールドが設けられている。

【0164】

通し番号のフィールドには、レコードの識別番号が設定される。ソース名のフィールドには、非互換動作の検出箇所となった命令（機械語）の翻訳元の命令があるソースファイルの名称が設定される。行番号のフィールドには、非互換動作の発生箇所となった命令（機械語）の翻訳元の命令の行番号が設定される。変数名のフィールドには、非互換データの変数名が設定される。アドレスのフィールドには、非互換データが記録された変数領域のメモリ上のアドレスが設定される。サイズのフィールドには、非互換データが記録された変数領域のサイズが設定される。データの内容のフィールドには、非互換データの値が設定される。不正形式データ設定ソース名のフィールドには、非互換データを記録する命令（機械語）の翻訳元の命令があるソースファイルの名称が設定される。不正形式データ設定行番号のフィールドには、非互換データを記録する命令（機械語）の翻訳元の命令の行番号が設定される。

【0165】

このような差分発生ログ１６２が出力されることにより、ユーザは、複数の非互換動作それぞれの発生箇所を容易に把握することができる。
〔その他の実施の形態〕
第２の実施の形態では運用マシン２００ａ，２００ｂとは別に開発マシン１００ａ，１００ｂを用意したが、運用マシン２００ａ，２００ｂを用いてアプリケーションの互換性の検証を行ってもよい。

【0166】

第２の実施の形態では、コンパイラ１２０，１５０によって、データを変更する命令の前後にデータの値を記録する命令を追加しているが、コンパイラ１２０，１５０以外の手段でデータの値を記録する命令を追加してもよい。例えば開発マシン１００ａ，１００ｂは、既に生成されている実行ファイル内の機械語のプログラムを解析し、データを変更する命令の前後にデータの値を記録する命令を追加することもできる。

【0167】

また第２の実施の形態では、データを変更する命令の前と後の両方にデータの値を記録する命令を追加しているが、開発マシン１００ａ，１００ｂは、データを変更する命令の前または後の一方でのみデータの値を記録する命令を追加してもよい。

【0168】

以上、実施の形態を例示したが、実施の形態で示した各部の構成は同様の機能を有する他のものに置換することができる。また、他の任意の構成物や工程が付加されてもよい。さらに、前述した実施の形態のうちの任意の２以上の構成（特徴）を組み合わせたものであってもよい。

【符号の説明】

【0169】

１ａ第１の検証対象プログラム
１ｂ第２の検証対象プログラム
２第１の実行プログラム
３第２の実行プログラム
４第１のデータ
５第２のデータ
６第１のデータ変更履歴
７第２のデータ変更履歴
８非互換情報
１０情報処理装置
１１記憶部
１２処理部
１２ａ第１のプログラム実行環境
１２ｂ第２のプログラム実行環境

【図1】