JPH07262044A - イベントトレース解析方法 - Google Patents
イベントトレース解析方法Info
- Publication number
- JPH07262044A JPH07262044A JP6055418A JP5541894A JPH07262044A JP H07262044 A JPH07262044 A JP H07262044A JP 6055418 A JP6055418 A JP 6055418A JP 5541894 A JP5541894 A JP 5541894A JP H07262044 A JPH07262044 A JP H07262044A
- Authority
- JP
- Japan
- Prior art keywords
- class
- program
- user
- called
- event trace
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
Abstract
(57)【要約】
【目的】 あるインスタンスに対して誤った順序でメソ
ッドが呼び出されていることをチェックする。 【構成】 検査するプログラムを読み込み(100)、利用
者が定義したメソッドの呼び出し順序規則情報を読み込
む(101)。プログラムの最後まで(102)、１文ずつ実行し
(103)、実行した文が、メソッドの呼び出し文ならば(10
4)、メソッドが呼び出し順序規則で指定したクラスに属
するか否かを調査し(105)、属するならばインスタンス
に対するメソッドの呼び出し順序を調査する(106)。も
し順序規則に反した呼び出しを行っていれば(107)、警
告を利用者に表示する(108)。 【効果】 プログラムのバグを早期に発見する。
ッドが呼び出されていることをチェックする。 【構成】 検査するプログラムを読み込み(100)、利用
者が定義したメソッドの呼び出し順序規則情報を読み込
む(101)。プログラムの最後まで(102)、１文ずつ実行し
(103)、実行した文が、メソッドの呼び出し文ならば(10
4)、メソッドが呼び出し順序規則で指定したクラスに属
するか否かを調査し(105)、属するならばインスタンス
に対するメソッドの呼び出し順序を調査する(106)。も
し順序規則に反した呼び出しを行っていれば(107)、警
告を利用者に表示する(108)。 【効果】 プログラムのバグを早期に発見する。
Description
【０００１】
【産業上の利用分野】本発明は、プログラムのデバッグ
を支援するシステムに関する。特に、データとデータに
アクセスする関数を１つのクラスと見なし、クラスの集
合としてプログラムを組織化する、オブジェクト指向プ
ログラムのデバッグに有効なシステムに関する。オブジ
ェクト指向では、データを属性と呼び、関数をメソッド
と呼ぶ。
を支援するシステムに関する。特に、データとデータに
アクセスする関数を１つのクラスと見なし、クラスの集
合としてプログラムを組織化する、オブジェクト指向プ
ログラムのデバッグに有効なシステムに関する。オブジ
ェクト指向では、データを属性と呼び、関数をメソッド
と呼ぶ。
【０００２】
【従来の技術】特願昭６２−０７６０７９に見られるよ
うに、プログラムをデバッグする際に、関数の呼び出し
順序を利用者が定義し、利用者が定義した順序とは異な
る順序で関数が呼び出された時に、警告を出すものがあ
った。例えば、利用者が定義した関数の呼出し順序が、
ＭＡＩＮ→ＳＵＢ１→ＳＵＢ２→ＳＵＢ３→ＳＵＢ４で
あった時に、ＳＵＢ２の次にＳＵＢ４が呼び出される
と、利用者に警告を表示する。
うに、プログラムをデバッグする際に、関数の呼び出し
順序を利用者が定義し、利用者が定義した順序とは異な
る順序で関数が呼び出された時に、警告を出すものがあ
った。例えば、利用者が定義した関数の呼出し順序が、
ＭＡＩＮ→ＳＵＢ１→ＳＵＢ２→ＳＵＢ３→ＳＵＢ４で
あった時に、ＳＵＢ２の次にＳＵＢ４が呼び出される
と、利用者に警告を表示する。
【０００３】
【発明が解決しようとする課題】オブジェクト指向のプ
ログラムでは、クラスがプログラムを組織する単位にな
っており、プログラムの実行中にクラスからインスタン
スが生成され、インスタンス間でメソッドを呼びだすこ
とで処理が行われる。各メソッドはクラス内の属性の値
を参照したり更新したりする。各クラスの中のいくつか
の属性の値が状態を形成し、クラスは固有の状態遷移を
有する。クラスは、状態遷移を引き起こすいくつかのメ
ソッドを有し、これらのメソッドが呼ばれる順序は、ク
ラスの状態遷移の仕様に依存し、誤った順序で呼ばれる
とプログラムの誤りとなる。例えば、図書館で管理する
本を扱う、クラス本を考える。クラス本には、貸し出し
可能、貸し出し中、廃棄の３つの状態がある。クラス本
に属するインスタンスは、図書館で管理する本１つ１つ
であり、それぞれ、貸し出されたり、返却されること
で、状態が変化する。プログラムにおいては、各インス
タンスは、メソッドが呼びだされることで、個々に状態
遷移する。
ログラムでは、クラスがプログラムを組織する単位にな
っており、プログラムの実行中にクラスからインスタン
スが生成され、インスタンス間でメソッドを呼びだすこ
とで処理が行われる。各メソッドはクラス内の属性の値
を参照したり更新したりする。各クラスの中のいくつか
の属性の値が状態を形成し、クラスは固有の状態遷移を
有する。クラスは、状態遷移を引き起こすいくつかのメ
ソッドを有し、これらのメソッドが呼ばれる順序は、ク
ラスの状態遷移の仕様に依存し、誤った順序で呼ばれる
とプログラムの誤りとなる。例えば、図書館で管理する
本を扱う、クラス本を考える。クラス本には、貸し出し
可能、貸し出し中、廃棄の３つの状態がある。クラス本
に属するインスタンスは、図書館で管理する本１つ１つ
であり、それぞれ、貸し出されたり、返却されること
で、状態が変化する。プログラムにおいては、各インス
タンスは、メソッドが呼びだされることで、個々に状態
遷移する。
【０００４】従来の技術は、関数の呼び出し順序に着目
し、順序を予め記述していた。しかし、１つのインスタ
ンスに着目してメソッドの呼び出し順序を記述すること
ができなかった。例えば、クラスＢｏｏｋはメソッドＬ
ｅｎｄ、メソッドＲｅｔｕｒｎ、メソッドＤｅｌｅｔｅ
を有するとする。Ｌｅｎｄ、Ｒｅｔｕｒｎの順に呼び出
さなければならいというルールが存在するとする。クラ
スＢｏｏｋは様々なインスタンスを有し、それぞれに状
態遷移がことなる。メソッドＬｅｎｄが続けて呼び出さ
れても、それが別のインスタンスに対するのメソッド呼
び出しならば、誤りとはならない。従来技術では、この
ような状況を区別できず、誤りと判定していた。
し、順序を予め記述していた。しかし、１つのインスタ
ンスに着目してメソッドの呼び出し順序を記述すること
ができなかった。例えば、クラスＢｏｏｋはメソッドＬ
ｅｎｄ、メソッドＲｅｔｕｒｎ、メソッドＤｅｌｅｔｅ
を有するとする。Ｌｅｎｄ、Ｒｅｔｕｒｎの順に呼び出
さなければならいというルールが存在するとする。クラ
スＢｏｏｋは様々なインスタンスを有し、それぞれに状
態遷移がことなる。メソッドＬｅｎｄが続けて呼び出さ
れても、それが別のインスタンスに対するのメソッド呼
び出しならば、誤りとはならない。従来技術では、この
ような状況を区別できず、誤りと判定していた。
【０００５】また、あるクラスＡのメソッドａから直接
あるいは間接的に呼びだされるクラスＡのメソッドの中
に、メソッドａが参照あるいは更新しているクラスＡの
属性を、更新しているメソッドが存在しているとする
と、バグの原因になりやすい。従来のデバッガでこのよ
うな状況を発見するのは困難であった。
あるいは間接的に呼びだされるクラスＡのメソッドの中
に、メソッドａが参照あるいは更新しているクラスＡの
属性を、更新しているメソッドが存在しているとする
と、バグの原因になりやすい。従来のデバッガでこのよ
うな状況を発見するのは困難であった。
【０００６】
【課題を解決するための手段】オブジェクト指向のプロ
グラムは、複数のクラスの集合として、プログラムが構
築される。開発者はクラス単位に設計、実装、テストを
進めていく。従って、クラスの単位で条件を記述するの
は考えやすい。様々なパターンのメソッドの呼び出し順
序も、１つのクラスの中のメソッドの呼び出し順序に限
定して記述すれば容易である。
グラムは、複数のクラスの集合として、プログラムが構
築される。開発者はクラス単位に設計、実装、テストを
進めていく。従って、クラスの単位で条件を記述するの
は考えやすい。様々なパターンのメソッドの呼び出し順
序も、１つのクラスの中のメソッドの呼び出し順序に限
定して記述すれば容易である。
【０００７】第１の発明は、オブジェクト指向のプログ
ラムのためのデバッグ支援方法であり、利用者が定義し
た、１つのクラスのメソッドの呼び出し順序に関するル
ールを読み込んで、プログラムを実行する際に、利用者
が指定したクラスのメソッドの呼び出し順序を記憶して
いく。利用者が指定した呼び出し順序と反した時に、メ
ッセージを出力する。ルールはメソッドの正規表現によ
る順序あるいは、状態遷移図によって表現される。これ
によって、オブジェクト指向プログラムにおける誤った
メソッドの呼び出しが発見できる。
ラムのためのデバッグ支援方法であり、利用者が定義し
た、１つのクラスのメソッドの呼び出し順序に関するル
ールを読み込んで、プログラムを実行する際に、利用者
が指定したクラスのメソッドの呼び出し順序を記憶して
いく。利用者が指定した呼び出し順序と反した時に、メ
ッセージを出力する。ルールはメソッドの正規表現によ
る順序あるいは、状態遷移図によって表現される。これ
によって、オブジェクト指向プログラムにおける誤った
メソッドの呼び出しが発見できる。
【０００８】さらに、メソッドだけでなく、クラスが有
する属性の値の遷移に関するルールを読み込んで、これ
に反した時に、メッセージを出力する。これによって
も、誤ったメソッドの呼び出しが発見できる。
する属性の値の遷移に関するルールを読み込んで、これ
に反した時に、メッセージを出力する。これによって
も、誤ったメソッドの呼び出しが発見できる。
【０００９】第２の発明は、属性とメソッドの関係に着
目し、あるメソッドａで参照あるいは更新しているクラ
スの属性を記憶し、あるメソッドａから直接あるいは間
接的にメソッドが呼ばれる際に、呼び出されたメソッド
の更新する属性を抽出し、メソッドａが参照あるいは更
新している属性が含まれていないかチェックする。も
し、含まれていれば、メッセージを表示する。これによ
って、メソッドの設計ミスが発見できる。
目し、あるメソッドａで参照あるいは更新しているクラ
スの属性を記憶し、あるメソッドａから直接あるいは間
接的にメソッドが呼ばれる際に、呼び出されたメソッド
の更新する属性を抽出し、メソッドａが参照あるいは更
新している属性が含まれていないかチェックする。も
し、含まれていれば、メッセージを表示する。これによ
って、メソッドの設計ミスが発見できる。
【００１０】
【作用】第１の発明では、利用者はメソッドの呼び出し
順序を正規表現、あるいは状態遷移図で表現する。例え
ば、クラスＡにおける正規表現でａ１｛ａ２｝ａ３を、
初めにａ１が呼ばれて、次にａ２が１回以上呼ばれて、
最後にａ３が呼ばれる意味とする。利用者が定義したメ
ソッドの呼び出し順序を読み込み、プログラムの実行中
に、メソッドの呼び出しを監視する。クラスＡのインス
タンスであるａに対して、ａ１がまず呼ばれると、イン
スタンスａに対して、ａ１が呼ばれたことを記憶する。
他のクラスのメソッド、あるいはクラスＡのａ１、ａ
２、ａ３以外のメソッドの呼び出しは無視する。次に、
インスタンスａに対して、ａ２が呼ばれるとａ２が呼ば
れたことを記憶する。次に、ａ１が呼ばれると正規表現
と異なるので、メッセージを出力する。これによって、
プログラムが誤っていることが判る。
順序を正規表現、あるいは状態遷移図で表現する。例え
ば、クラスＡにおける正規表現でａ１｛ａ２｝ａ３を、
初めにａ１が呼ばれて、次にａ２が１回以上呼ばれて、
最後にａ３が呼ばれる意味とする。利用者が定義したメ
ソッドの呼び出し順序を読み込み、プログラムの実行中
に、メソッドの呼び出しを監視する。クラスＡのインス
タンスであるａに対して、ａ１がまず呼ばれると、イン
スタンスａに対して、ａ１が呼ばれたことを記憶する。
他のクラスのメソッド、あるいはクラスＡのａ１、ａ
２、ａ３以外のメソッドの呼び出しは無視する。次に、
インスタンスａに対して、ａ２が呼ばれるとａ２が呼ば
れたことを記憶する。次に、ａ１が呼ばれると正規表現
と異なるので、メッセージを出力する。これによって、
プログラムが誤っていることが判る。
【００１１】第２の発明では、あるメソッドａで参照あ
るいは更新している属性を記憶し、該メソッドから直接
あるいは間接に呼び出しているメソッドｂの更新してい
る属性と比較するので、メソッドａで使用している属性
を、更新してしまっているメソッドが分かる。開発者が
意図的に行っている場合は問題無いが、意図に反してい
る場合は、バグの原因となる。バグの原因になりそうな
事象を、利用者に示すことにより、プログラムのデバッ
グを支援する。
るいは更新している属性を記憶し、該メソッドから直接
あるいは間接に呼び出しているメソッドｂの更新してい
る属性と比較するので、メソッドａで使用している属性
を、更新してしまっているメソッドが分かる。開発者が
意図的に行っている場合は問題無いが、意図に反してい
る場合は、バグの原因となる。バグの原因になりそうな
事象を、利用者に示すことにより、プログラムのデバッ
グを支援する。
【００１２】
【実施例】以下、本発明の実施例を詳細に説明する。最
初に第１の発明の実施例を説明する。第１の発明は、１
つのクラスに対するメソッドの呼び出し順序が、利用者
の意図と反した際に、すぐに発見できるため、プログラ
ムのバグが見つけやすくなる。
初に第１の発明の実施例を説明する。第１の発明は、１
つのクラスに対するメソッドの呼び出し順序が、利用者
の意図と反した際に、すぐに発見できるため、プログラ
ムのバグが見つけやすくなる。
【００１３】第１の発明を実現するシステムのフローチ
ャートを図１に示す。図２は本発明のハードウェア構成
図を示す。２００はプログラムやメソッドの呼び出し順
序に関する規則を入力する入力装置、２０１は本発明で
解析するプログラムとデータを一時的に記憶する主記憶
装置、２０２は本発明のプログラムを実行するＣＰＵ、
２０３は本発明のプログラムや解析対象となるプログラ
ムやデータを記憶する外部記憶装置、２０４は本発明の
出力結果を表示するＣＲＴである。
ャートを図１に示す。図２は本発明のハードウェア構成
図を示す。２００はプログラムやメソッドの呼び出し順
序に関する規則を入力する入力装置、２０１は本発明で
解析するプログラムとデータを一時的に記憶する主記憶
装置、２０２は本発明のプログラムを実行するＣＰＵ、
２０３は本発明のプログラムや解析対象となるプログラ
ムやデータを記憶する外部記憶装置、２０４は本発明の
出力結果を表示するＣＲＴである。
【００１４】図１のフローチャートに基づいて本実施例
を説明する。検査するプログラムを読み込み(100)、利
用者が定義したメソッドの呼び出し順序規則情報を読み
込む(101)。図書館で管理する本のクラスにおけるメソ
ッドの呼び出し順序規則を正規表現で記述した例を以下
に示す。
を説明する。検査するプログラムを読み込み(100)、利
用者が定義したメソッドの呼び出し順序規則情報を読み
込む(101)。図書館で管理する本のクラスにおけるメソ
ッドの呼び出し順序規則を正規表現で記述した例を以下
に示す。
【００１５】Ｂｏｏｋ：：｛Ｌｅｎｄ，Ｒｅｔｕｒｎ｝
＋，Ｄｅｌｅｔｅ 最初にクラス名が示され、’：：’で区切られた後に、
メソッドの呼び出し順序が示される。’｛｝’は組合せ
を表し、’＋’は１回以上を表す。ＬｅｎｄとＲｅｔｕ
ｒｎの組合せが１回以上呼び出された後に、最後にＤｅ
ｌｅｔｅが呼び出されて終了する。つまり、本の貸出し
と返却が繰り返されて、最後に本が破棄されることを意
味している。このような呼び出し関係が定義された際
に、Ｌｅｎｄが２度続けて呼び出されたり、Ｒｅｔｕｒ
ｎが２度続けて呼び出されると、プログラムのエラーと
なる。順序規則情報を読み込んだ後に、プログラムの最
後まで(102)、１文ずつ実行する(103)。実行したプログ
ラムの文が、メソッドの呼び出し文ならば(104)、メソ
ッドが、呼び出し順序規則で指定したクラスに属するか
否かを調査する(105)。クラスＢｏｏｋのメソッドＬｅ
ｎｄが、インスタンスｂｏｏｋ２に対して呼び出された
とすれば、Ｌｅｎｄは順序規則で指定したクラスに属す
るメソッドとなる。呼び出しメソッドテーブルを調査
し、インスタンスに対するメソッドの呼び出し順序を調
査する(106)。もし順序規則で指定したクラスに属する
インスタンスで、順序規則に反した呼び出しを行ってい
れば(107)、警告を利用者に表示する(108)。表１に呼び
出しメソッドテーブルを示す。本テーブルは、現在まで
に呼び出されたメソッド名とクラス名、呼び出しの対象
となったインスタンス名を示す。
＋，Ｄｅｌｅｔｅ 最初にクラス名が示され、’：：’で区切られた後に、
メソッドの呼び出し順序が示される。’｛｝’は組合せ
を表し、’＋’は１回以上を表す。ＬｅｎｄとＲｅｔｕ
ｒｎの組合せが１回以上呼び出された後に、最後にＤｅ
ｌｅｔｅが呼び出されて終了する。つまり、本の貸出し
と返却が繰り返されて、最後に本が破棄されることを意
味している。このような呼び出し関係が定義された際
に、Ｌｅｎｄが２度続けて呼び出されたり、Ｒｅｔｕｒ
ｎが２度続けて呼び出されると、プログラムのエラーと
なる。順序規則情報を読み込んだ後に、プログラムの最
後まで(102)、１文ずつ実行する(103)。実行したプログ
ラムの文が、メソッドの呼び出し文ならば(104)、メソ
ッドが、呼び出し順序規則で指定したクラスに属するか
否かを調査する(105)。クラスＢｏｏｋのメソッドＬｅ
ｎｄが、インスタンスｂｏｏｋ２に対して呼び出された
とすれば、Ｌｅｎｄは順序規則で指定したクラスに属す
るメソッドとなる。呼び出しメソッドテーブルを調査
し、インスタンスに対するメソッドの呼び出し順序を調
査する(106)。もし順序規則で指定したクラスに属する
インスタンスで、順序規則に反した呼び出しを行ってい
れば(107)、警告を利用者に表示する(108)。表１に呼び
出しメソッドテーブルを示す。本テーブルは、現在まで
に呼び出されたメソッド名とクラス名、呼び出しの対象
となったインスタンス名を示す。
【００１６】
【表１】
【００１７】ｂｏｏｋ２に対しては、過去にＬｅｎｄが
呼び出されており、再びＬｅｎｄが呼び出されたので、
メソッドの順序規則に反する。よって、警告を出力す
る。その後、呼び出したメソッドを記憶し(108)、102に
戻ってプログラムを実行する。
呼び出されており、再びＬｅｎｄが呼び出されたので、
メソッドの順序規則に反する。よって、警告を出力す
る。その後、呼び出したメソッドを記憶し(108)、102に
戻ってプログラムを実行する。
【００１８】呼び出し順序は、状態遷移図でも表現でき
る。状態遷移図で記述した呼び出し順序の例を図３に示
す。意味するところは、上記の正規表現と同じであり、
本は、貸出し可能と、貸出し中の２つの状態を交互にと
り、２つの状態を変化させるメソッドがＬｅｎｄとＲｅ
ｔｕｒｎであることを示している。そして、最後にＤｅ
ｌｅｔｅのメソッドが呼ばれて、廃棄の状態になること
を示している。
る。状態遷移図で記述した呼び出し順序の例を図３に示
す。意味するところは、上記の正規表現と同じであり、
本は、貸出し可能と、貸出し中の２つの状態を交互にと
り、２つの状態を変化させるメソッドがＬｅｎｄとＲｅ
ｔｕｒｎであることを示している。そして、最後にＤｅ
ｌｅｔｅのメソッドが呼ばれて、廃棄の状態になること
を示している。
【００１９】次に第２の発明の実施例を図４のフローチ
ャートを用いて説明する。第２の発明は、あるメソッド
から直接的あるいは間接的に呼び出されているメソッド
が、同じ変数を、同時に更新している時に発生する、プ
ログラムのバグを早期に発見できる。
ャートを用いて説明する。第２の発明は、あるメソッド
から直接的あるいは間接的に呼び出されているメソッド
が、同じ変数を、同時に更新している時に発生する、プ
ログラムのバグを早期に発見できる。
【００２０】プログラムを読み込み、実行して、実行し
たプログラム文がメソッドの呼び出しならば(104)、呼
び出したメソッドが更新している属性を検索する(40
0)。例えば、インスタンスｕｓｅｒ１に対して、Ｕｓｅ
ｒクラスのメソッドＢｏｒｒｏｗが呼び出されて実行さ
れた時に、メソッドＢｏｒｒｏｗで更新している属性が
ｃであったとする。次に参照更新テーブルの中から、イ
ンスタンス名、クラス名が同一であり、かつ現在呼び出
したメソッドの中で更新している属性を参照あるいは更
新しているメソッドを検索する(401)。参照更新属性テ
ーブルの例を図５に示す。５００はインスタンス名を記
憶する列、５０１はクラス名を記憶する列、５０２はメ
ソッド名を記憶する列、５０３はメソッドの中で参照し
ている属性を記憶する列、５０４はメソッドの中で更新
している属性を記憶する列を示す。メソッドが呼び出さ
れた順に上から記憶される。Ｕｓｅｒクラスのメソッド
Ｂｏｒｒｏｗはｃを更新しているので、Ｕｓｅｒクラス
であり、かつ属性ｃを参照あるいは更新しているメソッ
ドを検索する。図５では、過去にｕｓｅｒ１に対して、
ＵｓｅｒクラスのＬｅｎｄが呼ばれており、Ｌｅｎｄの
中で更新されている属性は、ｃであるのでＬｅｎｄのメ
ソッドがこれに該当する。よって、警告を出力する(40
3)。次に、呼び出されたメソッドが参照更新している属
性を、参照更新属性テーブルに記憶し(404)、再び102か
ら繰り返す。実行したプログラムの文が、メソッドの終
了文ならば(405)、終了したメソッドに対応する参照更
新属性テーブル内のレコードを削除する(406)。
たプログラム文がメソッドの呼び出しならば(104)、呼
び出したメソッドが更新している属性を検索する(40
0)。例えば、インスタンスｕｓｅｒ１に対して、Ｕｓｅ
ｒクラスのメソッドＢｏｒｒｏｗが呼び出されて実行さ
れた時に、メソッドＢｏｒｒｏｗで更新している属性が
ｃであったとする。次に参照更新テーブルの中から、イ
ンスタンス名、クラス名が同一であり、かつ現在呼び出
したメソッドの中で更新している属性を参照あるいは更
新しているメソッドを検索する(401)。参照更新属性テ
ーブルの例を図５に示す。５００はインスタンス名を記
憶する列、５０１はクラス名を記憶する列、５０２はメ
ソッド名を記憶する列、５０３はメソッドの中で参照し
ている属性を記憶する列、５０４はメソッドの中で更新
している属性を記憶する列を示す。メソッドが呼び出さ
れた順に上から記憶される。Ｕｓｅｒクラスのメソッド
Ｂｏｒｒｏｗはｃを更新しているので、Ｕｓｅｒクラス
であり、かつ属性ｃを参照あるいは更新しているメソッ
ドを検索する。図５では、過去にｕｓｅｒ１に対して、
ＵｓｅｒクラスのＬｅｎｄが呼ばれており、Ｌｅｎｄの
中で更新されている属性は、ｃであるのでＬｅｎｄのメ
ソッドがこれに該当する。よって、警告を出力する(40
3)。次に、呼び出されたメソッドが参照更新している属
性を、参照更新属性テーブルに記憶し(404)、再び102か
ら繰り返す。実行したプログラムの文が、メソッドの終
了文ならば(405)、終了したメソッドに対応する参照更
新属性テーブル内のレコードを削除する(406)。
【００２１】次に、第３の発明の実施例を図６のフロー
チャートを用いて説明する。第３の発明は、呼び出しを
禁止しているクラスの間でメソッドの呼び出し関係があ
るかないかをチェックする。例えば、様々なアプリケー
ションに共通的に利用できるクラスと、あるアプリケー
ションに固有なクラスが存在したときに、固有なクラス
から共通利用できるクラスを呼びだすことはできるが、
共通利用できるクラスから固有なクラスは呼び出しがで
きない。なぜなら、共通利用できるクラスから固有なク
ラスを呼び出してしまうと、呼び出しの部分があるアプ
リケーションに固有な部分になってしまい、クラス全体
が共通利用できなくなってしまうためである。本発明は
このような状況を防ぐためのものである。
チャートを用いて説明する。第３の発明は、呼び出しを
禁止しているクラスの間でメソッドの呼び出し関係があ
るかないかをチェックする。例えば、様々なアプリケー
ションに共通的に利用できるクラスと、あるアプリケー
ションに固有なクラスが存在したときに、固有なクラス
から共通利用できるクラスを呼びだすことはできるが、
共通利用できるクラスから固有なクラスは呼び出しがで
きない。なぜなら、共通利用できるクラスから固有なク
ラスを呼び出してしまうと、呼び出しの部分があるアプ
リケーションに固有な部分になってしまい、クラス全体
が共通利用できなくなってしまうためである。本発明は
このような状況を防ぐためのものである。
【００２２】プログラムを読み込み、利用者が定義した
呼び出し関係テーブルを読み込む(600)。呼び出し関係
テーブルの例を図７に示す。７００は呼び出し元のクラ
スあるいはクラスのグループを示し、７０１は呼び出し
元のクラスから呼び出し可能なクラスのグループあるい
はクラスを示す。図７の最初のレコードは、クラス名の
先頭が”ＡｗａＳ”になっているクラスから、クラス名
の先頭が”ＡｗａＳ”になっているクラスを呼び出すこ
とが可能であることを示している。
呼び出し関係テーブルを読み込む(600)。呼び出し関係
テーブルの例を図７に示す。７００は呼び出し元のクラ
スあるいはクラスのグループを示し、７０１は呼び出し
元のクラスから呼び出し可能なクラスのグループあるい
はクラスを示す。図７の最初のレコードは、クラス名の
先頭が”ＡｗａＳ”になっているクラスから、クラス名
の先頭が”ＡｗａＳ”になっているクラスを呼び出すこ
とが可能であることを示している。
【００２３】実行したプログラム文がメソッドの呼び出
しならば(104)、呼び出し関係テーブルから呼び出し関
係を取得し(601)、呼び出し元のメソッドが呼び出し関
係テーブルに記述されたクラスあるいはクラスグループ
に含まれているかチェックする(602)。もし含まれてい
れば、呼び出されたメソッドが呼び出しを許すクラスに
含まれているかチェックする(604)。例えば、クラスＡ
ｗａＳＢｏｏｋのメソッドＬｅｎｄから、クラスＡｗｅ
ＳＵｓｅｒのＬｅｎｄが呼ばれたとする。先頭にＡｗａ
Ｓが付くクラスから呼び出し可能なクラスは、先頭にＡ
ｗａＳあるいはＡｗａＵが付くクラスである。ＡｗｅＳ
Ｕｓｅｒのメソッドは呼び出し可能なクラスのメソッド
ではない。もし呼び出しが不可能なクラスのメソッドを
呼び出している時は、警告を出力する(605)。
しならば(104)、呼び出し関係テーブルから呼び出し関
係を取得し(601)、呼び出し元のメソッドが呼び出し関
係テーブルに記述されたクラスあるいはクラスグループ
に含まれているかチェックする(602)。もし含まれてい
れば、呼び出されたメソッドが呼び出しを許すクラスに
含まれているかチェックする(604)。例えば、クラスＡ
ｗａＳＢｏｏｋのメソッドＬｅｎｄから、クラスＡｗｅ
ＳＵｓｅｒのＬｅｎｄが呼ばれたとする。先頭にＡｗａ
Ｓが付くクラスから呼び出し可能なクラスは、先頭にＡ
ｗａＳあるいはＡｗａＵが付くクラスである。ＡｗｅＳ
Ｕｓｅｒのメソッドは呼び出し可能なクラスのメソッド
ではない。もし呼び出しが不可能なクラスのメソッドを
呼び出している時は、警告を出力する(605)。
【００２４】次に、第４の発明の実施例を図８のフロー
チャートを用いて説明する。オブジェクト指向のプログ
ラムでは、インスタンス間でメソッドを呼び出しなが
ら、処理を行う。その際に、既に消滅してしまったイン
スタンスに対して、メソッドを呼び出すとプログラムが
暴走する。第４の発明は、既に消滅してしまったインス
タンスに対して、メソッドを送ることによるプログラム
の誤りを早期に発見する。 実行したプログラム文がメ
ソッドの呼び出しならば(104)、呼び出し先のインスタ
ンスが存在するか否かをインスタンステーブルでチェッ
クする(800)。表２にインスタンステーブルの例を示
す。
チャートを用いて説明する。オブジェクト指向のプログ
ラムでは、インスタンス間でメソッドを呼び出しなが
ら、処理を行う。その際に、既に消滅してしまったイン
スタンスに対して、メソッドを呼び出すとプログラムが
暴走する。第４の発明は、既に消滅してしまったインス
タンスに対して、メソッドを送ることによるプログラム
の誤りを早期に発見する。 実行したプログラム文がメ
ソッドの呼び出しならば(104)、呼び出し先のインスタ
ンスが存在するか否かをインスタンステーブルでチェッ
クする(800)。表２にインスタンステーブルの例を示
す。
【００２５】
【表２】
【００２６】インスタンステーブルは存在しているイン
スタンスを管理する。もし、存在しないインスタンスに
メソッドを呼び出していたら(801)、警告を表示する(80
2)。実行したプログラム文がインスタンスを消滅させる
文ならば(803)、インスタンステーブルからインスタン
スを削除する(804)。インスタンスを生成させる文なら
ば(805)、生成したインスタンスをインスタンステーブ
ルに追加する(806)。
スタンスを管理する。もし、存在しないインスタンスに
メソッドを呼び出していたら(801)、警告を表示する(80
2)。実行したプログラム文がインスタンスを消滅させる
文ならば(803)、インスタンステーブルからインスタン
スを削除する(804)。インスタンスを生成させる文なら
ば(805)、生成したインスタンスをインスタンステーブ
ルに追加する(806)。
【００２７】次に、第５の発明の実施例を図９のフロー
チャートを用いて説明する。プログラムに誤りがあった
際に、メソッドの呼び出し順序を調べることは、バグの
発見に役に立つ。第５の発明は、バグが含まれるプログ
ラムを実行することで、クラス名とメソッド名を呼び出
された順に表示するので、バグの発見に役に立つ。
チャートを用いて説明する。プログラムに誤りがあった
際に、メソッドの呼び出し順序を調べることは、バグの
発見に役に立つ。第５の発明は、バグが含まれるプログ
ラムを実行することで、クラス名とメソッド名を呼び出
された順に表示するので、バグの発見に役に立つ。
【００２８】プログラムを読み込み、実行して、実行し
たプログラム文がメソッドの呼び出しならば(104)、ク
ラス名とメソッド名を表示する(900)。表示した結果を
図１０に示す。ＢＥＧＩＮはメソッドが呼び出されたこ
とを示し、ＥＮＤは呼び出されたメソッドの実行が終了
したことを示す。インデンテーションは、あるメソッド
から別なメソッドが呼び出されていることを示す。例え
ば、クラスＡｗａＳＵｓｅｒのＬｅｎｄのメソッドか
ら、クラスＡｗｅＳＢｏｏｋのＬｅｎｄのメソッドが呼
び出されていることを示している。
たプログラム文がメソッドの呼び出しならば(104)、ク
ラス名とメソッド名を表示する(900)。表示した結果を
図１０に示す。ＢＥＧＩＮはメソッドが呼び出されたこ
とを示し、ＥＮＤは呼び出されたメソッドの実行が終了
したことを示す。インデンテーションは、あるメソッド
から別なメソッドが呼び出されていることを示す。例え
ば、クラスＡｗａＳＵｓｅｒのＬｅｎｄのメソッドか
ら、クラスＡｗｅＳＢｏｏｋのＬｅｎｄのメソッドが呼
び出されていることを示している。
【００２９】第６の発明は、第５の発明の応用である。
第５の発明は、全てのメソッドの呼び出しについて出力
されるが、大きなプログラムでは、メソッドの呼び出し
回数は非常に多く、出力結果が膨大になり、出力結果を
表示するのに時間を要する。利用者がクラスあるいはク
ラスのグループを指定することにより、指定したクラス
に属するメソッドのみを表示することができ、誤りの発
見がより早くなる。
第５の発明は、全てのメソッドの呼び出しについて出力
されるが、大きなプログラムでは、メソッドの呼び出し
回数は非常に多く、出力結果が膨大になり、出力結果を
表示するのに時間を要する。利用者がクラスあるいはク
ラスのグループを指定することにより、指定したクラス
に属するメソッドのみを表示することができ、誤りの発
見がより早くなる。
【００３０】プログラムと、メソッド名を表示するクラ
スのグループ名を読み込む(1100)。実行したプログラム
文がメソッドの呼び出し文であるときに(104)、利用者
が指定したクラスグループに属するクラスのメソッドか
否かを調査し(1101)、もし属すればクラス名、メソッド
名を表示する(900)。例えば、利用者がクラスのグルー
プとして先頭がＡｗａＳで始まるクラスを指定したとす
ると、図１０において、ＡｗａＳＵｓｅｒの呼び出し
と、ＡｗａＳＴａｂｌｅの呼び出しのみが表示される。
スのグループ名を読み込む(1100)。実行したプログラム
文がメソッドの呼び出し文であるときに(104)、利用者
が指定したクラスグループに属するクラスのメソッドか
否かを調査し(1101)、もし属すればクラス名、メソッド
名を表示する(900)。例えば、利用者がクラスのグルー
プとして先頭がＡｗａＳで始まるクラスを指定したとす
ると、図１０において、ＡｗａＳＵｓｅｒの呼び出し
と、ＡｗａＳＴａｂｌｅの呼び出しのみが表示される。
【００３１】第７の発明は、第５の発明と、第１、第
２、第３、第４のそれぞれの発明との組合せである。第
１、第２、第３、第４の発明において、誤ったメソッド
の呼び出しの際に警告が出されるが、警告を第５の発明
におけるメソッドの呼び出しの出力の上で行うものであ
る。例えば、誤ったクラス間の呼び出しを表示する第３
の発明と組み合わせる。図１０の例では、共通利用でき
るクラスであるＡｗａＵｓｅｒから、アプリケーション
に固有なクラスであるＡｗｅＳＢｏｏｋのメソッドが呼
ばれているので、誤りである。よって、図１２では誤っ
たメソッドの呼び出し部分を強調表示している。
２、第３、第４のそれぞれの発明との組合せである。第
１、第２、第３、第４の発明において、誤ったメソッド
の呼び出しの際に警告が出されるが、警告を第５の発明
におけるメソッドの呼び出しの出力の上で行うものであ
る。例えば、誤ったクラス間の呼び出しを表示する第３
の発明と組み合わせる。図１０の例では、共通利用でき
るクラスであるＡｗａＵｓｅｒから、アプリケーション
に固有なクラスであるＡｗｅＳＢｏｏｋのメソッドが呼
ばれているので、誤りである。よって、図１２では誤っ
たメソッドの呼び出し部分を強調表示している。
【００３２】
【発明の効果】第１の発明では、プログラムを実行し、
あるインスタンスに対して、利用者が定義したメソッド
の呼び出し順序と異なった順序でメソッドが呼び出され
ていることが判る。これによって、プログラムが誤って
いることが判り、早期にバグの原因が発見できる。
あるインスタンスに対して、利用者が定義したメソッド
の呼び出し順序と異なった順序でメソッドが呼び出され
ていることが判る。これによって、プログラムが誤って
いることが判り、早期にバグの原因が発見できる。
【００３３】第２の発明では、あるメソッドａで参照あ
るいは更新している属性を記憶し、該メソッドから直接
あるいは間接に呼び出しているメソッドｂの更新してい
る属性と比較するので、メソッドａで使用している属性
を、更新してしまっているメソッドが分かる。開発者が
意図的に行っている場合は問題無いが、意図に反してい
る場合は、バグの原因となる。バグの原因になりそうな
事象を、利用者に示すことにより、プログラムのデバッ
グを支援する。
るいは更新している属性を記憶し、該メソッドから直接
あるいは間接に呼び出しているメソッドｂの更新してい
る属性と比較するので、メソッドａで使用している属性
を、更新してしまっているメソッドが分かる。開発者が
意図的に行っている場合は問題無いが、意図に反してい
る場合は、バグの原因となる。バグの原因になりそうな
事象を、利用者に示すことにより、プログラムのデバッ
グを支援する。
【図１】本発明の第１の実施例のフローチャートであ
る。
る。
【図２】本発明のハードウェア構成図である。
【図３】本発明の第１の実施例で用いるメソッド順序規
則に関するルールである。
則に関するルールである。
【図４】本発明の第２の実施例のフローチャートであ
る。
る。
【図５】本発明の第２の実施例で用いるメソッドとメソ
ッド内で参照更新する属性の対応表である。
ッド内で参照更新する属性の対応表である。
【図６】本発明の第３の実施例のフローチャートであ
る。
る。
【図７】本発明の第３の実施例で用いる呼出しを許すメ
ソッドの対応関係表である。
ソッドの対応関係表である。
【図８】本発明の第４の実施例のフローチャートであ
る。
る。
【図９】本発明の第５の実施例のフローチャートであ
る。
る。
【図１０】本発明の第５の実施例の出力例である。
【図１１】本発明の第６の実施例のフローチャートであ
る。
る。
【図１２】本発明の第７の実施例の出力例である。
【符号の説明】 １００：プログラムの読み込み処理、１０１：メソッド
の順序規則の読み込み処理、１０２：プログラムの最後
を判定する処理、１０３：プログラムの実行処理、メソ
ッドの呼出しを判定する処理、１０５：メソッドが順序
規則で規定されたメソッドか否かを判定する処理、１０
６：呼び出したメソッドが順序規則に反していないかチ
ェックする処理、１０７：メソッドが呼び出されるイン
スタンスの過去のメソッドの呼出し順序を調査する処
理、１０８：規則に反していた際に警告を出力する処
理、１０９：呼び出したメソッドを記憶する処理。
の順序規則の読み込み処理、１０２：プログラムの最後
を判定する処理、１０３：プログラムの実行処理、メソ
ッドの呼出しを判定する処理、１０５：メソッドが順序
規則で規定されたメソッドか否かを判定する処理、１０
６：呼び出したメソッドが順序規則に反していないかチ
ェックする処理、１０７：メソッドが呼び出されるイン
スタンスの過去のメソッドの呼出し順序を調査する処
理、１０８：規則に反していた際に警告を出力する処
理、１０９：呼び出したメソッドを記憶する処理。
Claims (10)
- 【請求項１】プログラム内の関数の呼び出し関係を解析
し表示するシステムにおいて、利用者が定義した、ある
クラスのメソッドの呼び出し順序に関するルールを有
し、プログラムを実行して、メソッドの呼び出し順序を
記憶し、該ルールに反する条件が成立した際に、利用者
にメッセージを出力することを特徴とするイベントトレ
ース解析方法。 - 【請求項２】利用者が定義した、あるクラスの属性の値
の遷移順序に関するルールを有し、プログラムを実行し
て、前記属性の値の遷移順序を記憶し、該ルールに反す
る条件が成立した際に、利用者にメッセージを出力する
ことを特徴とする請求項１記載のイベントトレース解析
方法。 - 【請求項３】メソッドの呼び出し順序、属性の値の遷移
順序が正規表現を使用して表現することを特徴とする請
求項１、２記載のイベントトレース解析方法。 - 【請求項４】メソッドの呼び出し順序、属性の値の遷移
順序が状態遷移図を使用して表現することを特徴とする
請求項１、２記載のイベントトレース解析方法。 - 【請求項５】呼び出し元のメソッドＡが参照／更新する
属性を記憶し、メソッドＡが直接あるいは間接に呼び出
しているメソッドの中で更新している属性を検索し、検
索した該属性が、メソッドＡが参照更新している属性と
一致した時に、メッセージを表示することを特徴とする
請求項１記載のイベントトレース解析方法。 - 【請求項６】クラスの分類規則と呼び出しを許可してい
るクラスの集合間の関係を有し、プログラムを解析した
結果、呼び出しを許可していないクラス間のメソッドの
呼び出しが存在した際に、メッセージを出力すること特
徴とする請求項１記載のイベントトレース解析方法。 - 【請求項７】プログラムの実行中に、生成されたインス
タンスと消滅したインスタンスを記録し、あるメソッド
が既に消滅されたインスタンスにメッセージを送信した
際に、利用者にメッセージを出力すること特徴とする請
求項１記載のイベントトレース解析方法。 - 【請求項８】プログラムの実行中に、メソッドが呼び出
される度に、クラス名とメソッド名を表示することを特
徴とする請求項１記載のイベントトレース解析方法。 - 【請求項９】利用者がモニタしたいクラスの名称あるい
はクラスのグループの名称を入力し、プログラムの実行
中に、利用者が指定したクラスのメソッドが呼び出され
る度に、メソッド名を表示することを特徴とする請求項
８記載のイベントトレース解析方法。 - 【請求項１０】プログラムの実行中に、メソッドが呼び
出される度に、クラス名とメソッド名を表示する際に、
さらに利用者の定義したルールと照らし合わせ、ルール
に反する条件が成立した際に、メソッド名を明示して表
示すること特徴とする請求項８記載のイベントトレース
解析方法。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP6055418A JPH07262044A (ja) | 1994-03-25 | 1994-03-25 | イベントトレース解析方法 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP6055418A JPH07262044A (ja) | 1994-03-25 | 1994-03-25 | イベントトレース解析方法 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH07262044A true JPH07262044A (ja) | 1995-10-13 |
Family
ID=12998036
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP6055418A Pending JPH07262044A (ja) | 1994-03-25 | 1994-03-25 | イベントトレース解析方法 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH07262044A (ja) |
Cited By (9)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2003526135A (ja) * | 1998-11-16 | 2003-09-02 | インシグニア・ソリューションズ・ピーエルシー | コンピュータ・システム、コンピュータ読取り可能な記憶媒体および同媒体を動作させる方法、およびコンピュータ・システムを動作させる方法 |
| US7050942B2 (en) | 2002-12-26 | 2006-05-23 | Kabushiki Kaisha Toshiba | Object state classification method and system, and program therefor |
| JP2007241426A (ja) * | 2006-03-06 | 2007-09-20 | Hitachi Software Eng Co Ltd | アプリケーションの障害原因の特定作業支援システム |
| JP2007304980A (ja) * | 2006-05-12 | 2007-11-22 | Sharp Corp | 設計検証装置、設計検証プログラム、および設計検証プログラムを記録する記録媒体 |
| WO2008056419A1 (fr) * | 2006-11-09 | 2008-05-15 | Panasonic Corporation | Dispositif de vérification de logiciel et procédé d'évaluation d'interface api |
| WO2008129635A1 (ja) * | 2007-04-12 | 2008-10-30 | Fujitsu Limited | 性能障害要因分析プログラムおよび性能障害要因分析装置 |
| JP2009069905A (ja) * | 2007-09-10 | 2009-04-02 | Delta Electronics Inc | プログラマーロジックコントローラ（ｐｌｃ）プログラムの編集方法 |
| WO2012114399A1 (ja) | 2011-02-21 | 2012-08-30 | 日本電気株式会社 | 演算装置及び演算実行方法 |
| JP5403362B2 (ja) * | 2007-08-02 | 2014-01-29 | 日本電気株式会社 | パターン検査システム、パターン検査装置、方法およびパターン検査用プログラム |
-
1994
- 1994-03-25 JP JP6055418A patent/JPH07262044A/ja active Pending
Cited By (10)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2003526135A (ja) * | 1998-11-16 | 2003-09-02 | インシグニア・ソリューションズ・ピーエルシー | コンピュータ・システム、コンピュータ読取り可能な記憶媒体および同媒体を動作させる方法、およびコンピュータ・システムを動作させる方法 |
| US7050942B2 (en) | 2002-12-26 | 2006-05-23 | Kabushiki Kaisha Toshiba | Object state classification method and system, and program therefor |
| JP2007241426A (ja) * | 2006-03-06 | 2007-09-20 | Hitachi Software Eng Co Ltd | アプリケーションの障害原因の特定作業支援システム |
| JP2007304980A (ja) * | 2006-05-12 | 2007-11-22 | Sharp Corp | 設計検証装置、設計検証プログラム、および設計検証プログラムを記録する記録媒体 |
| WO2008056419A1 (fr) * | 2006-11-09 | 2008-05-15 | Panasonic Corporation | Dispositif de vérification de logiciel et procédé d'évaluation d'interface api |
| WO2008129635A1 (ja) * | 2007-04-12 | 2008-10-30 | Fujitsu Limited | 性能障害要因分析プログラムおよび性能障害要因分析装置 |
| JP5403362B2 (ja) * | 2007-08-02 | 2014-01-29 | 日本電気株式会社 | パターン検査システム、パターン検査装置、方法およびパターン検査用プログラム |
| JP2009069905A (ja) * | 2007-09-10 | 2009-04-02 | Delta Electronics Inc | プログラマーロジックコントローラ（ｐｌｃ）プログラムの編集方法 |
| WO2012114399A1 (ja) | 2011-02-21 | 2012-08-30 | 日本電気株式会社 | 演算装置及び演算実行方法 |
| US9032421B2 (en) | 2011-02-21 | 2015-05-12 | Nec Corporation | Computation device and computation execution method |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US8935673B1 (en) | System and method for debugging computer program based on execution history | |
| US5437007A (en) | Control sequencer in an iconic programming system | |
| US6513154B1 (en) | System and method for testing of computer programs in programming effort | |
| US10621068B2 (en) | Software code debugger for quick detection of error root causes | |
| US8239835B2 (en) | Automated software testing framework using independent test scripts | |
| EP0785510B1 (en) | Program debugging system for debugging a program having a graphical user interface | |
| US5758062A (en) | Method and apparatus for regression testing of application logic | |
| US9535821B1 (en) | Displaying violated coding rules in source code | |
| US6430708B1 (en) | Method and apparatus for testing job control language (JCL) members | |
| US8762784B1 (en) | Viewing multi-dimensional metric data from multiple test cases | |
| US20090037873A1 (en) | Displaying and refactoring programs that include database statements | |
| JP2022501734A (ja) | ソフトウェアシステムで原因および結果を決定的に報告する方法 | |
| WO2006102123A2 (en) | Apparatus for analysing and organizing artifacts in a software application | |
| EP3547110B1 (en) | Code correction | |
| US8607197B2 (en) | Displaying HTTP session entry and exit points | |
| US11354139B2 (en) | Integrated code inspection framework and check variants | |
| JPH07262044A (ja) | イベントトレース解析方法 | |
| US11042466B2 (en) | Exception prediction before an actual exception during debugging | |
| US8032858B2 (en) | Method and system for navigationally displaying HTTP session entry and exit points | |
| US6996516B1 (en) | Apparatus for analyzing software and method of the same | |
| JP3516843B2 (ja) | データベースアクセス方法 | |
| CN111460235A (zh) | 图谱数据的处理方法、装置、设备及存储介质 | |
| CN112783788B (zh) | 测试系统、方法、电子设备及存储介质 | |
| CN110908899A (zh) | 应用程序的调试方法、移动终端及计算机可读存储介质 | |
| US10261887B1 (en) | Method and system for computerized debugging assertions |