JP2018073054A - オブジェクト分析装置、オブジェクト分析方法、及びプログラム - Google Patents

Abstract

【課題】ソフトウェアの影響度を可視化し、設計時における変更点の妥当性確認に活用可能とするオブジェクト分析プログラム及び方法を提供する。【解決手段】オブジェクト分析装置１は、所定の表示を行う表示部６と、コンパイル、リンク後のオブジェクトを入力としてオブジェクト分析を行い、影響度及び構造出力ファイルを生成するオブジェクト分析部３ａと、影響度及び構造出力ファイルを記憶する記憶部５と、影響度及び構造出力ファイルに基づいて表示部による表示を制御する分析結果表示制御部３ｂとを有し、オブジェクトには、コンパイル後、ソースコードが機械語に翻訳された命令コードと、この命令コードと前記ソースコードの関数と結び付きを示した関数ブロック情報と、ソースコード上で関数コールした際に生成される分岐命令とを含む。【選択図】図１

Description

本発明は、例えばソフトウェアの流用開発又は派生開発において、変更部位に関する他部位への影響度を確認可能とする、オブジェクト分析装置、オブジェクト分析方法、及びプログラムに関する。

近年、組み込み機器開発において、特定のベースライン部品から改良開発する、所謂流用開発が主流になりつつある。その理由としては、ソフトウェアの、部品化、プラットフォーム化が進み、ソフトウェアを１から新たに開発する必要性がなくなったことや、エンドユーザの多様なニーズに対応した製品開発が嘱望されていることが挙げられる。

しかし、このような流用開発では、現状は想定以上に効率が上がっていない。その理由としては、モジュールの追加、変更、及び削除の部位（以下、変化点という）が、既存のソフトウェア全体にどのような影響を与えているか分からず、その結果、考慮不足による不具合が生じ、手もどりが発生していることが挙げられる。

また、このような流用開発においては、ソフトウェア部品は、過去の資産の積み上げとなる。そのため、流用部品の構造がそもそも複雑な場合、ソフトウェアへの影響度が大きくなり、膨大な変化点の確認作業が必要となる。新規部品においても、以後の流用開発に直結するため、簡素に設計しておくことが望ましい。このような観点からも、ソフトウェア部品は、流用、新規を問わず、可視化及び指標化が求められる。

一方、従来、ソフトウェアの構造分析について、ソースコードレベルでの分析手法は存在する。例えば、特許文献１では、複数のモジュールで構成されたコンピュータシステムが組み込まれた組込システムの保守支援装置において、コンピュータシステムに対する一連の指示であるモジュールの情報、つまりソースコードと、モジュールで使用されコンピュータ上で処理を行う構成要素の集合であるクラスとの情報、つまり変数クラスタ情報とを入力し、テストを行う保守支援装置が開示されている。

しかしながら、ソースコードレベルでの分析の場合、ソースコード中に存在する例えば＃ＩＦＤＥＦなどの条件コンパイルのためのパラメータの設定をはじめとした、複雑な設定をしなければならない。このような設定は、各ソースコードで異なるものであり、ソースコードすべてに設定する場合、非常に導入が難しい。

また、ソフトウェアの流用開発、派生開発においては、従来、機能テストによる確認作業が一般的になされている。

しかしながら、機能テストの場合、確認項目によっては、影響のあるソースコードの評価ができていないケースがある。その反面、毎回、すべてのテストを実施するのは、膨大な工数を必要とするので効率的に好ましくない。

特開２０１２−７３６９２号公報

以上を総括すると、従来技術では以下のような課題が生じていた。

即ち、第１に、ソフトウェアの流用開発、派生開発において、変更部位に関する影響度を簡易に可視化する技術が実現されていない。第２に、ソフトウェアの流用開発、派生開発、及び新規開発において、プログラムの構造を、手間をかけずに改善し簡素化する技術が実現されていない。第３に、ソースコードによる分析では、分析前の手順が複雑になってしまうので効率が良くない。そして、第４に、流用部品適用後、ソフトウェアに関して行う機能テストでは、テストケースの適切な判断ができていない。

本発明は、このような課題に鑑みてなされたものであり、ソフトウェアの影響度を可視化し、設計時における変更点の妥当性の確認に活用可能とすることを目的とする。

さらに、ソフトウェア構造を可視化し、構造の簡素化を支援することを目的とする。

また、コンパイル、リンク後のオブジェクトをインプットデータとして解析することにより、解析の手間を簡素化することを目的とする。

そして、ソフトウェア影響箇所、ソフトウェア構造を差分分析し、テスト活用可能とすることを目的とする。

上記課題を解決するため、本発明の第１の態様に係るオブジェクト分析装置は、所定の表示を行う表示部と、コンパイル、リンク後のオブジェクトを入力としてオブジェクト分析を行い、影響度及び構造出力ファイルを生成するオブジェクト分析部と、前記影響度及び構造出力ファイルを記憶する記憶部と、前記影響度及び構造出力ファイルに基づいて前記表示部による表示を制御する分析結果表示制御部とを有し、前記オブジェクトには、前記コンパイル後、ソースコードが機械語に翻訳された命令コードと、この命令コードと前記ソースコードの関数と結び付きを示した関数ブロック情報と、前記ソースコード上で関数コールした際に生成される分岐命令と、を含む。

本発明の第２の態様に係るオブジェクト分析装置は、第１の態様において、前記所定の表示とは、関数コールグラフ表示、関数コールマトリクス表示である。

本発明の第３の態様に係るオブジェクト分析装置は、第２の態様において、前記分析結果表示制御部は、着目した関数の協調表示、及び着目した関数にのみ影響のある関数の協調表示の少なくともいずれかを行うよう制御する。

本発明の第４の態様に係るオブジェクト分析装置は、第1の態様において、前記オブジェクト分析部は、前記オブジェクトにグローバル変数参照命令、又はグローバル変数更新命令が存在するときは、関数ブロックとグローバル変数とを関連付け、前記分析結果表示制御部は、前記関連付けに基づいて所定の変数構造マトリクス表示を前記表示部に行うように制御する。

本発明の第５の態様に係るオブジェクト分析装置は、第４の態様において、前記分析結果表示制御部は、着目した関数の協調表示、及び着目した関数にのみ影響のある関数の協調表示の少なくともいずれかを行うよう制御する。

本発明の第６の態様に係るオブジェクト分析装置は、所定の表示を行う表示部と、ベースライン、完成後の両オブジェクトについてオブジェクト差分分析を行い、影響度や、構造出力ファイルを生成するオブジェクト差分分析部と、前記影響度や構造出力ファイルを記憶する記憶部と、前記影響度、構造出力ファイルに基づいて前記表示部に所定の表示を行うように制御する差分分析結果表示制御部と、を有し、所定の表示とは、差分関数コール影響グラフ表示である。

本発明の第７の態様に係るオブジェクト分析方法は、コンパイル、リンク後のオブジェクトを入力としてオブジェクト分析を行い、影響度及び構造出力ファイルを生成するステップと、前記影響度及び構造出力ファイルを記憶するステップと、前記影響度及び構造出力ファイルに基づいて表示を制御するステップと、を有し、前記オブジェクトには、前記コンパイル後、ソースコードが機械語に翻訳された命令コードと、この命令コードと前記ソースコードの関数と結び付きを示した関数ブロック情報と、前記ソースコード上で関数コールした際に生成される分岐命令と、を含む。

本発明の第８の態様に係るプログラムは、コンピュータを、コンパイル、リンク後のオブジェクトを入力としてオブジェクト分析を行い、影響度及び構造出力ファイルを生成するオブジェクト分析部と、前記影響度及び構造出力ファイルに基づいて前記表示部による表示を制御する分析結果表示制御部と、して機能させ、前記オブジェクトには、前記コンパイル後、ソースコードが機械語に翻訳された命令コードと、この命令コードと前記ソースコードの関数と結び付きを示した関数ブロック情報と、前記ソースコード上で関数コールした際に生成される分岐命令とを含む。

本発明によれば、ソフトウェアの影響度を可視化し、設計時における変更点の妥当性確認に活用可能とするオブジェクト分析装置、オブジェクト分析方法、及びプログラムを提供することができる。

さらに、ソフトウェア構造を可視化し、構造の簡素化を支援可能とするオブジェクト分析装置、オブジェクト分析方法、及びプログラムを提供することができる。

また、コンパイル、リンク後のオブジェクトをインプットデータとして解析することにより、解析の手間の簡素化が可能とするオブジェクト分析装置、オブジェクト分析方法、及びプログラムを提供することができる。

そして、ソフトウェア影響箇所、ソフトウェア構造を差分分析し、テスト活用可能とするオブジェクト分析装置、オブジェクト分析方法、及びプログラムを提供することができる。

本発明の第１実施形態乃至第４実施形態に係るソフトウェア分析装置の機能ブロック図である。 第１実施形態に係るソフトウェア分析装置によりユーザオブジェクトを生成する過程を説明する概念図である。 第１実施形態に係るソフトウェア分析装置の処理手順を示すフローチャートである。 第１実施形態に係るソフトウェア分析装置による関数コールグラフ表示の一例を示す図である。 第１実施形態に係るソフトウェア分析装置による関数コールマトリクス表示の一例を示す図である。 第２実施形態に係るソフトウェア分析装置の処理手順を示すフローチャートである。 第２実施形態に係るソフトウェア分析装置による関数コール影響グラフ表示の一例を示す図である。 第２実施形態に係るソフトウェア分析装置による関数コール影響マトリクス表示の一例を示す図である。 第３実施形態に係るソフトウェア分析装置によりユーザオブジェクトを生成する過程を説明する概念図である。 第３実施形態に係るソフトウェア分析装置の処理手順を示すフローチャートである。 第３実施形態に係るソフトウェア分析装置による変数構造マトリクス表示の一例を示す図である。 第４実施形態に係るソフトウェア分析装置の処理手順を示すフローチャートである。 第４実施形態に係るソフトウェア分析装置による変数構造影響マトリクス表示の一例を示す図である。 本発明の第５実施形態に係るソフトウェア分析装置の機能ブロック図である。 第５実施形態に係るソフトウェア分析装置の処理手順を示すフローチャートである。 第５実施形態に係るソフトウェア分析装置による差分関数コール影響グラフ表示の一例を示す図である。

以下、図面を参照しつつ本発明の一実施形態について説明する。

＜第1実施形態＞

図１には、本発明の第１実施形態乃至第４実施形態に係るソフトウェア分析装置の機能ブロック図を示し説明する。この第１実施形態に係る装置及び方法では、ソフトウェアの影響度を可視化し、設計時における変更点の妥当性確認に活用可能とする。さらに、ソフトウェア構造を可視化し、構造の簡素化を支援可能とする。

同図に示されるように、ソフトウェア分析装置１は、ＣＰＵ（Central Processing Unit）等の制御部２を備えており、制御部２は、解析表示プログラム３を実行することで、オブジェクト分析部３ａ、分析結果表示制御部３ｂとして機能する。制御部２は、第１記憶部４、第２記憶部５、及び表示部６と接続されている。

このような構成において、この実施形態では、コンパイル、リンク後のオブジェクトをインプットデータとして解析することにより、解析の手間の簡素化が可能とする。オブジェクト分析部３ａは、第１記憶部４のユーザオブジェクトについてオブジェクト分析を行い、詳細は後述するが、影響度や、構造出力ファイル等を生成する。この影響度や構造出力ファイルは、第２記憶部５に格納される。分析結果表示制御部３ｂは、この影響度、構造出力ファイルに基づいて、表示部６に所定の表示を行うように制御する。所定の表示としては、関数コールグラフ表示、関数コールマトリクス表示等がある。

図２には、第１実施形態に係るソフトウェア分析装置によりユーザオブジェクトを生成する過程を示し説明する。

ソースコードをコンパイル、リンクした結果、実行プログラム、つまりユーザオブジェクトが生成される。ユーザオブジェクトには、命令コード、関数ブロック情報、及び分岐命令が含まれている。「命令コード」とは、コンパイル後、ソースコードが機械語に翻訳されたものをいう。「関数ブロック情報」とは、どの命令がソースコードのどの関数と結びつくのかを示したものをいう。そして、「分岐命令」とは、ソースコード上で関数コールした際に生成される分岐命令をいう。

以下、図３のフローチャートを参照して、第１実施形態に係るソフトウェア分析装置の処理手順を説明する。

処理を開始すると、制御部２のオブジェクト分析部３ａは、関数ブロック情報をリードし、関数ノード情報を作成する（Ｓ１）。先ず、関数ノード０について、関数範囲に分岐命令が含まれるかを判断し（Ｓ３）、含まれている場合には、分岐先ノードと現ノードを関連付ける（Ｓ４）。そして、関数範囲の終端まで走査したかを判断し（Ｓ５）、走査していなければ（Ｓ５をＮＯ）、ステップＳ３に戻り上記処理を繰り返す。

関数範囲に分岐命令が含まれていない場合（Ｓ３をＮＯ）、又は関数範囲の終端まで走査したときは（Ｓ５をＹＥＳ）、次の関数ノードについて、上記処理を繰り返す。そして、すべての関数ノードＮについて上記処理を完了すると（Ｓ６）、分析結果表示制御部３ｂによりコールグラフ表示、又は関数コールマトリクス表示を表示部６に行い（Ｓ７）、こうして一連の処理を終了する。

図４には、第１実施形態に係るソフトウェア分析装置による関数コールグラフ表示の一例を示し説明する。同図に示されるように、関数コールグラフ表示では、コール先が矢印で示されるので、コール先を一目で確認することが可能となる。

図５には、第１実施形態に係るソフトウェア分析装置による関数コールマトリクス表示の一例を示し説明する。同図に示されるように、関数コールマトリクス表示では、コールする側とされる側の対応関係がある場合には、マトリクス表の中に「塗りつぶし」で示されるので、各関数間の対応関係を確認することが可能となる。

以上説明したように、本発明の第１実施形態によれば、ソフトウェアの影響度を可視化し、設計時における変更点の妥当性確認に活用可能とすることができる。さらに、ソフトウェア構造を可視化し、構造の簡素化を支援可能とすることができる。

＜第２実施形態＞

本発明の第２実施形態に係るソフトウェア分析装置の機能ブロック図は先に図１に示したのと同様であるので、ここでは同一構成については同一符号を用いて説明する。

前述した第１実施形態では、関数コール関係の表示にて、構造化による可視化はできるが、派生開発時に重要である影響度の調査には利用することができなかった。そこで、第２実施形態では、影響度の調査に活用し得るように表示を工夫する。即ち、この第２実施形態では、第１実施形態の作用に加えて、着目した関数の協調表示、着目した関数にのみ影響のある関数の協調表示を行うこととする。

以下、図６のフローチャートを参照して、第２実施形態に係るソフトウェア分析装置の処理手順を説明する。ステップＳ１乃至Ｓ７までは、図３と同様であるので、重複した説明は省略する。分析結果表示制御部３ｂによりコールグラフ表示、又は関数コールマトリクス表示を表示部６で行った後、更に着目した関数の協調表示、着目した関数にのみ影響のある関数の協調表示を行い（Ｓ８）、処理を終了する。

図７には、本発明の第２実施形態に係るソフトウェア分析装置による関数コール影響グラフ表示の一例を示し説明する。同図に示されるように、この関数コール影響グラフ表示では、コール先が矢印で示され、更に着目した関数の協調表示もなされるので、影響度の調査に利用することが可能となる。

図８には、本発明の第２実施形態に係るソフトウェア分析装置による関数コール影響マトリクス表示の一例を示し説明する。同図に示されるように、関数コール影響マトリクス表示では、コールする側とされる側の対応関係がある場合には、マトリクス表の中に「塗りつぶし」で示され、特に着目した関数にのみ影響のある関数は協調表示されるので、影響度を意識しながら、各関数間の対応関係を確認することが可能となる。

以上説明したように、本発明の第２実施形態によれば、着目した関数の協調表示の協調表示や、着目した関数にのみ影響のある関数の協調表示を行えるので、ソフトウェアの影響度に加えて強調箇所を可視化し、設計時における変更点の妥当性確認に活用可能とすることができる。

＜第３実施形態＞

本発明の第３実施形態に係るソフトウェア分析装置の機能ブロック図は先に図１に示したのと同様であるので、ここでは同一構成については同一符号を用いて説明する。この第３実施形態では、変数構造を可視化することが可能となる。すなわち、この第３実施形態では、変数構造マトリクス表示を実現する。

図９には、第３実施形態に係るソフトウェア分析装置によりユーザオブジェクトを生成する過程を示し説明する。

ソースコードを、コンパイル、リンクした結果、実行プログラム、つまりユーザオブジェクトが生成される。ユーザオブジェクトには、命令コード、関数ブロック情報、参照命令、及び更新命令が含まれている。「命令コード」とは、コンパイル後、ソースコードが機械語に翻訳されたものをいう。「関数ブロック情報」とは、どの命令がソースコードのどの関数に結び付くか示されたものをいう。「参照命令」とは、特定メモリを参照する命令をいう。そして、「更新命令」とは、特定メモリを更新する命令をいう。

以下、図１０のフローチャートを参照して、第３実施形態に係るソフトウェア分析装置の処理手順を説明する。

この処理では、制御部２のオブジェクト分析部３ａは、関数ブロック０に対して処理を開始し（Ｓ１１）、先ずグローバル変数０を処理対象とする（Ｓ１２）。

そして、現在ブロックに現在グローバル変数参照命令が存在するか否かを判断し（Ｓ１３）、存在する場合には（Ｓ１３をＹＥＳ）、現在関数ブロックと現在グローバル変数を関連付ける（参照）（Ｓ１４）。一方、現在グローバル変数参照命令が存在しなければ（Ｓ１３をＮＯ）、Ｓ１５に移行する。

続いて、現在ブロックに現在グローバル変数更新命令が存在するか否かを判断し（Ｓ１５）、存在する場合には（Ｓ１５をＹＥＳ）、現在関数ブロックと現在グローバル変数を関連付ける（更新）（Ｓ１６）。一方、現在グローバル変数参照命令が存在しなければ（Ｓ１５をＮＯ）、Ｓ１７に移行する。

続いて、グローバル変数１について、上記同様の処理を行い、以降、関数ブロック０内の全てのグローバル変数Ｎについて上記処理を終えると（Ｓ１７）、次の関数ブロック１について同様の処理を行い、全ての関数ブロックについて上記処理を終えると（Ｓ１８）、分析結果表示制御部３ｂは、変数構造マトリクス表示を行い（Ｓ１９）、こうして一連の処理を終了する。

図１１には、第３実施形態に係るソフトウェア分析装置による変数構造マトリクス表示の一例を示し説明する。同図に示されるように、変数構造マトリクス表示では、グローバル変数と各関数との変数構造が視覚化される。

以上説明したように、本発明の第３実施形態によれば、ソフトウェアの影響度に加えて変数構造をマトリクス表示により可視化し、設計時における変更点の妥当性確認に活用可能とすることができる。

＜第４実施形態＞

本発明の第４実施形態に係るソフトウェア分析装置の機能ブロック図は先に図１に示したのと同様であるので、ここでは同一構成については同一符号を用いて説明する。

前述した第３実施形態の関するコールマトリクス表示では、構造化による可視化はできるが、派生開発時に重要である影響度の調査には利用することができなかった。このような点に鑑みて、第４実施形態では、影響度を視覚化する。具体的には、変数構造のマトリクス表示に加えて、着目した変数の協調表示、着目した変数にのみ影響のある関数の協調表示を行うこととする。

以下、図１２のフローチャートを参照して、第４実施形態に係るソフトウェア分析装置の処理手順を説明する。ステップＳ１１乃至Ｓ１９までは、図１０と同様であるので、重複した説明は省略する。変数構造マトリクス表示の後（Ｓ１９）、分析結果表示制御部３ｂは、着目した変数の協調表示、着目した変数にのみ影響のある関数の協調表示を行い（Ｓ２０）、処理を終了することになる。

図１３には、第４実施形態に係るソフトウェア分析装置による変数構造影響マトリクス表示の一例を示し説明する。同図に示されるように、変数構造影響マトリクス表示では、グローバル変数と各関数との変数構造が視覚化されると共に、着目した変数の協調表示がなされる。この例では、関数３，４とグローバル変数６，７との協調表示がなされていることから、影響度を把握することが可能となる。

以上説明したように、本発明の第４実施形態によれば、変数構造の可視化に加えて、着目した変数の協調表示、着目した変数にのみ影響のある関数の協調表示を行うことができるので、ソフトウェア構造の可視化がより精度良く行える。

＜第５実施形態＞

図１４には、本発明の第５実施形態に係るソフトウェア分析装置の機能ブロック図を示し説明する。派生流用開発では、プロダクトのベースラインの成果物に対して、順次、追加、削除、変更を繰り返し作成される。

同図に示されるように、ソフトウェア分析装置１１は、ＣＰＵ等の制御部１２を備えており、制御部１２は、差分解析表示プログラム１３を実行することで、オブジェクト差分分析部１３ａ、差分分析結果表示制御部１３ｂとして機能する。制御部１２は、第１乃至第３記憶部１４乃至１６、及び表示部１７と接続されている。

このような構成において、ソフトウェア影響箇所、ソフトウェア構造を差分分析し、テスト活用可能とする。即ち、オブジェクト差分分析部１３ａは、第１記憶部１４のユーザオブジェクト（ベースライン）と第２記憶部１５のユーザオブジェクト（完成後）についてオブジェクト差分分析を行い、詳細は後述するが、影響度や、構造出力ファイル等（差分）を生成する。この影響度や構造出力ファイルは、第３記憶部１６に格納される。差分分析結果表示制御部１３ｂは、この影響度、構造出力ファイルに基づいて、表示部１７に所定の表示を行うように制御する。所定の表示としては、差分関数コール影響グラフ表示等がある。

以下、図１５のフローチャートを参照して、第５実施形態に係るソフトウェア分析装置の処理手順を説明する。ベースライン関数コールグラフ作成処理を行い（Ｓ３１）、派生開発品関数コールグラフ作成処理を行う（Ｓ３２）。これは、第１実施形態で説明した手法による。続いて、ベースライン、派生開発品の変更点抽出を行う（Ｓ３３）。具体的には、オブジェクト差分分析部１３ａが、差分分析を行うことで変更点を抽出する。そして、差分コールグラフ表示を行う（Ｓ３４）。そして、着目した関数の協調表示、及び着目した関数にのみ影響のある関数の協調表示を行い（Ｓ３５）、一連の処理を終了する。

図１６には、第５実施形態に係るソフトウェア分析装置による差分関数コール影響グラフ表示の一例を示し説明する。

ベースラインからの変更点（追加、削除、変更）の抽出、変更点に対する影響箇所を洗い出すことは、設計時における考慮漏れの確認、テスト設計時における妥当性検証において品質向上につながる重要な視点である。このような観点から、追加関数、削除関数、及び変更関数を可視化するのが、このグラフ表示である。

以上説明したように、本発明の第５実施形態によれば、ソフトウェア影響箇所、ソフトウェア構造を差分分析し、テスト活用可能とする。

以上、本発明の一実施形態について説明したが、本発明はこれに限定されることなくその趣旨を逸脱しない範囲で種々の改良・変更が可能であることは勿論である。

例えば、着目した関数の協調表示については、表示の色彩を変更するだけでなく、点滅表示させるなど、種々の区分表示態様を採用することができる。

１…ソフトウェア分析装置、２…制御部、３…解析表示プログラム、３ａ…オブジェクト分析部、３ｂ…分析結果表示制御部、４…第１記憶部、５…第２記憶部、６…表示部、１１…ソフトウェア分析装置、１２…制御部、１３…差分解析表示プログラム、１３ａ…オブジェクト差分分析部、１３ｂ…差分分析結果表示制御部、１４…第１記憶部、１５…第２記憶部、１６…第３記憶部、１７…表示部。

上記課題を解決するため、本発明の第１の態様に係るオブジェクト分析装置は、表示部と、関数ブロック情報をリードし、関数ノード情報を作成し、第１乃至第Ｎの関数ノードについて、関数範囲に分岐命令が含まれるかを判断し、含まれている場合には、分岐先ノードと現ノードを関連付けるオブジェクト分析部と、前記オブジェクト分析部が、すべての関数ノードＮについて関連付けを完了すると、関数コールグラフ表示、又は関数コールマトリクス表示を前記表示部に行うよう制御する分析結果表示制御部と、を備え、前記関数コールグラフ表示では、コール先が矢印で示され、前記関数コールマトリクス表示では、コールする側とされる側の対応関係がある場合には、マトリクスの中に塗りつぶしで示され、各関数間の対応関係を示唆する。

本発明の第２の態様に係るオブジェクト分析装置は、表示部と、第１乃至第Ｎの関数ブロックのそれぞれに対して第１乃至第Ｎのグローバル変数を処理対象とし、前記第1乃至第Ｎの関数ブロックのそれぞれにグローバル変数参照命令が存在するか否かを判断し、存在する場合には、前記第1乃至第Ｎの関数ブロックのぞれぞれと前記第１乃至第Ｎのグローバル変数とを関連付けるオブジェクト分析部と、前記第１乃至第Ｎの関数ブロックについて、前記関連付けを終えると、前記表示部に変数構造マトリクス表示を行う分析結果表示制御部と、を備え、前記変数構造マトリクス表示では、前記第１乃至第Ｎのグローバル変数と各関数との変数構造が視覚化される。

本発明の第３の態様に係るオブジェクト分析方法は、オブジェクト分析部が、関数ブロック情報をリードし、関数ノード情報を作成し、第１乃至第Ｎの関数ノードについて、関数範囲に分岐命令が含まれるかを判断し、含まれている場合には、分岐先ノードと現ノードを関連付けるステップと、分析結果表示制御部が、前記オブジェクト分析部がすべての関数ノードＮについて関連付けを完了すると、関数コールグラフ表示、又は関数コールマトリクス表示を表示部に行うよう制御するステップと、を有し、前記関数コールグラフ表示では、コール先が矢印で示され、前記関数コールマトリクス表示では、コールする側とされる側の対応関係がある場合には、マトリクスの中に塗りつぶしで示され、各関数間の対応関係を示唆する。

本発明の第４の態様に係るオブジェクト分析方法は、オブジェクト分析部が、第１乃至第Ｎの関数ブロックのそれぞれに対して第１乃至第Ｎのグローバル変数を処理対象とし、前記第1乃至第Ｎの関数ブロックのそれぞれにグローバル変数参照命令が存在するか否かを判断し、存在する場合には、前記第1乃至第Ｎの関数ブロックのぞれぞれと前記第１乃至第Ｎのグローバル変数とを関連付けるステップと、分析結果表示制御部が、前記第１乃至第Ｎの関数ブロックについて、前記関連付けを終えると、表示部に変数構造マトリクス表示を行うステップと、を有し、前記変数構造マトリクス表示では、前記第１乃至第Ｎのグローバル変数と各関数との変数構造が視覚化される。

本発明の第５の態様に係るプログラムは、コンピュータを、関数ブロック情報をリードし、関数ノード情報を作成し、第１乃至第Ｎの関数ノードについて、関数範囲に分岐命令が含まれるかを判断し、含まれている場合には、分岐先ノードと現ノードを関連付けるオブジェクト分析部と、前記オブジェクト分析部が、すべての関数ノードＮについて関連付けを完了すると、関数コールグラフ表示、又は関数コールマトリクス表示を表示部に行うよう制御する分析結果表示制御部と、して機能させ、前記関数コールグラフ表示では、コール先が矢印で示され、前記関数コールマトリクス表示では、コールする側とされる側の対応関係がある場合には、マトリクスの中に塗りつぶしで示され、各関数間の対応関係を示唆する。

本発明の第６の態様に係るプログラムは、コンピュータを、第１乃至第Ｎの関数ブロックのそれぞれに対して第１乃至第Ｎのグローバル変数を処理対象とし、前記第1乃至第Ｎの関数ブロックのそれぞれにグローバル変数参照命令が存在するか否かを判断し、存在する場合には、前記第1乃至第Ｎの関数ブロックのぞれぞれと前記第１乃至第Ｎのグローバル変数とを関連付けるオブジェクト分析部と、前記第１乃至第Ｎの関数ブロックについて、前記関連付けを終えると、表示部に変数構造マトリクス表示を行う分析結果表示制御部と、して機能させ、前記変数構造マトリクス表示では、前記第１乃至第Ｎのグローバル変数と各関数との変数構造が視覚化される。

本発明の第２の態様に係るオブジェクト分析装置は、表示部と、第１乃至第Ｎの関数ブロックのそれぞれに対して第１乃至第Ｎのグローバル変数を処理対象とし、前記第1乃至第Ｎの関数ブロックのそれぞれにグローバル変数参照命令が存在するか否かを判断し、存在する場合には、前記第1乃至第Ｎの関数ブロックのぞれぞれと前記第１乃至第Ｎのグローバル変数とを関連付けるオブジェクト分析部と、前記第１乃至第Ｎの関数ブロックについて、前記関連付けを終えると、前記表示部に変数構造マトリクス表示を行う分析結果表示制御部と、を備え、前記変数構造マトリクス表示では、前記第１乃至第Ｎのグローバル変数と各関数との変数構造が視覚化され、前記分析結果表示制御部は、変数構造影響マトリクス表示を前記表示部に更に行うように制御し、前記変数構造影響マトリクス表示では、グローバル変数と各関数との変数構造が視覚化されると共に、着目した変数の強調表示がなされる。

本発明の第４の態様に係るオブジェクト分析方法は、オブジェクト分析部が、第１乃至第Ｎの関数ブロックのそれぞれに対して第１乃至第Ｎのグローバル変数を処理対象とし、前記第1乃至第Ｎの関数ブロックのそれぞれにグローバル変数参照命令が存在するか否かを判断し、存在する場合には、前記第1乃至第Ｎの関数ブロックのぞれぞれと前記第１乃至第Ｎのグローバル変数とを関連付けるステップと、分析結果表示制御部が、前記第１乃至第Ｎの関数ブロックについて、前記関連付けを終えると、表示部に変数構造マトリクス表示を行うステップと、を有し、前記変数構造マトリクス表示では、前記第１乃至第Ｎのグローバル変数と各関数との変数構造が視覚化され、前記分析結果表示制御部は、変数構造影響マトリクス表示を前記表示部に更に行うように制御し、前記変数構造影響マトリクス表示では、グローバル変数と各関数との変数構造が視覚化されると共に、着目した変数の強調表示がなされる。

本発明の第６の態様に係るプログラムは、コンピュータを、第１乃至第Ｎの関数ブロックのそれぞれに対して第１乃至第Ｎのグローバル変数を処理対象とし、前記第１乃至第Ｎの関数ブロックのそれぞれにグローバル変数参照命令が存在するか否かを判断し、存在する場合には、前記第1乃至第Ｎの関数ブロックのぞれぞれと前記第１乃至第Ｎのグローバル変数とを関連付けるオブジェクト分析部と、前記第１乃至第Ｎの関数ブロックについて、前記関連付けを終えると、表示部に変数構造マトリクス表示を行う分析結果表示制御部と、して機能させ、前記変数構造マトリクス表示では、前記第１乃至第Ｎのグローバル変数と各関数との変数構造が視覚化され、前記分析結果表示制御部は、変数構造影響マトリクス表示を前記表示部に更に行うように制御し、前記変数構造影響マトリクス表示では、グローバル変数と各関数との変数構造が視覚化されると共に、着目した変数の強調表示がなされる。

Claims (8)

1. 所定の表示を行う表示部と、
   コンパイル、リンク後のオブジェクトを入力としてオブジェクト分析を行い、影響度及び構造出力ファイルを生成するオブジェクト分析部と、
   前記影響度及び構造出力ファイルを記憶する記憶部と、
   前記影響度及び構造出力ファイルに基づいて前記表示部による表示を制御する分析結果表示制御部と、を有し、
   前記オブジェクトには、前記コンパイル後、ソースコードが機械語に翻訳された命令コードと、この命令コードと前記ソースコードの関数と結び付きを示した関数ブロック情報と、前記ソースコード上で関数コールした際に生成される分岐命令と、を含む
   オブジェクト分析装置。
2. 前記所定の表示とは、関数コールグラフ表示、関数コールマトリクス表示である
   請求項１に記載のオブジェクト分析装置。
3. 前記分析結果表示制御部は、着目した関数の協調表示、及び着目した関数にのみ影響のある関数の協調表示の少なくともいずれかを行うよう制御する
   請求項２に記載のオブジェクト分析装置。
4. 前記オブジェクト分析部は、前記オブジェクトにグローバル変数参照命令、又はグローバル変数更新命令が存在するときは、関数ブロックとグローバル変数とを関連付け、
   前記分析結果表示制御部は、前記関連付けに基づいて所定の変数構造マトリクス表示を前記表示部に行うように制御する
   請求項１に記載のオブジェクト分析装置。
5. 前記分析結果表示制御部は、着目した関数の協調表示、及び着目した関数にのみ影響のある関数の協調表示の少なくともいずれかを行うよう制御する
   請求項４に記載のオブジェクト分析装置。
6. 所定の表示を行う表示部と、
   ベースライン、完成後の両オブジェクトについてオブジェクト差分分析を行い、影響度や、構造出力ファイルを生成するオブジェクト差分分析部と、
   前記影響度や構造出力ファイルを記憶する記憶部と、
   前記影響度、構造出力ファイルに基づいて前記表示部に所定の表示を行うように制御する差分分析結果表示制御部と、を有し、
   所定の表示とは、差分関数コール影響グラフ表示である
   オブジェクト分析装置。
7. コンパイル、リンク後のオブジェクトを入力としてオブジェクト分析を行い、影響度及び構造出力ファイルを生成するステップと、
   前記影響度及び構造出力ファイルを記憶するステップと、
   前記影響度及び構造出力ファイルに基づいて表示を制御するステップと、を有し、
   前記オブジェクトには、前記コンパイル後、ソースコードが機械語に翻訳された命令コードと、この命令コードと前記ソースコードの関数と結び付きを示した関数ブロック情報と、前記ソースコード上で関数コールした際に生成される分岐命令と、を含む
   オブジェクト分析方法。
8. コンピュータを、
   コンパイル、リンク後のオブジェクトを入力としてオブジェクト分析を行い、影響度及び構造出力ファイルを生成するオブジェクト分析部と、
   前記影響度及び構造出力ファイルに基づいて前記表示部による表示を制御する分析結果表示制御部と、して機能させ、
   前記オブジェクトには、前記コンパイル後、ソースコードが機械語に翻訳された命令コードと、この命令コードと前記ソースコードの関数と結び付きを示した関数ブロック情報と、前記ソースコード上で関数コールした際に生成される分岐命令と、を含む
   プログラム。