JPH096606A - リエンジニアリング検証方式 - Google Patents

Abstract

(57)【要約】 【目的】 リエンジニアリング検証作業の負荷を軽減す
る。 【構成】 プログラム変換手段１０２は、変換前ソース
プログラム１０１からＣＡＳＥツールで利用可能な形式
の変換後ソースプログラム１０３への変換を、プログラ
ムロジックの変更を伴わずに行う。コンパイラ１０４
は、変換前コンパイルユニット１０５および変換前対応
関係情報１５０ならびに変換後コンパイルユニット１０
６および変換後対応関係情報１６０を出力する。コンパ
イルユニット検証手段１０７は、変換前コンパイルユニ
ット１０５中のオブジェクトコードと変換後コンパイル
ユニット１０６中のオブジェクトコードとを比較して変
換前コンパイルユニット１０５と変換後コンパイルユニ
ット１０６との間の違いの有無を検証し、変換前対応関
係情報１５０および変換後対応関係情報１６０を参照し
て当該検証の検証結果を示す結果レポート１０８を出力
する。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は、ＣＡＳＥ（Ｃｏｍｐｕ
ｔｅｒ Ａｉｄｅｄ Ｓｏｆｔｗａｒｅ Ｅｎｇｉｎｅ
ｅｒｉｎｇ）ツールのサポートによるリエンジニアリン
グ技術に関し、特にリエンジニアリングに関する変換の
正当性（リエンジニアリングに関する変換の前後におけ
るソースプログラムの内容の正当性）を検証するリエン
ジニアリング検証方式に関する。

【０００２】

【従来の技術】近年、ＣＡＳＥ技術の進展およびＣＡＳ
Ｅ環境の整備とともに、ソースプログラムのリエンジニ
アリングに関する技術も発展している。このようなソー
スプログラムのリエンジニアリングに関する従来技術
は、「情報処理学会研究報告，情報システム，１９９３
年１月１９日，４２−１，ソフトウェア再エンジニアリ
ングの技術の動向とその要件，竹下亨著」および「同，
４２−５，リエンジニアリングを活用した開発保守支
援，園部正幸、上原三八、吉野利明、直田繁樹、秋山友
子、木村美奈子、石崎あゆみ、大久保隆夫、川辺敬子
著」等の文献に報告されている。

【０００３】このような従来技術によれば、既存の資産
であるソースプログラム（変換前ソースプログラム）
を、ＣＡＳＥツールが提供する様々な機能で利用（編集
等）することができる形式のソースプログラム（変換後
ソースプログラム）に変換することが可能となる。

【０００４】リエンジニアリングツール（リエンジニア
リングを実現するソフトウェア）によるソースプログラ
ムの変換には、構造型コードへの変換等のプログラムロ
ジックの変更を伴う変換も含まれるが、実際には、フォ
ーマット変換やデータ項目名日本語変換（プログラムの
読解性を向上させるためにデータ項目名の日本語化を行
う変換）等のプログラムロジックの変更を伴わない変換
も多い。

【０００５】ここで、「プログラムロジックの変更を伴
わない」とは、変換対象のソースプログラムに基づいて
コンパイラにより生成されるコンパイルユニットにおけ
るオブジェクトコードレベルでのプログラムの実行に関
して当該変換の前後で差異が発生しないことを意味して
いる。すなわち、プログラムロジックの変更を伴わない
ソースプログラムの変換が行われた場合には、変換前ソ
ースプログラムに基づくコンパイルユニットと変換後ソ
ースプログラムに基づくコンパイルユニットとが同一に
なる（プログラムの動作が変換の前後で同一になる）は
ずである。

【０００６】本発明では、このような「プログラムロジ
ックの変更を伴わない」変換を行うリエンジニアリング
ツールに関するリエンジニアリング検証方式を対象とす
る。

【０００７】従来、この種のリエンジニアリング検証方
式では、上記のようなリエンジニアリングに関する変換
（プログラムロジックの変更を伴わない変換）が正確に
行われたという検証のために、当該変換の後の変換後ソ
ースプログラムを対象としてプログラムの動作確認テス
トが利用者等によって行わなれていた。

【０００８】

【発明が解決しようとする課題】上述した従来のリエン
ジニアリング検証方式では、リエンジニアリングに関す
る変換が正確に行われたという検証が「プログラムの動
作確認テスト」によって実現されていたので、このテス
トのための作業に多大な工数が必要になるという問題点
があった。

【０００９】本発明の目的は、上述の点に鑑み、プログ
ラムロジックの変更を伴わない変換機能を提供するリエ
ンジニアリングツールにおいて、変換前後のソースプロ
グラムのコンパイル結果である両コンパイルユニットの
オブジェクトコードに違いがなければ当該変換が正確に
行われたと判断することにより、リエンジニアリングに
関する変換の正当性の検証における「プログラムの動作
確認テスト」を不要とし、リエンジニアリング検証作業
の負荷を軽減することができるリエンジニアリング検証
方式を提供することにある。

【００１０】

【課題を解決するための手段】本発明のリエンジニアリ
ング検証方式は、既存の資産である変換前ソースプログ
ラムからＣＡＳＥツールで利用可能な形式の変換後ソー
スプログラムへの変換をプログラムロジックの変更を伴
わずに行うプログラム変換手段と、変換前ソースプログ
ラムのコンパイルを行い変換前コンパイルユニットおよ
び変換前対応関係情報を出力し、変換後ソースプログラ
ムのコンパイルを行い変換後コンパイルユニットおよび
変換後対応関係情報を出力するコンパイラと、前記コン
パイラによって出力された変換前コンパイルユニット中
のオブジェクトコードと前記コンパイラによって出力さ
れた変換後コンパイルユニット中のオブジェクトコード
とで互いに対応するオブジェクトコードを比較すること
によって変換前コンパイルユニットと変換後コンパイル
ユニットとの間の違いの有無を検証し、前記コンパイラ
によって出力された変換前対応関係情報および変換後対
応関係情報を参照して当該検証の検証結果を示す結果レ
ポートを出力するコンパイルユニット検証手段とを有す
る。

【００１１】

【作用】本発明のリエンジニアリング検証方式では、プ
ログラム変換手段が既存の資産である変換前ソースプロ
グラムからＣＡＳＥツールで利用可能な形式の変換後ソ
ースプログラムへの変換をプログラムロジックの変更を
伴わずに行い、コンパイラが変換前ソースプログラムの
コンパイルを行い変換前コンパイルユニットおよび変換
前対応関係情報を出力し変換後ソースプログラムのコン
パイルを行い変換後コンパイルユニットおよび変換後対
応関係情報を出力し、コンパイルユニット検証手段が以
下のおよびの処理を行う。 コンパイラによって出力された変換前コンパイルユ
ニット中のオブジェクトコードと、コンパイラによって
出力された変換後コンパイルユニット中のオブジェクト
コードとで、互いに対応するオブジェクトコードを比較
することによって、変換前コンパイルユニットと変換後
コンパイルユニットとの間の違いの有無を検証する。 コンパイラによって出力された変換前対応関係情報
および変換後対応関係情報を参照して、当該検証（の
検証）の検証結果を示す結果レポートを出力する。

【００１２】

【実施例】次に、本発明について図面を参照して詳細に
説明する。

【００１３】図１は、本発明のリエンジニアリング検証
方式の一実施例の構成を示すブロック図である。

【００１４】本実施例のリエンジニアリング検証方式
は、変換前ソースプログラム１０１と、プログラム変換
手段１０２と、変換後ソースプログラム１０３と、コン
パイラ１０４と、変換前コンパイルユニット１０５と、
変換後コンパイルユニット１０６と、コンパイルユニッ
ト検証手段１０７と、結果レポート１０８と、変換前対
応関係情報１５０と、変換後対応関係情報１６０とを含
んで構成されている。

【００１５】図２は、本実施例のリエンジニアリング検
証方式の処理を示す流れ図である。この処理は、プログ
ラム変換手段変換ステップ２０１と、変換前後ソースプ
ログラムコンパイルステップ２０２と、コンパイルユニ
ット検証手段検証ステップ２０３と、両コンパイルユニ
ット違い有無判定ステップ２０４と、違い存在時結果レ
ポート出力ステップ２０５と、違い不存在時結果レポー
ト出力ステップ２０６とからなる。

【００１６】図３は、本実施例のリエンジニアリング検
証方式の具体的な動作を説明するための図である。

【００１７】次に、図１および図２を参照して、このよ
うに構成された本実施例のリエンジニアリング検証方式
の動作について説明する。

【００１８】変換前ソースプログラム１０１は、以下の
〜に示すような特徴を有するソースプログラムであ
る。 従来から存在するテキストエディタ等での編集が可
能なソースプログラムである。 ＣＯＢＯＬ等のプログラミング言語で記述されてい
る。 既存の資産である。

【００１９】利用者は、プログラム保守の効率化等のた
めに、ドキュメント出力や高度なテキスト編集機能等を
持ったＣＡＳＥツールを利用したいと考える場合が多
い。このような場合に、ＣＡＳＥツールが提供するリエ
ンジニアリングツール（プログラム変換機能）が使われ
て、既存の資産である変換前ソースプログラム１０１が
ＣＡＳＥ資産の形式の変換後ソースプログラム１０２に
変換される。

【００２０】プログラム変換手段１０２は、そのような
リエンジニアリングツールによるプログラム変換機能を
実現するソフトウェアである。プログラム変換手段１０
２は、変換前ソースプログラム１０１のファイル形式を
ＣＡＳＥツールの対応形式に変換するフォーマット変換
や、データ項目名を日本語化するデータ項目名日本語変
換等のプログラム変換を行い、変換後ソースプログラム
１０３を生成する（ステップ２０１）。

【００２１】なお、先にも述べたように、本実施例、ひ
いては本発明のリエンジニアリング検証方式に関するリ
エンジニアリングでは、ソースプログラムのプログラム
ロジックの変更を伴う変換は行われないことを前提とす
る。したがって、変換前ソースプログラム１０１のコン
パイル結果であるコンパイルユニット（変換前コンパイ
ルユニット１０５）のオブジェクトコード群と、変換後
ソースプログラム１０３のコンパイル結果であるコンパ
イルユニット（変換後コンパイルユニット１０６）のオ
ブジェクトコード群とは同じはずである。

【００２２】コンパイラ１０４は、変換前ソースプログ
ラム１０１および変換後ソースプログラム１０３のそれ
ぞれのコンパイルを行い、変換前コンパイルユニット１
０５および変換後コンパイルユニット１０６を出力し、
同時に変換前対応関係情報１５０および変換後対応関係
情報１６０を出力する（ステップ２０２）。なお、ＣＡ
ＳＥツールには、リエンジニアリングによって変換され
たソースプログラムをコンパイルしオブジェクト出力を
行う機能も用意されている。コンパイラ１０４は、この
ようなＣＡＳＥツールによるコンパイル機能も有してい
るので、上述の変換後コンパイルユニット１０６の出力
が可能となる。

【００２３】ここで、変換前対応関係情報１５０は、変
換前ソースプログラム１０１中のソースコードの行番号
とそのソースコードに対応する変換前コンパイルユニッ
ト１０５中のオブジェクトコードのオフセット（当該変
換前コンパイルユニット１０５の先頭からの相対アドレ
ス（以下、単にアドレスという））との対応を示す情報
である（図３中の変換前対応関係情報３５０参照）。ま
た、変換後対応関係情報１６０は、変換後ソースプログ
ラム１０３中のソースコードの行番号とそのソースコー
ドに対応する変換後コンパイルユニット１０６中のオブ
ジェクトコードのオフセット（当該変換前コンパイルユ
ニット１０６の先頭からの相対アドレス（以下、単にア
ドレスという））との対応を示す情報である（図３中の
変換後対応関係情報３６０参照）。

【００２４】次に、コンパイルユニット検証手段１０７
は、変換前コンパイルユニット１０５および変換後コン
パイルユニット１０６ならびに変換前対応関係情報１５
０および変換後対応関係情報１６０を入力し、両コンパ
イルユニットの先頭から順次に、対応する両オブジェク
トコード（両コンパイルユニットにおいてアドレスが同
一の両オブジェクトコード）を抽出して比較し、両オブ
ジェクトコードが同一であるか否かを判定する。コンパ
イルユニット検証手段１０７は、このような比較および
判定を全てのオブジェクトコードについて繰り返すこと
によって変換前コンパイルユニット１０５および変換後
コンパイルユニット１０６に関する検証を行い（ステッ
プ２０３）、両コンパイルユニットに違いがあるか否か
を判定する（ステップ２０４）。

【００２５】コンパイルユニット検証手段１０７は、ス
テップ２０４で「両コンパイルユニットに違いがある」
と判定した場合には、変換前対応関係情報１５０および
変換後対応関係情報１６０を参照し、違いの存在と違い
の箇所とを示す結果レポートを出力する（ステップ２０
５）。すなわち、両コンパイルユニットに違いが存在し
た旨と、違いが存在したオブジェクトコードに対応する
両ソースプログラム（変換前ソースプログラム１０１お
よび変換後ソースプログラム１０３）中のソースコード
の行番号とを検証結果として示す結果レポート１０８を
出力する（ステップ２０５）。

【００２６】利用者は、その結果レポート１０８中のソ
ースコードの行番号を基に、違いの箇所を認識してその
違いの原因を調査し、その違いをなくすように修正（変
換後ソースプログラム１０３の修正やプログラム変換手
段１０２における変換処理の内容の修正）を行う。その
ような修正が終了すると、修正後のプログラムを対象と
して、再び、図２に示すような処理が行われる。

【００２７】コンパイルユニット検証手段１０７は、ス
テップ２０４で「両コンパイルユニットに違いがない」
と判定した場合には、その旨を示す結果レポート１０８
を出力する（ステップ２０６）。利用者は、その結果レ
ポート１０８に基づいて、この時点で両コンパイルユニ
ット（変換前コンパイルユニット１０５および変換後コ
ンパイルユニット１０６）に違いがないことを確認する
ことができ、変換前ソースプログラム１０１から変換後
ソースプログラム１０３へのリエンジニアリングに関す
る変換が正常に終了したことを認識する。これによっ
て、従来必要であった「プログラムの動作検証テスト」
を行わずに、変換後ソースプログラム１０３および変換
後コンパイルユニット１０６の動作保証を行うことがで
きる。

【００２８】次に、図３を参照して、本実施例のリエン
ジニアリング検証方式の具体的な動作について説明す
る。

【００２９】図３中の変換前ソースプログラム３０１
は、図１中の変換前ソースプログラム１０１の具体例で
あり、リエンジニアリングに関する変換の対象となるソ
ースプログラムである。この変換前ソースプログラム３
０１に対しては、プログラム変換手段１０２によって、
フォーマット変換やデータ項目名日本語変換等のプログ
ラムロジックの変更を伴わないプログラム変換が行われ
る。この変換後のソースプログラムが、図３中の変換後
ソースプログラム３０３（図１中の変換後ソースプログ
ラム１０３の具体例）であるものとする。

【００３０】変換前ソースプログラム３０１および変換
後ソースプログラム３０３を参照すると、データ項目名
の日本語化によって、例えば“ＡＡ”というデータ項目
名が“ああ”というデータ項目名に変換されている。た
だし、正しく変換が行われている限り、プログラムコー
ドに影響を及ぼすようなプログラムロジックの変更は行
われていない。

【００３１】それぞれのソースプログラム（変換前ソー
スプログラム３０１および変換後ソースプログラム３０
３）がコンパイラ１０４によってコンパイルされること
により、オブジェクトコードの集合である変換前コンパ
イルユニット３０５（図１中の変換前コンパイルユニッ
ト１０５の具体例）および変換後コンパイルユニット３
０６（図１中の変換後コンパイルユニット１０６の具体
例）が出力される。また、同時に、両コンパイルユニッ
トに対応する変換前対応関係情報３５０（図１中の変換
前対応関係情報１５０の具体例）および変換後対応関係
情報３６０（図１中の変換後対応関係情報１６０の具体
例）が出力される。

【００３２】なお、図３に示すように、両対応関係情報
には、例えば、「行番号“１０”のソースコードに対応
するオブジェクトコードがアドレス“００００”から始
まる」という形式で、行番号とアドレスとの対応情報が
設定される。

【００３３】次に、コンパイルユニット検証手段１０７
により、変換前コンパイルユニット３０５および変換後
コンパイルユニット３０６ならびに変換前対応関係情報
３５０および変換後対応関係情報３６０が入力され、両
コンパイルユニットにおいて対応する各オブジェクトコ
ードが順に比較される。

【００３４】まず、変換前ソースプログラム３０１中の
１０行目のソースコードに対応する変換前コンパイルユ
ニット３０５中のアドレス“００００”のオブジェクト
コード（正確には、「アドレス“００００”から始まる
オブジェクトコード」。以下の同種の表現においても同
様）と、変換後ソースプログラム３０３中の１００行目
のソースコードに対応する変換後コンパイルユニット３
０６中のアドレス“００００”のオブジェクトコードと
が比較され、両者が同じであると認識される。

【００３５】次に、変換前ソースプログラム３０１中の
２０行目のソースコードに対応する変換前コンパイルユ
ニット３０５中のアドレス“００１０”のオブジェクト
コードと、変換後ソースプログラム３０３中の２００行
目のソースコードに対応する変換後コンパイルユニット
３０６中のアドレス“００１０”のオブジェクトコード
とが比較され、両者が同じであると認識される。

【００３６】同様に、両コンパイルユニット中のアドレ
ス“００３０”のオブジェクトコードの比較が行われ、
両者が同じであると認識される。

【００３７】次に、変換前ソースプログラム３０１中の
４０行目のソースコードに対応する変換前コンパイルユ
ニット３０５中のアドレス“００４０”のオブジェクト
コードと、変換後ソースプログラム３０３中の４００行
目のソースコードに対応する変換後コンパイルユニット
３０６中のアドレス“００４０”のオブジェクトコード
とが比較され、両者が異なっていることが認識され、そ
の旨を示す検証結果が結果レポート３０８（図１中の結
果レポート１０８の具体例）に書き込まれる。

【００３８】以上のような各オブジェクトコードの比較
が両コンパイルユニットの最後のオブジェクトコードま
で繰り返されて、最終的な両コンパイルユニットの検証
結果である結果レポート３０８が利用者に対して出力さ
れる。

【００３９】利用者は、当該結果レポート３０８中の情
報（変換前ソースプログラム３０１中の４０行目のソー
スコードに対応する変換前コンパイルユニット３０５中
のオブジェクトコードと変換後ソースプログラム３０３
中の４００行目のソースコードに対応する変換後コンパ
イルユニット３０６中のオブジェクトコードとに違いが
ある旨を示す検証結果）を確認し、両オブジェクトコー
ドが違っている原因を解析し、その違いの修正を行う。
この修正の後に、再度、図２に示す処理（コンパイラ１
０４によるコンパイルやコンパイルユニット検証手段１
０７による検証等）が行われる。このような作業が全て
のオブジェクトコードについて違いがなくなるまで（両
コンパイルユニットが同じになるまで）、繰り返して行
われる。この繰返し処理によって両コンパイルユニット
に違いがなくなれば、プログラム動作検証テストを行わ
ずに、変換後ソースプログラム３０３および変換後コン
パイルユニット３０６の動作保証ができたことになる。

【００４０】

【発明の効果】以上説明したように本発明は、リエンジ
ニアリングに関する変換の前後におけるソースプログラ
ムのコンパイル結果である両コンパイルユニット（変換
前後のコンパイルユニット）に違いがなければ当該変換
が正確に行われたと判断することにより、従来のリエン
ジニアリング処理で必要となっていたリエンジニアリン
グ検証のための「プログラムの動作確認テスト」が不要
となり、リエンジニアリング検証作業の負荷を軽減する
ことができるという効果を有する。

【図面の簡単な説明】

【図１】本発明のリエンジニアリング検証方式の一実施
例の構成を示すブロック図である。

【図２】図１に示すリエンジニアリング検証方式の処理
を示す流れ図である。

【図３】図１に示すリエンジニアリング検証方式の具体
的な動作を説明するための図である。

【符号の説明】

１０１，３０１ 変換前ソースプログラム １０２ プログラム変換手段 １０３，３０３ 変換後ソースプログラム １０４ コンパイラ １０５，３０５ 変換前コンパイルユニット １０６，３０６ 変換後コンパイルユニット １０７ コンパイルユニット検証手段 １０８，３０８ 結果レポート １５０，３５０ 変換前対応関係情報 １６０，３６０ 変換後対応関係情報

Claims (3)

【特許請求の範囲】
1. 【請求項１】 既存の資産である変換前ソースプログラ
   ムからＣＡＳＥツールで利用可能な形式の変換後ソース
   プログラムへの変換をプログラムロジックの変更を伴わ
   ずに行うプログラム変換手段と、 変換前ソースプログラムのコンパイルを行い変換前コン
   パイルユニットおよび変換前対応関係情報を出力し、変
   換後ソースプログラムのコンパイルを行い変換後コンパ
   イルユニットおよび変換後対応関係情報を出力するコン
   パイラと、 前記コンパイラによって出力された変換前コンパイルユ
   ニット中のオブジェクトコードと前記コンパイラによっ
   て出力された変換後コンパイルユニット中のオブジェク
   トコードとで互いに対応するオブジェクトコードを比較
   することによって変換前コンパイルユニットと変換後コ
   ンパイルユニットとの間の違いの有無を検証し、前記コ
   ンパイラによって出力された変換前対応関係情報および
   変換後対応関係情報を参照して当該検証の検証結果を示
   す結果レポートを出力するコンパイルユニット検証手段
   とを有することを特徴とするリエンジニアリング検証方
   式。
2. 【請求項２】 変換前対応関係情報が変換前ソースプロ
   グラムのソースコードの行番号と変換前コンパイルユニ
   ットのオブジェクトコードのオフセットとの対応情報で
   あり、変換後対応関係情報が変換後ソースプログラムの
   ソースコードの行番号と変換後コンパイルユニットのオ
   ブジェクトコードのオフセットとの対応情報であること
   を特徴とする請求項１記載のリエンジニアリング検証方
   式。
3. 【請求項３】 変換前ソースプログラムを記述するプロ
   グラミング言語がＣＯＢＯＬであることを特徴とする請
   求項１または請求項２記載のリエンジニアリング検証方
   式。