JPH11338733A - デバッグ装置及び記録媒体 - Google Patents

Abstract

(57)【要約】 【課題】 プログラム中の誤りを効率良くデバッグする
ことができるデバッグ装置及び記録媒体を提供するこ
と。 【解決手段】 マルチスレッドプログラムを対象とする
デバッグ装置１において、スレッド分類部１２１がスレ
ッドを排他実行スレッドとそうでないスレッドに分類
し、デバッグコマンドとしてスレッドに個別に与え得る
ものとプログラム全体に与え得るものとを設け、排他実
行スレッドに指定されたものは同時に実行させないよう
に制御することにより、複数のスレッドの実行を、デバ
ッグ作業者の希望する順序で実行することが可能とな
り、従ってデバッグ作業者は、タイミングに起因するバ
グの再現を常に行うことができるようになる。

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】本発明はデバッグ装置、特に
例えばマルチスレッドプログラムを含む並列プログラム
のデバッグを効率良く行うことのできるデバッグ装置と
デバッグをコンピュータに実行させるためのプログラム
が記録された記憶媒体に関する。

【０００２】

【従来の技術】従来より、プログラム中に含まれる誤り
（バグ）をプログラマーが取る作業（デバッグ）を補助
する装置として、デバッグ装置なる装置が使われてき
た。デバッグ装置は、デバッグ作業者からの指示に基づ
きプログラムの状態を制御することができる。

【０００３】例えば、デバッグ装置を用いて、デバッグ
対象のプログラムを実行する際、そのソースプログラム
中のある行に、デバッグ作業者がブレークポイントを指
定しておくと、プログラムがその行を実行しようとする
直前に、デバッグ装置は、デバッグ対象のプログラムの
実行状態を停止状態にし、デバッグ作業者の指示を待
つ。この時点で、デバッグ作業者はデバッグ装置を介し
て、デバッグ対象のプログラムの状態（プログラムが次
に実行しようとしている位置や各種の変数値等）を調査
できる。又、デバッグ作業者は、この時点で、デバッグ
対象のプログラムの実行再開命令や、単位実行命令（ス
テップ命令）等のデバッグコマンドをデバッグ装置に与
えることができる。例えば、デバッグ作業者がステップ
命令をデバッグ装置に指示すると、デバッグ装置は、デ
バッグ対象のプログラムを一旦実行状態に戻し、デバッ
グ対象のプログラムが一つの命令を実行し終えた時点
で、再び、これを停止状態にし、デバッグ作業者にデバ
ッグ対象のプログラムの状態を示す。ステップ命令を繰
り返してデバッグ装置に指示すれば、デバッグ作業者は
デバッグ対象のプログラムがいかにしてソースプログラ
ム内を実行していくかの過程を追跡することができる。

【０００４】このようにして、デバッグ装置を利用する
と、逐次プログラムのデバッグ効率は非常に高くなる。

【０００５】一方、並列プログラムは、逐次プログラム
に比較して、タイミングに起因する誤りを含む可能性が
非常に大きい。並列プログラムの一つとしてマルチスレ
ッドプロラムを例にとる。例えば、二つのスレッドを有
するマルチスレッドプロラムにおいて、両スレッドに共
有変数が存在する場合、一方のスレッドが、その共有変
数に書き込みを行い、他方のスレッドが読み込みを行う
とする。この場合、しばしば、書き込み、読み込みの実
行順序が設計者の期待するものと異なってしまうことが
ある。

【０００６】上記のような、マルチスレッドプログラム
のタイミングに起因するバグを取り除くために、従来の
デバッグ装置では、次の様な機能をデバッグ作業者に提
供していた。

【０００７】まず、デバッグ装置がプログラムを実行し
ている任意の時点で、デバッグ作業者は存在するスレッ
ドのリストを見ることができる。このリストの中から、
デバッグ作業者は一つのスレッドを選び、それをカレン
トスレッドに指定する。それ以降、カレントスレッドが
変更される（デバッグ作業者がデバッグ装置に変更を指
示する場合やデバッグ装置が自動的に変更する場合があ
る）迄、そのカレントスレッドが、デバッグ作業者によ
るステップ命令等のデバッグコマンドの対象となる。即
ち、例えば、ステップ命令をデバッグ作業者が指示する
と、カレントスレッドを含む総てのスレッドの実行が再
開される。その後、カレントスレッドが、一命令の実行
を終了すると、その直後に総てのスレッドの実行が停止
させられる。但し、カレントスレッド以外のスレッド
は、実行が再開されてから、停止する迄にどれだけすす
むかは、デバッグ作業者には分からない。

【０００８】図２０は従来のデバッグ装置をグラフィカ
ルユーザインターフェイス（ＧＵＩ）を用いて実現した
場合の該装置画面の一例を示す図である。同図におい
て、コントロールパネル２００１はカレントスレッドの
実行をデバッグ作業者が制御するためのパネルであり、
プログラム表示ウインドウ２００２は、カレントスレッ
ドの実行位置をデバッグ作業者に示すウインドウであ
る。コントロールパネル２００１には、停止したカレン
トスレッドの実行を再開するためのＣｏｎｔボタン２０
０３、停止したカレントスレッドを一命令だけ実行させ
るための『ＳｔｅｐＩｎ』ボタン２００４、停止したカ
レントスレッドを一命令だけ実行する際、関数呼び出し
に関しては、それを一命令として実行するための『Ｓｔ
ｅｐ Ｏｖｅｒ』ボタン２００５、停止したカレントス
レッドの実行を再開し、現在の関数の実行を終えたとき
に停止させるための『Ｓｔｅｐ Ｏｕｔ』ボタン２００
６、プログラム表示ウインドウ２００２に表示するカレ
ントスレッドのスタックフレームを一つ上げるための
『Ｕｐ』ボタン２００７、プログラム表示ウインドウ２
００２に表示するカレントスレッドのスタックフレーム
を一つ下げるための『Ｄｏｗｎ』ボタン２００８等が含
まれる。

【０００９】一方、プログラム表示ウインドウ２００２
では、カレントスレッドの現在のスタックフレームに対
応するソースプログラム２００９が表示されている。位
置ポインタ２０１０は、カレントスレッドが次に実行す
る位置を示すためのポインタであり、ブレークポイント
ポインタ２０１１はユーザが設定したブレークポイント
を示すためのポインタである。

【００１０】従来のデバッグ装置では、カレントスレッ
ドの切替えは、その為のダイアログや、スレッド状態表
示ウインドウ等を用いてデバッグ作業者に指定させる場
合が多い。図２０に示された状態では、カレントスレッ
ドは、関数ｆ（）内のステートメント「ａ＝ｇ（）；」
を次に実行する状態で停止している。この状態でデバッ
グ作業者がＳｔｅｐ Ｉｎボタン２００４を押すと、カ
レントスレッド、及びその他のスレッドの実行が再開さ
れる。カレントスレッドが一行の実行を終えると、デバ
ッグ装置はカレントスレッド、及び、その他のスレッド
の実行を総て停止させる。又、カレントスレッドの実行
中に、あるスレッドがブレークポインタ２０１１の付け
られた行に達すると、総てのスレッドの実行が停止し、
デバッグ作業者が次の命令をコントロールパネル２００
１を用いてカレントスレッドに与えられる状態になる。
ブレークポイントに達したスレッドがＳｔｅｐ Ｉｎボ
タン２００４ボタンが押下される前のカレントスレッド
と異なる場合には、ブレークポイントに達したスレッド
が新しくカレントスレッドになるという仕様を採り入れ
ているデバッグ装置が多い。又、カレントスレッドの実
行中に、そのカレントスレッドがサスペンドし、実行継
続ができなくなった場合には、その他のスレッドがデバ
ッグ装置によって自動的に選択されてカレントスレッド
になるという仕様を採り入れているデバッグ装置が多
い。

【００１１】上記従来のデバッグ装置では、デバッグ作
業者が特定のスレッドをカレントスレッドに指定し、そ
れに対してステップ実行を繰り返している時、もし、そ
の他のスレッドが偶然、バグの原因となるタイミングで
実行された場合には、誤りの発見をすることは可能であ
る。

【００１２】しかしながら、デバッグ作業者は非カレン
トスレッドの実行のタイミングを任意に定めることがで
きないため、誤りを起こす状況を自由に再現させること
ができない。複数のスレッドの実行タイミングをデバッ
グ作業者が制御し得るためには、ステップ実行の都度、
複数のスレッドに『ｓｕｓｐｅｎｄ』命令や『ｒｅｓｕ
ｍｅ』命令を与える必要があり、非常に煩雑な操作を強
いられることになる。又、カレントスレッドがデバッグ
作業者の意図しないときに切り替わることがあると、デ
バッグ作業者は混乱を来たす恐れがある。

【００１３】

【発明が解決しようとする課題】上述したように、従来
のデバッグ装置においては、デバッグ作業者は非カレン
トスレッドの実行のタイミングを任意に定めることがで
きないため、誤りを起こす状況を自由に再現させること
ができないという問題点があった。

【００１４】また、複数のスレッドの実行タイミングを
デバッグ作業者が制御し得るためには、ステップ実行の
都度、複数のスレッドに『ｓｕｓｐｅｎｄ』命令や『ｒ
ｅｓｕｍｅ』命令を与える必要があり、非常に煩雑な操
作を強いられることになるという問題点があった。

【００１５】また、カレントスレッドがデバッグ作業者
の意図しないときに切り替わることがある場合、デバッ
グ作業者は混乱を来たす恐れがあるという点も問題とな
っていた。

【００１６】なお、上記の問題点は、マルチスレッドプ
ログラムの場合に対するものを例示的に挙げたものであ
り、並列プログラム、又は、並列プログラム一般に同様
の問題点が指摘される。

【００１７】本発明は、このような従来技術上の問題点
を解決するためになされたものであり、効率的なデバッ
グを可能とするデバッグ装置及び記録媒体を提供するこ
とを各請求項に記載された発明の共通した目的とする。

【００１８】さらに、各請求項に記載された発明は、複
数のスレッドの実行を、デバッグ作業者の希望する順序
で実行せしめ、タイミングに起因するバグの再現を容易
に行うことを可能とするデバッグ装置及び記録媒体を提
供することを目的とする。

【００１９】各請求項に記載された発明ごとには、以下
の課題が目的として挙げられる。

【００２０】請求項１に係る本願発明は、逐次実行単位
間の実行のタイミングを任意に制御することにより、よ
り効率的なデバッグを可能とするデバッグ装置の提供を
目的とする。

【００２１】請求項２に係る本願発明は、逐次実行単位
間の再開、停止のタイミングを任意に制御することによ
り、より効率的なデバッグを可能とするデバッグ装置を
提供することを目的とする。

【００２２】請求項３に係る本願発明は、請求項１及び
２記載の発明の目的とすることろに加え、逐次実行単位
の実行動作の排他性・従属性の度合いに応じて異なる制
御をすることにより、より効率的なデバッグを可能とす
るデバッグ装置を提供することを目的とする。

【００２３】請求項４に係る本願発明は、請求項３記載
の発明の目的とするところに加え、逐次実行単位に応じ
てデバッグ中に異なる制御をすることにより、より効率
的なデバッグを可能とするデバッグ装置を提供すること
を目的とする。

【００２４】請求項５に係る本願発明は、請求項３及び
４記載の発明の目的とするところに加え、逐次実行単位
の実行動作の排他性・従属性の度合いに応じてデバッグ
制御を行うことにより、より効率的なデバッグを可能と
するデバッグ装置を提供することを目的とする。

【００２５】請求項６に係る本願発明は、請求項３及び
４記載の発明の目的とするところに加え、逐次実行単位
の実行動作の着目性の度合いに応じてデバッグ制御を行
うことにより、より効率的なデバッグを可能とするデバ
ッグ装置を提供することを目的とする。

【００２６】請求項７に係る本願発明は、請求項３及び
４記載の発明の目的とするところに加え、逐次実行単位
の実行動作の表示性の度合いに応じてデバッグ制御を行
うことにより、より効率的なデバッグを可能とするデバ
ッグ装置を提供することを目的とする。

【００２７】請求項８に係る本願発明は、デバッグ制御
において特定の逐次実行単位のみを対象とする制御指示
と、プログラム全体を対象とする制御指示を分けること
により、特定の逐次実行単位にのみ注目してデバッグ制
御することで、より効率的なデバッグを可能にするデバ
ッグ装置を提供することを目的とする。

【００２８】請求項９乃至１１に係る本願発明は、請求
項１及び２に係る本願発明の目的とするところ及び請求
項８に係る本願発明の目的とするところを同時に達成す
ること、即ち、全体のプログラム／特定の逐次実行単位
を対象とする一般／特定制御指示により他の排他的逐次
実行単位の実行を停止させる間に微妙なタイミングの制
御をすることにより、より効率的なデバッグを可能にす
るデバッグ装置を提供することを目的とする。

【００２９】請求項１２に係る本願発明は、請求項９に
係る本願発明の目的とするところに加えて、逐次実行単
位の動作状態をデバッグ制御に的確に反映させること
で、実際には起こり得ないタイミングの実行を回避し、
より効率的なデバッグを可能にするデバッグ装置を提供
することを目的とする。

【００３０】請求項１３に係る本願発明は、請求項９に
係る本願発明の目的とするところに加えて、逐次実行単
位の実行の微妙なタイミングを制御することにより、よ
り効率的なデバッグを可能にするデバッグ装置を提供す
ることを目的とする。

【００３１】請求項１４に係る本願発明は、そのプログ
ラムに含まれるモジュールをその属性に応じてデバッグ
制御において差別的に取り扱うことにより、より効率的
なデバッグを可能にするデバッグ装置を提供することを
目的とする。

【００３２】請求項１５に係る本願発明は、請求項１４
記載の発明の目的とするところに加えて、そのモジュー
ルの属性をデバッグ作業者が変更することにより、より
効率的なデバッグを可能にするデバッグ装置を提供する
ことを目的とする。

【００３３】請求項１６に係る本願発明は、着目の対象
でないモジュールに対する容易な実行制御を可能にする
ことにより、より効率的なデバッグを可能とするデバッ
グ装置を提供することを目的とする。

【００３４】請求項１７に係る本願発明は、請求項１及
び２記載の発明の目的とするところと請求項１６記載の
発明の目的とするところを同時に達成することを可能に
するデバッグ装置を提供することを目的とする。

【００３５】請求項１８および１９に係る本願発明は、
逐次実行単位の実行のタイミングを制御した上でデバッ
グ制御の自動実行をすることにより、さらに効率的なデ
バッグ及び自動テストを可能にするデバッグ装置を提供
することを目的とする。

【００３６】請求項２０乃至２２に係る本願発明は、並
列プログラムをデバッグ装置を用いて実行する際に、各
逐次実行単位の動作状態を並列的に可視化することを可
能にするデバッグ装置を提供することを目的とする。

【００３７】請求項２３に係る本願発明は、逐次実行単
位の動作状態を、デバッグ制御の入力手段の表示形態に
反映させることにより、さらに効率的なデバッグを可能
にするデバッグ装置を提供することを目的とする。

【００３８】請求項２４に係る本願発明は、請求項２３
記載の発明の目的とするところに加えて、モジュールの
呼出軌跡を確認しながらデバッグ作業を進めることを可
能にするデバッグ装置を提供することを目的とする。

【００３９】さらに、請求項２５乃至４８に係る本発明
は、以上の課題を同様に解決し得る機能をコンピュータ
において実現するプログラムが記録された記録媒体の提
供を目的とする。

【００４０】

【課題を解決するための手段】かかる目的を達成するた
めに、請求項１記載の発明のデバッグ装置は、並列して
実行される逐次実行単位を含むプログラムについてのデ
バッグの制御を行う制御手段と、前記逐次実行単位の
内、特定の逐次実行単位のみについて前記制御手段を動
作させる対象特定制御手段とを具備する。

【００４１】請求項２記載の発明は、請求項１記載の発
明のデバッグ装置において、前記対象特定制御手段が、
デバッグ制御の対象となる特定の逐次実行単位のみにつ
いて実行の再開または停止を行わせる手段をさらに具備
する。

【００４２】請求項３記載の本発明は、請求項１または
２記載のデバッグ装置において、前記対象特定制御手段
は、前記各逐次実行単位の分類を指定するための手段
と、前記指定された分類を表す分類情報を入力するため
の手段と、前記入力された分類情報に従ってデバッグ制
御を行う手段とを具備する。

【００４３】請求項４記載の本発明は、請求項３記載の
デバッグ装置において、前記対象特定制御手段は、前記
各逐次実行単位の分類のための規則を記録する手段と、
前記記録された規則を用いて前記各逐次実行単位の初期
の分類を定める手段と、前記分類を変更するための手段
とをさらに具備する。

【００４４】請求項５記載の本発明は、請求項３または
４記載のデバッグ装置において、前記分類情報は、デバ
ッグ装置が前記逐次実行単位を制御する形態に関する情
報であることを特徴とする。

【００４５】請求項６記載の本発明は、請求項３または
４記載のデバッグ装置において、前記分類情報は、前記
逐次実行単位についてデバッグ作業者が着目する程度に
関する情報であることを特徴とする。

【００４６】請求項７記載の本発明は、請求項３または
４記載のデバッグ装置において、前記分類情報は、デバ
ッグ装置が前記逐次実行単位の状態を表示させる形態に
関する情報であることを特徴とする。

【００４７】請求項８記載の発明は、並列して実行され
る逐次実行単位を含むプログラムをデバッグするデバッ
グ装置において、前記デバッグ装置は、前記プログラム
の状態を制御する指示を入力するための手段を具備し、
前記指示は、前記プログラムの状態のうち、特定の逐次
実行単位に関する実行状態のみを対象とする特定制御指
示と、前記プログラムの状態全体を対象とする一般制御
指示とを含むことを特徴とする。

【００４８】請求項９記載の発明のデバッグ装置は、デ
バッグ対象のプログラムの状態全体を対象とする制御を
行うための制御指示を入力する一般制御指示入力手段
と、前記デバッグ対象のプログラムに含まれる特定の逐
次実行単位を対象として、該逐次実行単位の実行状態の
制御を行うための制御指示を入力する特定制御指示入力
手段と、前記デバッグ対象のプログラムに含まれる各逐
次実行単位を分類する分類手段と、前記一般制御指示入
力手段もしくは特定制御指示入力手段にプログラムの状
態を制御するための指示が入力された場合には、前記分
類手段による分類に基づく制御情報に従ってプログラム
の状態の制御を行う制御手段とを具備する。

【００４９】請求項１０記載の発明のデバッグ装置は、
デバッグ対象のプログラムの状態全体を対象とする制御
を行うための制御指示を入力する一般制御指示入力手段
と、前記デバッグ対象のプログラムに含まれる各逐次実
行単位を、被制御形態に基づいて排他的逐次実行単位、
並立的逐次実行単位及び継続的逐次実行単位のいずれか
に分類する分類手段と、前記一般制御指示入力手段に逐
次実行単位の実行を停止する指示が入力された場合に
は、前記分類手段により排他的逐次実行単位及び並立的
逐次実行単位に分類された逐次実行単位のうち実行中の
逐次実行単位の実行を停止する停止手段と、前記一般制
御指示入力手段に逐次実行単位の実行を再開する指示が
入力された場合には、前記分類手段により排他的逐次実
行単位及び並立的逐次実行単位に分類された逐次実行単
位のうち停止された逐次実行単位の実行を再開する再開
手段とを具備する。

【００５０】請求項１１記載の発明のデバッグ装置は、
デバッグ対象のプログラムを構成する逐次実行単位のう
ち特定の逐次実行単位を対象として、該逐次実行単位の
実行状態の制御を行うための制御指示を入力する特定制
御指示入力手段と、前記デバッグ対象のプログラムに含
まれる各逐次実行単位を、被制御形態に基づいて排他的
逐次実行単位、並立的逐次実行単位及び継続的逐次実行
単位のいずれかに分類する分類手段と、前記特定制御指
示入力手段に逐次実行単位の実行を停止する指示が入力
された場合には、前記分類手段により並立的逐次実行単
位に分類された逐次実行単位のうち実行中の総ての逐次
実行単位及び前記分類手段により排他的逐次実行単位に
分類された逐次実行単位のうち前記特定制御指示入力手
段によって第１の指定がされた逐次実行単位の実行を停
止する停止手段と、前記特定制御指示入力手段に逐次実
行単位の実行を再開する指示が入力された場合には、前
記分類手段により並立的逐次実行単位に分類された逐次
実行単位の総て、及び排他的逐次実行単位に分類された
逐次実行単位のうち前記特定制御指示入力手段によって
第２の指定がされた逐次実行単位の実行を再開する再開
手段とを具備する。

【００５１】請求項１２記載の発明は、請求項９記載の
デバッグ装置において、前記制御手段は、前記デバッグ
対象のプログラムに含まれる各逐次実行単位の状態指標
に対応させて該逐次実行単位の実行状態の制御を行う手
段を具備するものである。

【００５２】請求項１３記載の発明は、内在的停止命令
を含む命令群を逐次実行する特定の逐次実行単位を含む
プログラムのデバッグ装置において、前記特定の逐次実
行単位に対する単位実行指示を入力するための特定制御
指示入力手段と、前記特定制御指示入力手段に第１の単
位実行指示が入力されたときに前記特定の逐次実行単位
が次に実行すべき命令が前記内在的停止命令である場合
には前記特定の逐次実行単位を実行停止状態とし、前記
特定制御指示入力手段に前記実行停止状態とされた逐次
実行単位に対しての第２の単位実行指示が入力されると
該逐次実行単位が前記内在的停止命令の次の命令を実行
可能な状態にする手段とを具備する。

【００５３】請求項１４記載の発明は、命令群を有する
モジュールが定義されるデバッグ対象のプログラムに含
まれる各モジュールを着目形態において分類する分類手
段と、前記分類手段による着目形態に応じたデバッグ制
御を行う手段とを具備する。

【００５４】請求項１５記載の発明は、請求項１４記載
のデバッグ装置において、前記分類手段は、前記モジュ
ールを分類のための規則を用いて分類する手段と、外部
からの指示を入力するための手段と、前記入力された指
示に基づいて前記モジュールの分類を更新する手段とを
具備する。

【００５５】請求項１６記載の発明のデバッグ装置は、
デバッグ対象のプログラム内のモジュールで定義される
命令群に対する単位実行指示が入力される制御指示入力
手段と、前記各モジュールを着目属性に応じて着目モジ
ュール及び非着目モジュールに分類する分類手段と、前
記制御指示入力手段に前記非着目モジュール内で定義さ
れた命令群への単位実行指示が入力された場合には該命
令群全体を実行する手段とを具備する。

【００５６】請求項１７記載の発明は、請求項１または
２記載のデバッグ装置において、デバッグ対象のプログ
ラムに含まれる並列して実行される逐次実行単位が実行
する一、又は、複数の命令群を有するモジュールを分類
するモジュール分類手段と、前記各逐次実行単位を、前
記モジュール分類手段による分類を考慮して定められる
分類規則に基づいてプログラムの実行時に動的に分類す
る逐次実行単位分類手段と、前記逐次実行単位分類手段
による分類情報に従ってデバッグ制御を行う手段とをさ
らに具備するものである。

【００５７】請求項１８記載の発明のデバッグ装置は、
並列して実行される逐次実行単位を含むプログラムの動
作を制御するための第１の制御指示群を記録する手段
と、前記制御指示群に従って前記プログラムの動作を制
御することで得られる前記プログラムの第１の動作過程
を記録する動作過程記録手段と、前記動作過程記録手段
に記録された第１の動作過程と同じ、又は、異なる動作
をするように該各逐次実行単位を制御する第２の制御指
示群を生成する手段とを具備する。

【００５８】請求項１９記載の発明は、請求項１８記載
のデバッグ装置において、前記生成された第２の制御指
示群に従って前記プログラムの動作を制御する手段と、
前記実行によって得られる第２の動作過程と前記第１の
動作過程とを比較する手段とをさらに具備してなるもの
である。

【００５９】請求項２０記載の発明のデバッグ装置は、
デバッグ対象のプログラムに含まれる並列して実行され
る逐次実行単位を属性に応じて分類する分類手段と、前
記分類手段により特定の属性を持つと分類される逐次実
行単位の動作状態を、該逐次実行単位ごとに設けられた
ウインドウに表示する手段と、前記ウインドウごとに、
該ウインドウに対応する逐次実行単位のみを対象とする
第１の制御指示を入力するための手段と、前記プログラ
ム全体を対象とする第２の制御指示を入力するための手
段とを具備する。

【００６０】請求項２１記載の発明は、請求項２０記載
のデバッグ装置において、実行中の逐次実行単位の増減
及び前記分類手段による逐次実行単位の分類の変化に対
応させて前記ウインドウをプログラムの実行時に動的に
増減させる手段をさらに具備してなる。

【００６１】請求項２２記載の発明のデバッグ装置は、
デバッグ対象のプログラムに含まれる並列して実行され
る逐次実行単位を分類する手段と、前記逐次実行単位ご
とに設けられたウインドウに該逐次実行単位の動作状態
を前記分類に適応させて可視的に表示する手段と、前記
プログラム全体を対象とする第１の制御指示を入力する
ための手段と、前記ウインドウごとに該ウインドウに対
応する逐次実行単位のみを対象とする第２の制御指示を
入力するための手段とを具備してなる。

【００６２】請求項２３記載の発明のデバッグ装置は、
デバッグ対象のプログラム内の並列実行される逐次実行
単位ごとに設けられたウインドウ画面内に、前記逐次実
行単位に対する前記第２の制御指示を入力するための手
段のための表示を該逐次実行単位の実行状態に適応させ
て行う手段を具備する。

【００６３】請求項２４記載の発明は、請求項２３記載
のデバッグ装置において、前記逐次実行単位ごとに設け
られたウインドウ画面ごとに、前記逐次実行単位が実行
中のモジュールもしくは命令群を表示する手段と、該ウ
インドウに前記モジュールを構成する命令群を呼出す論
理軌跡を表示する手段とをさらに具備する。

【００６４】請求項２５記載の発明の記録媒体は、並列
して実行される逐次実行単位を含むデバッグ対象プログ
ラムについてのデバッグの制御を行う制御手段と、前記
逐次実行単位のうち特定の逐次実行単位のみについて前
記制御手段を動作させる対象特定制御手段とをコンピュ
ータを機能させるためのプログラムとして記録してなる
ものである。

【００６５】請求項２６記載の発明の記録媒体は、請求
項２５記載の記録媒体において、前記対象特定制御手段
が、デバッグ制御の対象となる特定の逐次実行単位のみ
について実行の再開または停止を行わせる手段をさらに
具備することを特徴とするものである。

【００６６】請求項２７記載の発明の記録媒体は、請求
項２５または２６記載の記録媒体において、前記対象特
定制御手段は、前記各逐次実行単位の分類を指定するた
めの手段と、前記指定された分類を表す分類情報を入力
するための手段と、前記入力された分類情報に従ってデ
バッグ制御を行う手段とを具備することを特徴とするも
のである。

【００６７】請求項２８記載の発明の記録媒体は、請求
項２７記載の記録媒体において、前記対象特定制御手段
は、前記各逐次実行単位の分類のための規則を記録する
手段と、前記記録された規則を用いて前記各逐次実行単
位の初期の分類を定める手段と、前記分類を変更するた
めの手段とをさらに具備することを特徴とするものであ
る。

【００６８】請求項２９記載の発明の記録媒体は、請求
項２７または２８記載の記録媒体において、前記分類情
報は、前記逐次実行単位を制御する形態に関する情報で
あることを特徴とするものである。

【００６９】請求項３０記載の発明の記録媒体は、請求
項２７または２８記載の記録媒体において、前記分類情
報は、前記逐次実行単位についてデバッグ作業者が着目
する程度に関する情報であることを特徴とするものであ
る。

【００７０】請求項３１記載の発明の記録媒体は、請求
項２７または２８記載の記録媒体において、前記分類情
報は、前記逐次実行単位の状態を表示させる形態に関す
る情報であることを特徴とするものである。

【００７１】請求項３２記載の発明の記録媒体は、並列
して実行される逐次実行単位を含むデバッグ対象プログ
ラムの状態を制御する指示を入力するための手段がコン
ピュータを機能させるためのプログラムとして記録さ
れ、前記指示は、前記デバッグ対象プログラムの状態の
うち、特定の逐次実行単位に関する実行状態のみを対象
とする特定制御指示と、前記デバッグ対象プログラムの
状態全体を対象とする一般制御指示とを含むことを特徴
とするものである。

【００７２】請求項３３記載の発明の記録媒体は、デバ
ッグ対象プログラムの状態全体を対象とする制御を行う
ための制御指示を入力する一般制御指示入力手段と、前
記デバッグ対象プログラムに含まれる特定の逐次実行単
位を対象として、該逐次実行単位の実行状態の制御を行
うための制御指示を入力する特定制御指示入力手段と、
前記デバッグ対象プログラムに含まれる各逐次実行単位
を分類する分類手段と、前記一般制御指示入力手段もし
くは特定制御指示入力手段に前記デバッグ対象プログラ
ムの状態を制御するための指示が入力された場合には、
前記分類手段による分類に基づく制御情報に従って前記
デバッグ対象プログラムの状態の制御を行う制御手段と
をコンピュータを機能させるためのプログラムとして記
録したものである。

【００７３】請求項３４記載の発明の記録媒体は、デバ
ッグ対象のプログラムの状態全体を対象とする制御を行
うための制御指示を入力する一般制御指示入力手段と、
前記デバッグ対象プログラムに含まれる各逐次実行単位
を、被制御形態に基づいて排他的逐次実行単位、並立的
逐次実行単位及び継続的逐次実行単位のいずれかに分類
する分類手段と、前記一般制御指示入力手段に逐次実行
単位の実行を停止する指示が入力された場合には、前記
分類手段により排他的逐次実行単位及び並立的逐次実行
単位に分類された逐次実行単位のうち実行中の逐次実行
単位の実行を停止する停止手段と、前記一般制御指示入
力手段に逐次実行単位の実行を再開する指示が入力され
た場合には、前記分類手段により排他的逐次実行単位及
び並立的逐次実行単位に分類された逐次実行単位のうち
停止された逐次実行単位の実行を再開する再開手段とを
コンピュータを機能させるためのプログラムとして記録
したものである。

【００７４】請求項３５記載の発明の記録媒体は、デバ
ッグ対象のプログラムを構成する逐次実行単位のうち特
定の逐次実行単位を対象として、該逐次実行単位の実行
状態の制御を行うための制御指示を入力する特定制御指
示入力手段と、前記デバッグ対象のプログラムに含まれ
る各逐次実行単位を、被制御形態に基づいて排他的逐次
実行単位、並立的逐次実行単位及び継続的逐次実行単位
のいずれかに分類する分類手段と、前記特定制御指示入
力手段に逐次実行単位の実行を停止する指示が入力され
た場合には、前記分類手段により並立的逐次実行単位に
分類された逐次実行単位のうち実行中の総ての逐次実行
単位及び前記分類手段により排他的逐次実行単位に分類
された逐次実行単位のうち前記特定制御指示入力手段に
よって第１の指定がされた逐次実行単位の実行を停止す
る停止手段と、前記特定制御指示入力手段に逐次実行単
位の実行を再開する指示が入力された場合には、前記分
類手段により並立的逐次実行単位に分類された逐次実行
単位の総て、及び排他的逐次実行単位に分類された逐次
実行単位のうち前記特定制御指示入力手段によって第２
の指定がされた逐次実行単位の実行を再開する再開手段
とをコンピュータを機能させるためのプログラムとして
記録したものである。

【００７５】請求項３６記載の発明の記録媒体は、請求
項３３記載の記録媒体において、前記制御手段は、前記
デバッグ対象プログラムに含まれる各逐次実行単位の状
態指標に対応させて該逐次実行単位の実行状態の制御を
行う手段を具備することを特徴とするものである。

【００７６】請求項３７記載の発明の記録媒体は、内在
的停止命令を含む命令群を逐次実行する特定の逐次実行
単位を含むプログラムのデバッグを行うためのプログラ
ムが記録された記録媒体において、前記特定の逐次実行
単位に対する単位実行指示を入力するための特定制御指
示入力手段と、前記特定制御指示入力手段に第１の単位
実行指示が入力されたときに前記特定の逐次実行単位が
次に実行すべき命令が前記内在的停止命令である場合に
は前記特定の逐次実行単位を実行停止状態とし、前記特
定制御指示入力手段に前記実行停止状態とされた逐次実
行単位に対しての第２の単位実行指示が入力されると該
逐次実行単位が前記内在的停止命令の次の命令を実行可
能な状態にする手段とをコンピュータを機能させるため
のプログラムとして記録したものである。

【００７７】請求項３８記載の発明の記録媒体は、命令
群を有するモジュールが定義されるデバッグ対象のプロ
グラムに含まれる各モジュールを着目形態において分類
する分類手段と、前記分類手段による着目形態に応じた
デバッグ制御を行う手段とをコンピュータを機能させる
ためのプログラムとして記録したものである。

【００７８】請求項３９記載の発明の記録媒体は、請求
項３７記載の記録媒体において、前記分類手段は、前記
モジュールを分類のための規則を用いて分類する手段
と、外部からの指示を入力するための手段と、前記入力
された指示に基づいて前記モジュールの分類を更新する
手段とを具備することを特徴とするものである。

【００７９】請求項４０記載の発明の記録媒体は、デバ
ッグ対象のプログラム内のモジュールで定義される命令
群に対する単位実行指示が入力される制御指示入力手段
と、前記各モジュールを着目属性に応じて着目モジュー
ル及び非着目モジュールに分類する分類手段と、前記制
御指示入力手段に前記非着目モジュール内で定義された
命令群への単位実行指示が入力された場合には該命令群
全体を実行する手段とをコンピュータを機能させるため
のプログラムとして記録したものである。

【００８０】請求項４１記載の発明の記録媒体は、請求
項２５または２６記載の記録媒体において、デバッグ対
象のプログラムに含まれる並列して実行される逐次実行
単位が実行する一、又は、複数の命令群を有するモジュ
ールを分類するモジュール分類手段と、前記各逐次実行
単位を、前記モジュール分類手段による分類を考慮して
定められる分類規則に基づいて前記デバッグ対象プログ
ラムの実行時に動的に分類する逐次実行単位分類手段
と、前記逐次実行単位分類手段による分類情報に従って
デバッグ制御を行う手段とをさらに具備することを特徴
とするものである。

【００８１】請求項４２記載の発明の記録媒体は、並列
して実行される逐次実行単位を含むデバッグ対象プログ
ラムの動作を制御するための第１の制御指示群を記録す
る手段と、前記制御指示群に従って前記デバッグ対象プ
ログラムの動作を制御することで得られる前記デバッグ
対象プログラムの第１の動作過程を記録する動作過程記
録手段と、前記動作過程記録手段に記録された第１の動
作過程と同じ、又は、異なる動作をするように該各逐次
実行単位を制御する第２の制御指示群を生成する手段と
をコンピュータを機能させるためのプログラムとして記
録したものである。

【００８２】請求項４３記載の発明の記録媒体は、請求
項４２記載の記録媒体において、前記生成された第２の
制御指示群に従って前記デバッグ対象プログラムの動作
を制御する手段と、前記実行によって得られる第２の動
作過程と前記第１の動作過程とを比較する手段とをさら
に具備することを特徴とするものである。

【００８３】請求項４４記載の発明の記録媒体は、デバ
ッグ対象のプログラムに含まれる並列して実行される逐
次実行単位を属性に応じて分類する分類手段と、前記分
類手段により特定の属性を持つと分類される逐次実行単
位の動作状態を、該逐次実行単位ごとに設けられたウイ
ンドウに表示する手段と、前記ウインドウごとに、該ウ
インドウに対応する逐次実行単位のみを対象とする第１
の制御指示を入力するための手段と、前記デバッグ対象
プログラム全体を対象とする第２の制御指示を入力する
ための手段とをコンピュータを機能させるためのプログ
ラムとして記録したものである。

【００８４】請求項４５記載の発明の記録媒体は、請求
項４４記載の記録媒体において、実行中の逐次実行単位
の増減及び前記分類手段による逐次実行単位の分類の変
化に対応させて前記ウインドウを前記デバッグ対象プロ
グラムの実行時に動的に増減させる手段をさらに具備す
ることを特徴とするものである。

【００８５】請求項４６記載の発明の記録媒体は、デバ
ッグ対象のプログラムに含まれる並列して実行される逐
次実行単位を分類する手段と、前記逐次実行単位ごとに
設けられたウインドウに該逐次実行単位の動作状態を前
記分類に適応させて可視的に表示する手段と、前記デバ
ッグ対象プログラム全体を対象とする第１の制御指示を
入力するための手段と、前記ウインドウごとに該ウイン
ドウに対応する逐次実行単位のみを対象とする第２の制
御指示を入力するための手段とをコンピュータを機能さ
せるためのプログラムとして記録したものである。

【００８６】請求項４７記載の発明の記録媒体は、デバ
ッグ対象のプログラム内の並列実行される逐次実行単位
ごとに設けられたウインドウ画面内に、前記逐次実行単
位に対する前記第２の制御指示を入力するための手段の
ための表示を該逐次実行単位の実行状態に適応させて行
う手段をコンピュータを機能させるためのプログラムと
して記録したものである。

【００８７】請求項４８記載の発明の記録媒体は、請求
項４７記載の記録媒体において、前記逐次実行単位ごと
に設けられたウインドウ画面ごとに、前記逐次実行単位
が実行中のモジュールもしくは命令群を表示する手段
と、該ウインドウに前記モジュールを構成する命令群を
呼出す論理軌跡を表示する手段とをさらに具備すること
を特徴とするものである。

【００８８】以上各請求項に記載される「デバッグ」と
は、作成されたプログラム、又は、既存のプログラム中
に含まれる論理的、又は、タイミング的な誤りを取り除
く作業を示す概念である。「デバッグ装置」とは、デバ
ッグ作業者を補助し、デバッグ作業者の作業量を軽減す
ることを目的とする装置である。デバッグ装置は、「ソ
ースコードレベルのデバッグ装置」、「機械語レベルの
デバッグ装置」の二種類に大別される。「ソースコード
レベルのデバッグ装置」とは、デバッグ対象のプログラ
ムの実行状態を、そのプログラムのソースコード上の実
行位置に対応させてデバッグ作業者に示す装置である。
又、「機械語レベルのデバッグ装置」とは、プログラム
の実行状態を、そのプログラムの機械語上の実行位置に
対応させてデバッグ作業者に示す装置である。本発明に
おける「デバッグ装置」は、「ソースコードレベルのデ
バッグ装置」、及び、「機械語レベルのデバッグ装置」
の両者を指す。そして、本願発明で「ソースコード」と
記述した場合、これは、「機械語レベルのデバッグ装
置」においては、機械語のソースコード、すなわち、デ
バッグ対象のプログラムのアセンブルコードを意味す
る。

【００８９】「逐次実行単位」とは、並列プログラムに
おける逐次実行単位全般を示す概念であり、例えば、マ
ルチスレッドプログラムにおけるスレッド、マルチプロ
セスプログラムにおけるプロセス、マルチタスクプログ
ラムにおけるタスク等を含む。本発明において「並列プ
ログラム」というときは、特記ない限り、一または複数
の逐次実行単位よりなるものとする。

【００９０】「デバッグ対象のプログラムの実行状態」
とは、デバッグ対象のプログラムを実行するＣＰＵの状
態、各種変数値を保存しているメモリーの状態等を指す
概念である。従って、「デバッグ対象の並列プログラム
の実行状態」とは、デバッグ対象の並列プログラムを構
成する各逐次実行単位に割当てられたＣＰＵの状態、各
逐次実行単位が固有に持つ変数を保存しているメモリー
の状態、複数の逐次実行単位の間で共有されている変数
を保存しているメモリーの状態等を意味する。

【００９１】「デバッグ制御」とは、デバッグ装置によ
るデバッグ対象のプログラムの実行状態に対する制御を
意味する。デバッグ制御は、デバッグ装置に対して、デ
バッグ作業者が指示を与えることによって行われる場
合、及び、デバッグ装置が、デバッグ対象のプログラム
の実行状態に応じて、自動的に行う場合がある。

【００９２】「特定の逐次実行単位のみについて実行を
再開または停止させる」とは、逐次実行単位のあるもの
が停止し、あるものが実行されている状態から、一部の
逐次実行単位のみを再開または停止させるというデバッ
グ制御を示す概念であり、例えば、１つのスレッドの実
行を停止または再開させるときに、他の停止し、または
実行されているスレッドの実行状態を変更しないように
論理設計されたプログラムや回路等によって実現され
る。

【００９３】「分類」とは、逐次実行単位の被制御形態
に応じて分類することをいう。ここで、「被制御形態」
とは、例えばマルチスレッドプログラムのデバッグを行
うに当たってデバッグ対象について用いられる属性を表
す概念であり、実行形態、着目形態、表示形態の３つの
形態も含まれる。また「実行形態」とは、デバッグ対象
のプログラムに含まれる前記逐次実行単位の各逐次実行
単位について、デバッグ過程でどう実行させ、及び停止
させるかを表す性質を示す概念であり、例えばデバッグ
対象のマルチスレッドプログラムに包含される各スレッ
ドを、本発明の対象たるデバッグ装置がどのように実行
及び停止するのかを表すように、排他実行スレッド、同
時実行スレッド、及び継続実行スレッドのいずれかに分
類するときの属性が含まれる。

【００９４】「着目形態」とは、デバッグ対象のプログ
ラムに含まれる各逐次実行単位に対してデバッグ過程で
デバッグ作業者が着目する度合いを示す概念であり、例
えばデバッグ対象のマルチスレッドプログラムに包含さ
れる各スレッドを、着目すべき着目スレッド及び着目し
ない非着目スレッドのいずれかに分類するときの属性が
含まれる。

【００９５】「排他的逐次実行単位」とは、デバッグ作
業者がデバッグ中に、そのタイミング等の振舞いを制御
しようと思う逐次実行単位、例えばスレッドについて、
かかるスレッドのみを排他的に実行させ他の排他的逐次
実行単位の実行状態を変えないようにさせる場合の該ス
レッドを表す概念である。具体的にはデバッグ作業者が
スレッド間の実行のタイミングを再現させたいと考えて
いるスレッドである。

【００９６】「並立的逐次実行単位」とは、デバッグ作
業者がデバッグ中に、そのタイミング等の振舞いを制御
しようと思わない逐次実行単位、例えばスレッドについ
て、かかるスレッドは他と並立的に実行させる場合の、
該スレッドを表す概念であり、具体的には例えば、マル
チスレッドプログラムに対する従来のデバッガにおける
非カレントスレッドに相当するものである。

【００９７】「継続的逐次実行単位」とは、デバッグ作
業者がデバッグ中に、その着目の意思にかかわらず継続
的な実行を要すると考える逐次実行単位、例えばスレッ
ドについて、かかるスレッドは他と関係なく継続的に実
行させるという場合の、該スレッドを表す概念であり、
例えば、ＧＵＩのイベント処理を行うスレッドのような
システムスレッドが該当する。

【００９８】「逐次実行単位の分類のための規則」と
は、逐次実行単位を属性によって分類するための指標と
なるものを示す概念であり、例えば、デバッグ対象のマ
ルチスレッドプログラムに包含される各スレッドを、排
他的実行スレッド、同時実行スレッド及び継続実行スレ
ッドのいずれかに分類し、同じく各スレッドを着目スレ
ッド及び非着目スレッドのいずれかに分類するために対
応表を論理設計したプログラムや回路等によって実現さ
れる。

【００９９】「一般制御指示」とは、デバッグ対象の並
列プログラムを構成する特定逐次実行単位を対象せず、
プログラム全体を対象とする制御指示を示す概念であ
り、例えば、デバッグ対象となるプログラムの指定、そ
のプログラムの実行の開始、終了や、デバッグ対象のプ
ログラムに包含される総てのスレッドに対して、実行再
開、停止、ブレークポイント設定等を指示する一般デバ
ッグコマンドが含まれる。

【０１００】「特定制御指示」とは、デバッグ対象の並
列プログラムを構成する特定逐次実行単位のみを対象と
する制御指示を示す概念であり、例えば、デバッグ対象
のマルチスレッドプログラムに包含される特定のスレッ
ドに対して、実行再開、停止、１ステップのみ実行、ブ
レークポイント設定等を指示するスレッド別デバッグコ
マンドが含まれる。スレッド別デバッグコマンドには、
上に挙げたステップ命令の他に、実行中のスレッドを停
止させる 『Ｓｔｏｐ』等が含まれる。

【０１０１】「逐次実行単位の状態指標」とは、デバッ
グ対象プログラムの実行制御に反映されるべき逐次実行
単位の本来の挙動のエミュレーションを示す概念であ
り、「逐次実行単位の優先度」をも包含する概念であ
る。ここで、「逐次実行単位の優先度」とは、デバッグ
対象プログラムの実行制御に反映されるべき逐次実行単
位の実行の優劣を示す概念であり、例えば、デバッグ対
象のマルチスレッドプログラムに包含されるスレッドｔ
１及びｔ２に対して、スレッドｔ１の優先度がスレッド
ｔ２の優先度より高く設定されていれば、ＯＳはスレッ
ドｔ１に対してより優先的にＣＰＵを割り当てる。従っ
て、例えば、デバッグ対象のマルチスレッドプログラム
に包含されるスレッドｔ１の優先度がスレッドｔ２の優
先度よりも高く設定されているような場合も、本来の挙
動は、スレッドｔ１の実行中にはスレッドｔ２の実行が
抑制されるといったものとなる。

【０１０２】「内在的停止命令」とは、逐次実行単位の
実行を、デバッグ装置による制御に起因してでなくデバ
ッグ対象のプログラムが実行に伴って内在的に停止状態
となる処理命令を示す概念である。例えば、デバッグ対
象のプログラムに含まれる『ｓｌｅｅｐ』命令をデバッ
グ対象のあるスレッドが実行すると、そのスレッドの実
行が一定時間休眠状態になるように論理設計されたプロ
グラムや回路等によって実現される。『ｓｌｅｅｐ』以
外にも、 『ｓｕｓｐｅｎｄ』、『ｗａｉｔ』等の各種
命令が存在する。

【０１０３】「単位実行指示」とは、この指示がデバッ
グ装置に与えられると、デバッグ装置は逐次実行単位に
対して、実行を一定の単位だけ行ったのちに停止状態に
するように制御するという指示である。例えば、『Ｓｔ
ｅｐ Ｉｎ』命令を実行すると、ソースコード上の１行
のみ実行した後に停止状態に移行するように論理設計さ
れたプログラムや回路等によって実現される。

【０１０４】「実行停止状態」とは、ＣＰＵがデバッグ
対象のプログラムを実行するのを、デバッグ装置が一時
的に中断させている状態である。例えば、デバッグ装置
の制御の元で、デバッグ対象のプログラムが実行されて
いるとき、このプログラムがブレークポイントの置かれ
た位置を実行しようとすると、デバッグ装置は、このプ
ログラムを実行停止状態に移行させる。

【０１０５】「命令群」とは、プログラムを構成する処
理の集まりを示す概念であり、関数、メソッド、手続き
などの概念を含むものである。命令群は複数の処理命令
によって構成される。ここで「処理命令」とは、例えば
変数への代入命令、入出力命令等のプログラムを構成す
る基本単位を指す。

【０１０６】「モジュール」とは、一または複数の命令
群から構成される単位を示す概念であり、具体的には、
オブジェクト指向言語におけるクラス、プログラムを構
成するファイル、複数のファイルの論路的集まりである
パッケージなどを指す。

【０１０７】「モジュール分類手段による分類を考慮し
て定められる分類規則」とは、モジュールの属性を、逐
次実行単位の分類規則に反映させることを示す概念であ
り、例えば、関数の分類規則により『着目関数』とされ
ている関数にデバッグ対象のプログラムのあるスレッド
の実行が移ったスレッドを『着目スレッド』と、該関数
の分類規則により『非着目関数』とされている関数に実
行が移ったスレッドを『非着目スレッド』と、自動的に
分類するように論理設計されたプログラムや回路等によ
って実現される。

【０１０８】「制御指示群」とは、デバッグ装置に与え
るべき一または複数の制御指示を時系列的に羅列した列
である。

【０１０９】「動作過程」とは、制御指示群を与えられ
たデバッグ装置が、それに従ってデバッグ対象のプログ
ラムを制御した際の、デバッグ対象のプログラムの状態
を時系列的に羅列した列、及び、この際与えた制御指示
群、及び、例えばマルチスレッドプログラムの場合に
は、スレッドの分類といった情報を総て含む概念であ
る。

【０１１０】「処理命令を呼出す論理軌跡」とは、処理
命令が呼出された論理的な軌跡を表す情報を示す概念で
あり、例えば、関数呼び出しのスタックを指す。

【０１１１】以上の各請求項に記載された本発明によれ
ば次のような効果が得られる。

【０１１２】請求項１及び２５記載の本発明では、デバ
ッグ対象のプログラムに含まれる逐次実行単位のデバッ
グにあたり、特定の逐次実行単位のみを対象として制御
するので、逐次実行単位間の実行のタイミングを任意に
定めることが可能となる。

【０１１３】請求項２及び２６記載の本発明では、特定
動作手段がプログラムに含まれる逐次実行単位の内、特
定の逐次実行単位のみについて実行を停止させるように
制御するので、逐次実行単位間の実行の再開又は停止の
タイミングを任意に定めることが可能となる。

【０１１４】請求項３及び２７記載の本発明では、請求
項１及び２記載の発明の作用に加えて、プログラムに含
まれる各逐次実行単位を被制御形態に応じて分類し、こ
の分類情報に適応的にデバッグ装置は制御を行うので、
並列プログラムのデバッグ効率を高めることが可能とな
る。

【０１１５】請求項４及び２８記載の本発明では、請求
項３記載の発明の作用に加えて、プログラムに含まれる
各逐次実行単位の分類を分類のための規則に基づいて行
い、この分類規則をデバッグ作業者が任意に更新できる
ので、並列プログラムの特定逐次実行単位について制御
させる動作がより機動的になる。

【０１１６】請求項５及び２９記載の本発明では、請求
項３及び４記載の発明の作用に加えて、分類情報として
逐次実行単位の被制御形態に関する情報を用いるので、
より効率のよいデバッグを行うことが可能になる。

【０１１７】請求項６及び３０記載の本発明では、請求
項３及び４記載の発明の作用に加えて、分類情報として
逐次実行単位の着目形態に関する情報を用いるので、デ
バッグ制御において着目性に適応させた制御を行うこと
により、より効率のよいデバッグを行うことが可能にな
る。

【０１１８】請求項７及び３１記載の本発明では、請求
項３及び４記載の発明の作用に加えて、分類情報として
逐次実行単位の表示形態に関する情報を用いるので、デ
バッグ制御において表示性に適応させた制御を行うこと
により、より効率のよいデバッグを行うことが可能にな
る。

【０１１９】請求項８及び３２記載の本発明では、デバ
ッグを制御する指示として、複数の逐次実行単位のうち
特定の逐次実行単位のみを対象とする特定制御指示と、
デバッグ対象のプログラム全体を対象とする一般制御指
示とを含んで構成されるので、デバッグ制御を細かく指
示することができ、より効率の良いデバッグを行うこと
が可能になる。

【０１２０】請求項９及び３３記載の本発明では、デバ
ッグ対象のプログラムを構成する複数の逐次実行単位の
うち特定の逐次実行単位とを対象としてそれぞれの分類
に適応的にデバッグ制御がされるので、逐次実行単位の
分類を変えればデバッグ時の挙動を変えることができ、
従ってより効率の良いデバッグを行うことが可能にな
る。

【０１２１】請求項１０及び３４記載の本発明では、一
般制御指示が入力された場合、デバッグ対象のプログラ
ムの構成要素のうち実行または停止中の排他的逐次実行
単位及び並立的逐次実行単位のみについて実行または再
開させるように動作するので、プログラム全体に対する
制御指示を行う際に、デバッグ作業者が逐次実行単位に
対して１つ１つ制御指示を与えなければならない事態が
回避され、デバッグ作業における手間を省くことが可能
となる。

【０１２２】請求項１１及び３５記載の本発明では、特
定制御指示が入力された場合、デバッグ対象のプログラ
ムの構成要素のうち実行中の総ての並立的逐次実行単位
及び排他的逐次実行単位のうち特定制御指示入力手段に
よって指定された逐次実行単位の実行を停止または再開
するように動作するので、逐次実行単位ごとの詳細な制
御指示を行うことにより、他の排他的逐次実行単位の実
行を停止させる間に微妙なタイミングの設定をすること
が可能となる。

【０１２３】請求項１２及び３６記載の本発明では、請
求項９記載の発明の作用に加えて、逐次実行単位の状態
指標をデバッグ制御に反映させるので、デバッグ対象の
プログラムを、デバッグ装置を介さないで実行する際に
は起こり得ないタイミングの実行が回避され、さらに効
率的なデバッグが可能となる。

【０１２４】請求項１３及び３７記載の本発明では、制
御指示入力手段に特定の逐次実単位を対象として第１の
単位実行指示が入力されたときに次に実行すべき命令が
内在的停止命令である場合には特定の逐次実行単位を実
行停止状態とし、該制御指示入力手段に第２の単位実行
指示が入力されると次の命令を実行可能な状態にするよ
うに制御するので、第１の単位実行指示と第２の単位実
行指示との間に他の排他的逐次実行単位を実行すること
により微妙なタイミングの設定をすることが可能とな
る。

【０１２５】請求項１４及び３８記載の本発明では、プ
ログラムに含まれる各モジュールを、着目属性に応じて
分類し、特定の着目属性を持つモジュールに含まれる命
令群総てをプログラムの実行の際に同一に扱うように制
御するので、該プログラムに含まれるモジュールをその
被着目度に応じて適切に取り扱うことが可能となる。

【０１２６】請求項１５及び３９記載の本発明では、請
求項１４記載の発明の作用に加えて、分類手段が、プロ
グラムに含まれる各モジュールに対する分類規則を用い
て前記各モジュールを分類する手段と、変更指示に基づ
いてその分類を更新する手段とを具備するので、そのモ
ジュールの属性をデバッグ作業者が変更することが可能
となり、より効率的なデバッグが可能となる。

【０１２７】請求項１６及び４０記載の本発明では、着
目しないモジュールで定義された命令群、例えば関数、
メソッド、手続き等の中に入り込むような『ＳＴＥＰ
ＩＮ』命令は、当該命令群全体をひとかたまりに実行し
てしまう『ＳＴＥＰ ＯＶＥＲ』命令と解釈するので、
着目の対象でないモジュールに対する容易な実行制御が
可能となる。

【０１２８】請求項１７及び４１記載の本発明では、プ
ログラムに含まれる各モジュールを分類し、このモジュ
ールの分類を考慮して逐次実行単位を分類し、この各逐
次実行単位の分類に適応させてデバッグ制御を行うの
で、請求項１及び２に係る本願発明の目的とするところ
及び請求項１５に係る本願発明の目的とするところを同
時に達成すること、即ち、着目の対象でないモジュール
に対する容易な実行制御が可能となると同時に、モジュ
ールの着目属性を逐次実行単位の分類に反映させた上で
逐次実行単位間の実行のタイミングを任意に定めること
が可能となる。

【０１２９】請求項１８及び４２記載の本発明では、デ
バッグログ手段に記録されたデバッグ情報を用いること
により、デバッグ装置上でデバッグ実行された場合の各
逐次実行単位間の動作のタイミングと同じ、又は異なる
タイミングで該各逐次実行単位を動作させる動作過程を
生成するので、例えばデバッグ作業者に提示することで
プログラムに含まれる問題発見が容易になる。

【０１３０】請求項１９及び４３記載の本発明では、請
求項１８記載の発明の作用に加えてさらに、請求項１８
記載の発明によって生成された動作過程を自動実行し、
その結果とデバッグ情報とを比較する手段を備えるの
で、効率的な自動テストが可能となる。

【０１３１】請求項２０及び４４記載の本発明では、デ
バッグ対象のプログラムに含まれる並列して実行される
複数の逐次実行単位を属性に応じて分類し、該逐次実行
単位ごとに設けられたウインドウに特定の属性を持つ逐
次実行単位の動作状態を表示し、該ウインドウごとに、
制御指示が入力されるように構成するので、並列プログ
ラムのデバッグの動作状態を並列的に可視化することが
可能となり、より効率的なデバッグが可能となる。

【０１３２】請求項２１及び４５記載の本発明では、請
求項２０記載の発明の作用に加えて、デバッグ対象のプ
ログラム実行中の逐次実行単位の増減及び逐次実行単位
の分類の変化に対応させてウインドウが増減されるの
で、逐次実行単位の状態をより反映させたデバッグを行
うことができ、より効率的なデバッグが可能となる。

【０１３３】請求項２２及び４６記載の本発明では、デ
バッグ対象のプログラム全体に対する第１の制御指示を
入力するための手段と、デバッグ対象のプログラムに含
まれる並列して実行される複数の逐次実行単位を分類
し、該逐次実行単位ごとに設けられたウインドウに、特
定の属性の対応する逐次実行単位の動作状態と、該ウイ
ンドウに対応する逐次実行単位のみを対象とする第２の
制御指示を入力するための手段とを併有させることによ
り、より効率的なデバッグが可能となる。

【０１３４】請求項２３及び４７記載の本発明では、逐
次実行単位ごとのウインドウ画面内で逐次実行単位の実
行状況に適応させた前記第２の制御指示を入力する手段
のための表示を行うので、効率のよいデバッグが可能と
なる。

【０１３５】請求項２４及び４８記載の本発明では、デ
バッグ対象のプログラムに含まれる並列して実行される
複数の逐次実行単位のうち特定の逐次実行単位ごとに可
視的に設けられたウインドウごとに、該特定の逐次実行
単位が実行中のモジュールもしくは命令群を表示させ、
更に、そのウインドウに前記関数を呼出す論理軌跡を表
示するので、並列プログラムのデバッグの動作状態を並
列的に可視化し、デバッグ対象のプログラムの働きを理
解する助けとなる。

【０１３６】以上から、本発明の構成によれば、例えば
複数のスレッドの実行を、デバッグ作業者の希望する順
序で実行制御することが可能となり、従ってデバッグ作
業者は、タイミングに起因するバグの再現を常に行うこ
とができるようになる。

【０１３７】

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

【０１３８】図１は、本発明に係るデバッグ装置の用い
られる環境を示す概念図である。同図（ａ）に示すよう
に、デバッグ装置１をデバッグ作業者２が用いることに
より、ターゲットプログラム（デバッグ対象のプログラ
ム）３のデバッグを行う場合を想定するが、同図（ｂ）
に示すように、マシンＡ内のデバッグ装置１がデバッグ
作業者２の指示に基づいて、マシンＡにリモート接続さ
れたマシンＢ内のターゲットプログラム３のデバッグを
リモートコントロールによって制御する環境を想定する
ことも可能である。なおここでは、ターゲットプログラ
ム３はマルチスレッドプログラムであるとする。

【０１３９】（第１の実施形態）図２は本発明の一実施
形態に係るマルチスレッドプログラム３のデバッグ装置
１の構成を示す概念図である。同図に示すように、デバ
ッグ装置１は、各種制御を行うＣＰＵ１０１、入力装置
１０３、出力装置１０５、記憶装置１０７、ターゲット
プログラムを読み込むターゲットプログラム読み込み部
１０９、読み込んだプログラムをデバッグのために実行
するターゲットプログラム実行部１１１、実行中のプロ
グラムを停止するターゲットプログラム停止部１１３、
排他実行スレッドについて所定の実行処理を行う排他的
スレッド実行機構１１５、スレッドの優先度により実行
の制御を行うスケジューラ部１１７、ターゲットプログ
ラムの実行状態及び挙動を監視するターゲットプログラ
ム監視部１１９、スレッドを（後述する）各種属性によ
って分類するスレッド分類部１２１、かかるスレッドの
デフォルトの分類を定めるための規則を格納するスレッ
ド分類規則格納部１２３、デバッグ制御のためのコマン
ドを可視的に表示するデバッグコマンド表示部１２５、
デバッグ作業者からのデバッグコマンドが入力されるデ
バッグコマンド入力部１２７、プログラム中の特定スレ
ッドを表示するスレッド表示部１２９、スレッド表示の
有無についてのデフォルトの規則を格納するスレッド表
示規則格納部１３１及びプログラムあるいはスレッドの
実行が一時停止されるポイントを設定するブレークポイ
ント設定部１３３がバス１３５によって接続されて構成
される。

【０１４０】図３は、本発明の一実施形態に係るマルチ
スレッドプログラム３のデバッグ装置１の構成を、デバ
ッグ作業者２及びターゲットプログラム３との関係にお
いて示した概念図である。同図に示すような接続形態に
よって本実施形態に係るデバッグ装置は実現される。

【０１４１】図４は、デバッグコマンド入力部１２７の
受け付けるデバッグコマンドの種別を表した図である。
同図４に示すように、デバッグコマンドは、プログラム
全体を対象とする一般デバッグコマンドと、特定のスレ
ッドのみを対象とするスレッド別デバッグコマンドの二
種類に大別される。

【０１４２】一般デバッグコマンドには、従来のデバッ
グ装置と同様に、ターゲットプログラムの指定・読み込
みコマンド、デバッグの開始・終了コマンド、総ての停
止スレッドの実行を再開させるコマンド、総ての実行中
のスレッドを停止させるコマンド等が含まれる。尚、停
止状態にあるスレッドは、デバッグ装置からの指示に依
らず、ターゲットプログラム自身の実行過程で停止状態
になっているスレッドと、ブレークポイントに到達した
結果や、デバッグ装置からの停止コマンドの結果によっ
て、停止状態になっているスレッドの二者に大別され
る。本願発明では、区別を明確にするため、前者を「待
機スレッド」、後者を単に「停止スレッド」と呼ぶ。

【０１４３】スレッド別デバッグコマンドには、停止ス
レッドの実行を再開するコマンド、実行中のスレッドを
停止させるコマンド、各種ステップコマンド等が含まれ
る。後に述べるように、これらのスレッド別デバッグコ
マンドは、デバッグ作業者の指定した特定のスレッドに
対して個別に指示される。又、ブレークポイントの設定
をするコマンドも、一般デバッグコマンドと、スレッド
別デバッグコマンドの二種類がある。前者によって設定
されたブレークポイントには、不特定のスレッドが反応
するのに対し、後者によって設定されたブレークポイン
トには、対象となる（一、又は、複数の）スレッドのみ
が反応する。

【０１４４】次に、スレッド分類部１２１及びスレッド
表示部１２９等の働きを、図５を用いて説明する。デバ
ッグ実行中の任意の時点で、本実施形態に係るデバッグ
装置１のスレッド分類部１２１は、存在する各スレッド
を、着目スレッド、非着目スレッドのいずれかに分類す
る。デバッグ作業者は、着目スレッドに分類された複数
のスレッドに対して、その振る舞いや状態に着目する。
又、スレッド分類部１２１は、各スレッドを、デバッグ
装置１がどのように実行・停止させるかに応じて、排他
実行スレッド、同時実行スレッド、継続実行スレッドの
いずれかに分類する。ターゲットプログラム３の実行中
に、新しいスレッドが生成されたときには、スレッド分
類部１２１は、スレッド分類規則格納部１２３に格納さ
れるスレッド分類規則を用いて、デフォルトの分類を決
定する。またスレッド分類部１２１は、後にデバッグ作
業者からの分類の指示によって、スレッドの分類を変更
することもできる。

【０１４５】着目スレッドの状態は、一般に、出力装置
１０５上に表示され続けることが望ましいが、着目スレ
ッドの総数が多くなると、その総てを表示し続けると、
逆に煩雑になる場合も有り得る。そこで、本発明では、
スレッド表示部１２９によって、各スレッドを、表示の
対象となる表示スレッド、又は、表示の対象とならない
非表示スレッドに分類する。このとき、スレッド表示部
１２９は、スレッド表示規則格納部１３１に格納される
スレッド表示規則を用いて、デフォルトの表示方法を決
定する。また後に、デバッグ作業者からの表示方法の指
示によって、表示方法を変更することもできる。デバッ
グコマンド表示部１２５は、出力装置１０５上に、一般
デバッグコマンドの他、表示スレッドに対応するスレッ
ド別デバッグコマンドを表示する。

【０１４６】スレッド分類規則の例としては、 ・メインスレッド（ターゲットプログラムの入口となる
スレッド）を着目スレッドとする。

【０１４７】・ブレークポイントで停止したスレッドを
着目スレッドとする。

【０１４８】・ある親スレッドから生成された子スレッ
ドは、親スレッドの分類を継承する。

【０１４９】・着目スレッドは排他実行スレッドとす
る。

【０１５０】・システムスレッドは、非着目スレッド、
かつ、継続実行スレッドとする。

【０１５１】・システムスレッド以外の非着目スレッド
は、同時実行スレッドとする。

【０１５２】・非表示スレッドは非着目スレッドとす
る。

【０１５３】等が挙げられる。また、デバッグ作業者が
スレッド分類規則を変更することや、追加すること、一
部のみ採用すること等を可能にしても良い。スレッド表
示規則の例としては、 ・着目スレッドは表示スレッドとする。

【０１５４】・スレッドが消滅すれば表示を終了する。

【０１５５】・ある親スレッドから生成された子スレッ
ドは、親スレッドの表示方法を継承する。

【０１５６】・スレッドの優先順位に応じて色分けや表
示順序を決定する。

【０１５７】等が挙げられる。スレッド分類規則と同
様、デバッグ作業者がスレッド表示規則を変更すること
や、追加すること、一部のみ採用すること等を可能にし
ても良い。

【０１５８】次に、一般デバッグコマンド、スレッド別
デバッグコマンドを与えられた排他実行スレッド、同時
実行スレッド、継続実行スレッドの振る舞いを説明す
る。

【０１５９】図６は、一般デバッグコマンド、スレッド
別デバッグコマンドを与えられた排他実行スレッド、同
時実行スレッド、継続実行スレッド別の振る舞いの対応
関係の一例を示す概念図である。

【０１６０】一般デバッグコマンドによって実行を再開
する場合には、全停止スレッドの実行再開コマンドが与
えられた場合等がある。又、一般デバッグコマンドによ
って停止を行う場合には、全実行中スレッドの停止コマ
ンドが与えられた場合や、一般デバッグコマンドで設定
されたブレークポイントにあるスレッドが到達した場合
等がある。スレッド別デバッグコマンドによって実行を
再開する揚合には、停止スレッドに対して実行再開コマ
ンドが与えられた場合や、各種ステップコマンドが停止
スレッドに与えられた場合等がある。又、スレッド別デ
バッグコマンドによって停止を行う場合には、実行中ス
レッドに対して停止コマンドが与えられた場合や、各種
ステップコマンドを与えられたスレッドが停止条件（例
えば、『Ｓｔｅｐ Ｉｎ』コマンドならば、一行の実行
が終了する）を満たした場合、スレッド別ブレークポイ
ントに対象のスレッドが到達した場合等がある。ここに
挙げた再開・停止の条件は例示であって、一般・スレッ
ド別デバッグコマンドによって実行を再開・停止する場
合としては、他の場合もあり得る。

【０１６１】図６に示すように、一般デバッグコマンド
によって実行を再開する場合、排他実行スレッド及び同
時実行スレッドのうち停止状態にあるスレッドが実行を
再開する。一般デバッグコマンドによって実行を停止す
る場合、排他実行スレッド、同時実行スレッドのうち実
行状態にあるスレッドが総て停止する。一方、総ての継
続実行スレッドは、常にそのときの停止状態、実行状態
を維持する。なお、ここに説明した一般デバッグコマン
ドによる実行の再開・停止動作は例示であって、他の動
作、例えば、一般デバッグコマンドによって実行を停止
する場合に、実行状態にある総ての継続実行スレッドの
実行を停止させるようにしてもよい。

【０１６２】スレッド別デバッグコマンドによって実行
を再開する場合、排他実行スレッドは、対象となるスレ
ッドのみ、停止状態ならば実行を再開する。その他総て
の排他実行スレッドは、その時の状態を維持する。一
方、同時実行スレッドは、総ての停止状態にあるスレッ
ドが、実行を再開する。スレッド別デバッグコマンドに
よって実行を停止する場合、排他実行スレッドは、対象
となるスレッドのみ、実行状態ならば停止する。その他
総ての排他実行スレッドは、その時の状態を維持する。
一方、同時実行スレッドの実行状態にあるスレッドは総
て停止する。継続実行スレッドは、常にそのときの停止
状態、実行状態を維持する。

【０１６３】次に、以上のように構成される本デバッグ
装置の動作を説明する。

【０１６４】図７は、デバッグ実行中に、あるスレッド
が生成された時の、スレッド分類部１２１及びスレッド
表示部１２９の処理の動作を説明するためのフローチャ
ートである。

【０１６５】同図に示すように、ターゲットプログラム
の実行過程において、新しいスレッドが生成された場合
を考える（ステップ７０１）。

【０１６６】まず、上述したスレッド分類規則を用いて
デフォルトの分類を定める（ステップ７０２）ととも
に、同様にしてデフォルトの表示方法を定める（ステッ
プ７０３）。

【０１６７】ここでこの分類により、表示対象のスレッ
ドかどうかを検証し（ステップ７０４）、表示スレッド
ならば出力装置１０５上に表示する（ステップ７０
５）。表示スレッドでなければ、既に表示されている場
合には出力装置１０５上の表示を終了させる（ステップ
７０６）。

【０１６８】次にデバッグ作業者からの分類の指示が与
えられた場合（ステップ７０７）にはスレッドの分類を
更新し（ステップ７０８）、デバッグ作業者からの分類
の指示が与えられていない場合には、デバッグ作業者か
らの表示方法の指示が与えられているかを確認する（ス
テップ７０９）。デバッグ作業者からの表示方法の指示
が与えられているならば、表示方法を更新し（ステップ
７１０）、スレッド分類規則を用いてデフォルトの分類
を定め（ステップ７０２´）た後にステップ７０４にか
える。ステップ７０９で、デバッグ作業者からの表示方
法の指示が与えられていなければ、スレッドが消滅した
かを確かめ（ステップ７１１）、消滅していなければ、
ステップ７０７に戻る。

【０１６９】スレッドが消滅した場合には（ステップ７
１１）、着目スレッドでなければ（ステップ７１２）そ
のまま、着目スレッドならば（ステップ７１２）デバッ
グ作業者に該消滅を連絡した（ステップ７１３）上で表
示スレッドかどうかを確かめ（ステップ７１４）、表示
を終了させて（ステップ７１５）、一連の処理を終了す
る。

【０１７０】ここで表示スレッドでなければ（ステップ
７１４）、そのまま処理を終了する。

【０１７１】次に、スレッド別デバッグコマンドである
『Ｓｔｅｐ Ｉｎ』をデバッグ作業者が指示した場合の
動作を、図８のフローチャートを用いて説明する。

【０１７２】同図に示すように、まず、スレッド別デバ
ッグコマンド『Ｓｔｅｐ Ｉｎ』が入力される（ステッ
プ８０１）。デバッグコマンド入力部１２７は、対象に
なるスレッドＴを決定する（ステップ８０２）。同時実
行スレッドのうち停止状態にあるスレッド総ての実行を
再開し（ステップ８０３）、スレッドＴの実行を再開す
る（ステップ８０４）。

【０１７３】スレッドＴの実行中ブレークポイントに達
したスレッドがある場合（ステップ８０５）には、既知
の技術であるブレークポイント処理（ステップ８０６）
を行う。ブレークポイントに達したスレッドがない場合
（ステップ８０５）には、スレッドＴが１行の実行を終
えたかを確認する（ステップ８０７）。

【０１７４】スレッドＴが１行の実行を終えていない場
合にはステップ８０５に戻り、スレッドＴが１行の実行
を終えた場合には、スレッドＴの実行を停止する（ステ
ップ８０８）。

【０１７５】最後に同時実行スレッドのうち実行状態に
あるスレッド総ての実行を停止して（ステップ８０９）
終了する。

【０１７６】ここで述べた、スレッドの実行形態による
分類に対する、スレッドの実行及び停止は、ターゲット
プログラム実行部１１１、ターゲットプログラム停止部
１１３、排他的スレッド実行機構１１５、ターゲットプ
ログラム監視部１１９、スレッド分類部１２１によって
実現される。具体的な実現方法は、ＯＳに依存してい
る。この実現方法の一例として、ＯＳの提供するデバッ
グ機能が、ある特定のスレッドの実行を再開すると、そ
の他の総てのスレッドの実行も再開し、あるスレッドの
実行が停止すると、その他総てのスレッドの実行も停止
するという場合に、図８に示した『Ｓｔｅｐ Ｉｎ』を
実現するときの処理の流れを次に説明する。

【０１７７】図９は、『Ｓｔｅｐ Ｉｎ』を実現するに
あたっての排他実行スレッドの実行の再開及び停止の動
作を示すフローチャートである。

【０１７８】同図に示すように、排他実行スレッドの実
行の再開にあたっては、まず、スレッドＴ以外の停止状
態にある排他実行スレッドを集合Ｓに記憶する（ステッ
プ９０１）。具体的には、集合Ｓの内容を記憶装置１０
７内に記憶する。

【０１７９】次に、集合Ｓに含まれるスレッドに『ＯＳ
＿ｓｕｓｐｅｎｄ』を発行する（ステップ９０２）。

【０１８０】スレッドＴが停止すべき位置に、スレッド
Ｔのみが反応するブレークポイントを設定し（ステップ
９０３）、スレッドＴの実行を再開する（ステップ９０
４）。 排他実行スレッドの実行の停止にあたっては、
まず、スレッドＴの実行を停止し（ステップ９１２）、
スレッドＴに対して『ＯＳ＿ｓｕｓｐｅｎｄ』を発行す
る（ステップ９１４）。

【０１８１】ここで任意のスレッドの実行を再開する
（ステップ９１５）。これにより、『ＯＳ＿ｓｕｓｐｅ
ｎｄ』を発行されていない総てのスレッドの実行が再開
される。

【０１８２】次に、集合Ｓに含まれるスレッドに『ＯＳ
＿ｒｅｓｕｍｅ』を発行し（ステップ９１６）、スレッ
ドＴに対しても『ＯＳ＿ｒｅｓｕｍｅ』を発行して（ス
テップ９１７）処理を終了する。

【０１８３】なお、同図において、『ＯＳ＿ｓｕｓｐｅ
ｎｄ』及び『ＯＳ＿ｒｅｓｕｍｅ』は、例にあげたＯＳ
の提供するデバッガの命令で、この『ＯＳ＿ｓｕｓｐｅ
ｎｄ』を発行されたスレッドは、その他のスレッドの実
行が再開しても、実行を再開せず、また、『ＯＳ＿ｒｅ
ｓｕｍｅ』は、先に発行された『ＯＳ＿ｓｕｓｐｅｎ
ｄ』命令を取り消す命令であると仮定している。ここで
は、ＯＳによってスレッド別ブレークポイントが提供さ
れていることを仮定したが、スレッド別ブレークポイン
トが提供されていない場合には、デバッグ装置側でスレ
ッド別ブレークポイントをエミュレートする必要があ
る。

【０１８４】次に、スレッド別デバッグコマンドの『Ｓ
ｔｅｐ Ｉｎ』を例にして、本発明の一実施形態に係る
デバッグ装置の付加的機能を説明する。

【０１８５】デバッグのある時点で、ある排他実行スレ
ッドが、ターゲットプログラム中の『ｓｌｅｅｐ』命令
（実行することにより、そのスレッドは一定時間待機状
態になり、一定時間経過後、自発的に実行状態になる。
このような待機状態を休眠状態とよぶ）を次に実行する
状態で停止しているとする。デバッグ作業者がこの状態
で、そのスレッドにスレッド別デバッグコマンド『Ｓｔ
ｅｐ Ｉｎ』を発行した場合、そのスレッドに、実際に
『ｓｌｅｅｐ』命令を実行させ、一定時間休眠状態にす
ることもできるが、本発明においては、更に、図１０に
示す動作により、あるスレッドが『ｓｌｅｅｐ』状態に
ある間に、その他のスレッドが動くタイミングを、デバ
ッグ作業者が自由に選んでデバッグすることを可能とす
る。

【０１８６】図１０は、かかる機能を実現するための動
作を説明するためのフローチャートである。

【０１８７】同図に示すように、まず、排他実行スレッ
ドＴが、次に『ｓｌｅｅｐ』命令を実行する直前で停止
状態にある（ステップ１００１）とする。

【０１８８】スレッドＴに対して『Ｓｔｅｐ Ｉｎ』コ
マンドが発行されると（ステップ１００２）、スレッド
Ｔは停止状態になる（ステップ１００３）。即ち、『Ｓ
ｔｅｐ Ｉｎ』コマンドを発行された排他実行スレッド
が、『ｓｌｅｅｐ』命令を実行しようとすると、直ち
に、そのスレッドを停止状態にする。そしてＴの第１の
『Ｓｔｅｐ Ｉｎ』コマンドは終了する（ステップ１０
０４）。この際、デバッグ作業者に対しそのスレッドが
『ｓｌｅｅｐ』状態に入ったことを示しても良い。

【０１８９】デバッグ作業者は、この状態において、そ
の他の排他実行スレッドを任意に制御することができ
る。ｓｌｅｅｐ命令により停止状態になったスレッドに
対し、デバッグ作業者が第２の『Ｓｔｅｐ Ｉｎ』コマ
ンドを発行する（ステップ１００５）ことにより、この
スレッドは、『ｓｌｅｅｐ』命令を抜け、次の命令を実
行できる状態になり（ステップ１００６）、第２の『Ｓ
ｔｅｐ Ｉｎ』コマンドは終了する（ステップ１００
７）。

【０１９０】なお同図中、画面のイメージ１００１ａ、
１００３ａ及び１００６ａは、それぞれステップ１００
１、１００３及び１００６におけるスレッドＴが次に実
行する位置を指標する様子を表した画面図である。

【０１９１】この機能によって、あるスレッドが『ｓｌ
ｅｅｐ』状態にある間に、その他のスレッドが動くタイ
ミングを、デバッグ作業者は自由に選んでデバッグする
ことが可能となる。同様に、例えば、ターゲットプログ
ラム中の『ｓｕｓｐｅｎｄ』命令（実行することにより
そのスレッドは待機状態になる。待機状態から抜けるた
めには、その他のスレッドから 『ｒｅｓｕｍｅ』命令
を受ける必要がある）を『Ｓｔｅｐ Ｉｎ』コマンドで
実行した場合の動作を図１１のフローチャートを用いて
説明する。

【０１９２】同図に示すように、まず、排他実行スレッ
ドＴが、次に『ｓｕｓｐｅｎｄ』命令を実行する直前で
停止状態にある（ステップ１１０１）とする。

【０１９３】スレッドＴに対して『Ｓｔｅｐ Ｉｎ』コ
マンドが発行されると（ステップ１１０２）、スレッド
Ｔは待機状態になる（ステップ１１０３）。即ち、『Ｓ
ｔｅｐ Ｉｎ』コマンドを発行された排他実行スレッド
が、『ｓｕｓｐｅｎｄ』命令を実行しようとすると、直
ちに、デバッグ装置はそのスレッドを待機状態にする。
この際、デバッグ作業者に対しそのスレッドが『ｓｕｓ
ｐｅｎｄ』状態に入ったことを示しても良い。

【０１９４】上記の『ｓｕｓｐｅｎｄ』命令を実行した
スレッドが、待機状態に入った時点で、デバッグ装置は
『Ｓｔｅｐ Ｉｎ』コマンドの実行を終える（ステップ
１１０４）。

【０１９５】デバッグ作業者はこの状態において、その
他の排他実行スレッドを任意に制御することができる。
そして、その過程において、他のスレッドが待機状態に
ある当該スレッドに『ｒｅｓｕｍｅ』命令を発行すると
（ステップ１１０５）、発行されたスレッドは、待機状
態から停止状態に遷移する（ステップ１１０６）。

【０１９６】更に、このスレッドにデバッグ作業者が第
２の『Ｓｔｅｐ Ｉｎ』コマンドを発行して初めて（ス
テップ１１０７）、このスレッドは、『ｓｕｓｐｅｎ
ｄ』命令の次の命令を実行できる状態になり（ステップ
１１０８）、第２の『ＳｔｅｐＩｎ』コマンドは終了す
る（ステップ１１０９）。又、ステップ１１０６、ステ
ップ１１０７は省略するという実装も考えられる。

【０１９７】なお同図中、画面のイメージ１１０１ａ、
１１０３ａ、１１０６ａ及び１００８ａは、それぞれス
テップ１１０１、１１０３、１１０６及び１００８にお
けるカレントスレッドの位置を指標する様子を表した画
面図である。

【０１９８】以上の手法により、デバッグの任意の時点
で、デバッグ作業者が複数のスレッドの間の実行のタイ
ミングによるプログラムの挙動を確認することを意図す
る場合、これらのスレッドを着目スレッド（従って、デ
フォルトで排他実行スレッドとなる）と指定すれば、そ
れらのスレッドをデバッグ作業者の希望する任意の順序
で容易にステップ実行することが可能となる。

【０１９９】なお、スレッド間に優先度が設けられてい
る場合には、上述の手法のみでは、デバッグ装置を介し
ない本来のターゲットプログラムの実行では、起こり得
ないタイミングを許すことが生じ得る。例えば、スレッ
ドｔ１の優先度がスレッドｔ２の優先度より高い場合を
考える。実際には、スレッドｔ１の実行中には、スレッ
ドｔ２の実行は行われない。しかし、上述の手法のみで
は、例えば、次のような問題が生ずる。

【０２００】（１）スレッドｔ１が排他実行スレッド、
スレッドｔ２が同時実行スレッドと指定されており、ど
ちらも停止状態である場合、もしも、スレッドｔ１以外
の停止した排他実行スレッドの実行を再開すると、スレ
ッドｔ１は停止しているにもかかわらず、スレッドｔ２
の実行は再開されてしまう。

【０２０１】（２）スレッドｔ１、ｔ２が共に、排他実
行スレッドに指定されている場合、デバッグ作業者は、
スレッドｔ２を、スレッドｔ１を停止させたまま、実行
させることができる。

【０２０２】これらの実際には起こり得ないタイミング
の実行を避ける為、本発明では、スケジューラ部１１７
が、本来のスレッドの挙動をエミュレートする。例え
ば、上記（１）の場合には、ターゲットプログラム実行
部１１１は、スレッドｔ２に対して、実行の再開を指示
するが、スレッドｔ２よりも優先度の高いスレッドｔ１
が停止しているために、最終的に、スケジューラ部１１
７がスレッドｔ２の実行を行わない。

【０２０３】また上記（２）の場合には、デバッグ作業
者が、スレッドｔ２を実行させようとしたときに、スケ
ジューラ部１１７が、実際には起らないタイミングでの
実行を行おうとしている旨をデバッグ作業者に伝えるこ
とができる。さらに（２）に関しては、ターゲットプロ
グラム監視部１１９が、デバッグコマンド表示部１２５
にｔ２を実行するコマンドを表示させないようにするこ
ともできる。

【０２０４】次に、本発明の一実施形態に係るデバッグ
装置のＧＵＩ上の動作を説明する。図１２は、本発明の
一実施形態に係るデバッグ装置をＧＵＩを用いて実現し
た場合の画面の一例を示した図である。

【０２０５】同図において、スレッドトレースウインド
ウ１２０１は、従来のデバッグ装置のプログラム表示ウ
インドウとコントロールパネルとを一つにまとめたもの
である。但し、従来デバッグ装置のように、ターゲット
プログラムに対してコントロールパネルが一つだけ存在
するのではなく、従来のコントロールパネルに相当する
本発明のスレッド別コントロール部は、排他実行スレッ
ドかつ表示スレッドである各スレッドに対して一つづつ
存在する。これにより、スレッド別デバッグコマンドを
各スレッドに個別に与えることが容易になる。

【０２０６】スレッドトレースウインドウ１２０１に
は、排他実行・表示スレッドに対応するスレッド別コン
トロール部が含まれる。同図の例では、三つの排他実行
・表示スレッドｍａｉｎ、ｔｈ１、ｔｈ２が存在する
為、それぞれに対する個別スレッドコントロール部１２
０２、１２０３及び１２０４がスレッドトレースウイン
ドウ１２０１に含まれている。

【０２０７】スレッド別コントロール部１２０２、１２
０３及び１２０４は、ターゲットプログラム３実行中の
スレッドの生成及び消滅、並びにスレッド分類の変化等
に連動して自動的に増減させることができる。

【０２０８】スレッド別コントロール部１２０２、１２
０３及び１２０４は、スレッドトレースウインドウ１２
０１内にまとめて表示するのではなく、スレッドごとに
異なるウインドウに表示するという実現例も考えられ
る。

【０２０９】尚、一般デバッグコマンドを与えるために
は、一般コントロールパネルを用意する方法や、ウイン
ドウシステムのメニューを用いる方法等が考えられる。

【０２１０】図１３は、このような一般コントロールパ
ネルの一例を示す図である。

【０２１１】同図に示す一般コントロールパネル１３０
０は、スレッドボタン１３０１、ブレークポイント設定
ボタン１３０２、一般デバッグコマンド指示部１３０３
が含まれる。

【０２１２】スレッドボタン１３０１を押すと、（後述
するように）ウインドウに着目スレッド及び非着目スレ
ッドの一覧が表示される。このウインドウや、メニュー
バーを用いて、デバッグ作業者はスレッドの分類の指示
や、表示方法の指示をスレッド分類部１２１及びスレッ
ド表示部１２９に与えることができる。このウインドウ
には、各スレッドの優先順位や現在の状態等の詳細な情
報を表示させることもできる。

【０２１３】ブレークポイント設定ボタン１３０２を押
すと、全てのスレッドに反応するブレークポイント等を
設定することができる。

【０２１４】一般デバッグコマンド指示部１３０３は、
一般デバッグコマンドを列挙したボタン群よりなる。同
図の例では、全停止スレッドの実行を再開させるＣｏｎ
ｔボタン１３０３ａ、全実行中スレッドを停止させるＳ
ｔｏｐボタン１３０３ｂ、デバッグを終了させるＥｘｉ
ｔボタン１３０３ｃが含まれている。

【０２１５】一般デバッグコマンドには、ここに挙げた
ものの他に、デバッグ対象となるターゲットプログラム
３の指定、デバッグの開始コマンド等も含まれる。これ
らのコマンドは比較的使用頻度が低いので、一般コント
ロールパネル１３００には含まれておらず、メニューバ
ーを通して指示される。

【０２１６】次に、スレッドトレースウインドウ１２０
１における、各スレッド別コントロール部１２０２、１
２０３及び１２０４の働きを図１４を用いて説明する。

【０２１７】図１４は、図１２におけるスレッド別コン
トロール部１２０３の部分を取り出して表示した図であ
る。

【０２１８】同図に示すように、スレッド別コントロー
ル部１２０３には、非着目化ボタン１４０１、スレッド
状態表示アイコン１４０２、スレッド名表示部１４０
３、スタックフレーム表示選択部１４０４、スレッド別
デバッグコマンド指示部１４０５、ソース表示部１４０
６、位置ポインタ１４０７、ブレークポイントポインタ
１４０８等が含まれる。

【０２１９】非着目化ボタン１４０１を押すことによ
り、スレッド分類部１２１は対応するスレッドを非着目
スレッドにする。これは、図７のフローチャート上では
デバッグ作業者からの表示方法の指示（ステップ７０
７）によって、スレッドの表示方法を更新する部分（ス
テップ７１０）に相当する。続いて、ステップ７０２´
でスレッド分類規則を用いて、指定されたスレッドを同
時実行スレッドにする。この後、ステップ７０４及び７
０６で指定されたスレッドを非表示スレッドにする。

【０２２０】スレッド状態表示アイコン１４０２は、対
応するスレッドの状態（実行状態、停止状熊、自発的停
止状態等）を可視的に表示する。

【０２２１】スレッド名表示部１４０３は、対応する着
目スレッドの名前を表示する。スレッド名をここでデバ
ッグ作業者に変更させることもできる。

【０２２２】スタックフレーム表示選択部１４０４は、
ソース表示部１４０６で表示する関数呼び出しスタック
フレームをデバッグ作業者に表示選択させる部分であ
る。スタックフレーム表示選択部１４０４の中の、プル
ダウンボタン１４０４ａをクリックした場合の画面の一
例を図１５に示す。

【０２２３】同図に示す例では、スレッドｔｈ１は、関
数でｒｕｎ（）の実行中に、関数ｓｕｂ１ （）を呼び
出し、その実行中に、関数ｇ（）を呼び出し、更にその
内部で停止状態になっている。デバッグ作業者は、ソー
ス表示部１４０６に表示するソースプログラムを、関数
ｓｕｂ１（）を定義したものから、関数ｇ（）を定義し
たものに変えようとしている。

【０２２４】スタックフレーム表示選択部１４０４に
は、関数の定義されているファイル名等を合わせて表示
することもできる。

【０２２５】スレッド別デバッグコマンド指示部１４０
５は、対応するスレッドに対するスレッド別デバッグコ
マンドを列挙したボタン群より成る。図１４に示した例
では、停止スレッドの実行を再開させる『Ｃｏｎｔ』ボ
タン１４０５ａや、ステップ実行させる『Ｓｔｅｐ Ｉ
ｎ』『Ｓｔｅｐ Ｏｖｅｒ』『Ｓｔｅｐ Ｏｕｔ』ボタ
ン１４０５ｂ、１４０５ｃ及び１４０５ｄが含まれてい
る。

【０２２６】スレッド別デバッグコマンド指示部１４０
５には、更に、対応するスレッドのローカル状態（例え
ば、スタックフレーム表示選択部１４０１に示されたス
タックフレーム中で定義された変数の現在値等）を表示
させるボタン等も含めることができる。さらに、スレッ
ド別デバッグコマンド指示部１４０５に含まれるボタン
を、対応するスレッドの現在の状熊によって可変にする
こともできる。例えば、図１２におけるスレッド別コン
トロール部１２０２のスレッド別デバッグコマンド指示
部には、対応するスレッドｍａｉｎが実行中なので、そ
の実行を停止させる『Ｓｔｏｐ』ボタン１２０２ａが含
まれている。

【０２２７】また、図１２におけるスレッド別コントロ
ール部１２０４では、対応するスレッドｔｈ２がｓｕｓ
ｐｅｎｄ命令による待機状態になっているため、スレッ
ド別デバッグコマンド指示部１４０５に含まれるボタン
が総て押せない状態になっている。

【０２２８】ソース表示部１４０６では、スタックフレ
ーム表示選択部１４０４に示されたスタックフレームの
関数が定義されたファイルの一部を表示する。このファ
イルの適当な行をデバッグ作業者がクリックする等して
指示することにより、対応するスレッドのみが反応する
スレッド別ブレークポイントを設定することも可能であ
る。

【０２２９】位置ポインタ１４０７は、対応するスレッ
ドの現在の行を示す。ブレークポイントポインタ１４０
８は、そのポインタの示す位置にブレークポイントが置
かれていることを示す。ポインタの形状によって、ブレ
ークポイントの種類（例えば、全ての着目スレッドに反
応するブレークポイント、スレッド別ブレークポイン
ト、全てのスレッドに反応するブレークポイント等）を
デバッグ作業者に可視的に示すこともできる。

【０２３０】図１６は、図１３に示した一般コントロー
ルパネル１３００においてスレッドボタン１３０１を押
すことにより表示されるスレッドの一覧画面の一例を示
す図である。

【０２３１】同図に示す例では、着目スレッド（『＊』
のついたスレッド）、非着目スレッド（『＊』のついて
いないスレッド）の一覧が表示される。

【０２３２】次に、デバッグコマンドに対する排他実行
スレッド及び同時実行スレッドのＧＵＩに関連する動き
を、例を用いて説明する。

【０２３３】今、デバッグ実行中のある時点で、ターゲ
ットプログラム３中に、６つのスレッドｍａｉｎ、ｔｈ
０、ｔｈ１、ｔｈ２、ｔｈ２及びｔｈ４が存在し、その
うち、３つのスレッドｍａｉｎ、ｔｈ１及びｔｈ２をデ
バッグ作業者が着目スレッドとして指定しているとす
る。これらのスレッドは、デフォルトで排他実行スレッ
ドに分類されている。またスレッドｔｈ４は、非表示ス
レッドではあるが、排他実行スレッドとしてデバッグ作
業者に指示されているとする。その他のスレッドｔｈ０
及びｔｈ３は、デフォルトで同時実行スレッドに分類さ
れている。

【０２３４】この時点で、スレッドｍａｉｎは実行状態
（図１２における１２０２で表示）にあり、スレッドｔ
ｈ１はある行で停止（図１２における１２０３で表示）
しており、スレッドｔｈ２はある行で待機状態（図１２
における１２０４の状態）にあり、スレッドｔｈ４はあ
る行で停止しているとする。

【０２３５】デバッグ作業者が、スレッドｔｈ１にスレ
ッド別デバッグコマンド『ＳｔｅｐＩｎ』を与えた場
合、スレッドｔｈ１の実行と、全ての同時実行スレッド
（ｔｈ０，ｔｈ３）の実行が再開される。このとき、従
来のデバッグ装置とは異なり、スレッドｔｈ１以外の排
他実行スレッドは、現在の状態を維持する。即ち、スレ
ッドｍａｉｎは実行状態、スレッドｔｈ２は待機状態、
スレッドｔｈ４は停止状態を維持する。但し、もし、ス
レッドｍａｉｎの優先度がスレッドｔｈ４の優先度より
低い場合には、実際にはスケジューラ部１１７が、スレ
ッドｍａｉｎの実行を行わない。

【０２３６】またもし、スレッドｔｈ１の優先度がスレ
ッドｔｈ４の優先度より低い場合には、スケジューラ部
１１７によって、実際には起こり得ないタイミングでス
テップ実行を行おうとしていることがデバッグ作業者に
伝えられる。それにもかかわらず、デバッグ作業者が敢
えてスレッドｔｈ１をステップ実行することを選んだ場
合には、スレッドｔｈ１の実行が実際に行われるように
することができる。

【０２３７】スレッドｔｈ１が一つの行を実行し終える
と、スレッドｔｈ１及び全ての同時実行スレッドは停止
状態になる。このときも、スレッドｔｈ１以外の排他実
行スレッドは、現在の状態を維持する。

【０２３８】もしスレッドｔｈ１のステップ実行途中に
おいて、同時実行スレッドｔｈ０、ｔｈ３、又は実行中
の排他実行スレッドｍａｉｎの内のいずれかのスレッド
（例えばｔｈ３）が非着目スレッドに対しても反応する
ブレークポイントに到達した場合、排他実行スレッドは
現在の状態を維持し、ｔｈ３及びその他の同時実行スレ
ッドｔｈ０は停止させられる。

【０２３９】以上説明したように本実施形態によれば、
並列プログラム、例えばマルチスレッドプログラム、を
対象とするデバッグ装置において、スレッドを排他実行
スレッドとそうでないスレッドに分類して扱い、デバッ
グコマンドとしてスレッドに個別に与え得るものとスレ
ッド全体に与え得るものとを設け、排他実行スレッドに
指定されたものは同時に実行させないように動作させる
ことにより、複数のスレッドの実行を、デバッグ作業者
の希望する順序で制御することが可能となり、従ってデ
バッグ作業者は、タイミングに起因するバグの再現を常
に行うことができるようになる。

【０２４０】（第２の実施形態）次に、本発明の他の実
施形態を説明する。

【０２４１】上述した実施形態では、スレッドの分類
は、スレッド分類規則によるデフォルトの分類及びデバ
ッグ作業者からの分類の指示に依っていたが、本実施形
態においては、プログラムに含まれるモジュール、又
は、モジュールに含まれる関数、を属性によって分類す
ることによる、更に高度なスレッドの分類方法を示す。

【０２４２】図１７は本実施形態に係るデバッグ装置の
構成を示すブロック図である。

【０２４３】同図に示すように、本デバッグ装置の構成
は図３に示す構成に、関数分類部１７０１及び関数分類
規則格納部１７０３を付加して成り立つ。但し図１７は
本デバッグ装置の構成の主要部を示したものであり、図
３の構成と同様な箇所については記載を省略しているも
のもある。また図１７において図３の構成と同等の部分
については図３の場合と同一番号を付し、以下の説明に
おいては当該共通部分については機能の説明を省略す
る。

【０２４４】関数分類部１７０１は、図１８にその概念
が示されるように、ターゲットプログラム３中で定義さ
れた任意の関数（手続きを含む）を、例えば着目関数又
は非着目関数のいずれかに分類する機能を有する。この
場合、デバッグ作業者から特に関数分類の指示が与えら
れない限り、デフオルトでは関数分類規則格納部１７０
３に格納されている関数分類規則を用いて分類が行われ
る。

【０２４５】関数分類規則の例としては、 ・ターゲットプログラムで定義された関数を全て着目関
数とする。

【０２４６】・関数名に特定の文字列を含む物のみを着
目関数とする。

【０２４７】・オブジェクト指向プログラミング言語を
対象としている場合、デバッグ作業者に指定されたクラ
スのクラスメソッド及びインスタンスメソッドのみを着
目関数とする。

【０２４８】・オブジェクト指向プログラミング言語を
対象としている場合、デバッグ作業者に指定されたイン
スタンスのインスタンスメソッドのみを着目関数とす
る。

【０２４９】等が挙げられる。デバッグ作業者は、これ
らの規則のいずれを採用するかを選択することや新しい
規則を設けることができる。

【０２５０】これに応じて、スレッド分類規則には、新
しく、 ・着目関数に実行が移ったスレッドを着目スレッドとす
る。

【０２５１】・非着目関数に実行が移ったスレッドを非
着目スレッドとする。

【０２５２】等の規則を加える。

【０２５３】更にデバッグ作業者が、例えばスレッド別
デバッグコマンド『Ｓｔｅｐ Ｉｎ』をあるスレッドに
与えたとき、そのスレッドが着目関数から、非着目関数
を呼び出すことになった場合には、デバッグ装置１側で
は、このコマンドを『Ｓｔｅｐ Ｏｖｅｒ』コマンドと
解釈して、非着目関数内部のステップ実行を行わないよ
うにすることもできる。

【０２５４】なお、以上の説明においては、モジュール
として関数を例にとり説明したが、モジュールたり得る
他の要素、例えば、クラス、メソッド、サブルーチン等
を対象としても同様の技術思想を適用することが可能で
ある。

【０２５５】以上説明したように、本実施形態に係るデ
バッグ装置によれば、プログラムに含まれる各モジュー
ルを着目形態に応じて分類し、この着目形態に応じてデ
バッグ制御するので、細かいデバッグ制御が可能とな
る。従って、第１の実施形態の場合のスレッド分類規則
と本実施形態の場合の関数分類規則とを適切に対応付け
ることによれば、第１の実施形態の場合にデバッグ作業
者にかかる手間を減らし、デバッグにおける利便性を一
層増すことが可能となる。

【０２５６】（第３の実施形態）次に、本発明の更に別
の実施形態について説明する。

【０２５７】本実施形態においては、ターゲットプログ
ラム３の自動テスト実行装置の実現例を述ベる。

【０２５８】図１９は本実施形態に係る自動テスト装置
の構成を示すブロック図である。

【０２５９】同図に示すように、本テスト装置の構成は
図３に示す構成に、テストパターン生成部１９０１及び
デバッグログ記録部１９０３を付加して成り立つ。但し
図１９は本テスト装置の構成の主要部を示したものであ
り、図３の構成と同様な箇所については記載を省略して
いるものもある。また図１９において図３の構成と同等
の部分については図３の場合と同一番号を付し、以下の
説明においては当該共通部分については機能の説明を省
略する。

【０２６０】デバッグログ記録部１９０３では、作業者
２０の入力した各種デバッグコマンド、スレッドの分
類、ターゲットプログラム３の状態等の時系列情報（シ
ナリオ）を記録する。これに加えてデバッグログ記録部
１９０３では更に、記録している各シナリオごとに、タ
ーゲットプログラム３の振る舞いにバグが含まれてるい
るか否かを作業者に判定させ、その判定結果を記録する
こともできる。

【０２６１】テストパターン生成部１９０１では、デバ
ッグログ記録部１９０３に記録された情報を基に、作業
者２０によって実行の行われたスレッド制御のタイミン
グとは異なるタイミングでスレッドの動作を制御するよ
うなテストパターンを自動生成する。

【０２６２】作業者２０の入力するデバッグコマンドに
代えて、テストパターン生成部１９０１で作られたテス
トパターンをデバッグ装置１に与えることにより、テス
トの自動実行を行うことができる。又、作業者２０によ
って実行の行われたスレッド実行のタイミングと同じタ
イミングでスレッドの動作を制御すれば、作業者が過去
に行った作業を再生することができる。そして、この再
生の終了した後、又は、再生を途中で中断した後、作業
者２０は、テスト作業を続行し、記録されたタイミング
とは異なる新たなスレッド実行のタイミングでスレッド
の動作を制御して手動でテストを行うこともできる。

【０２６３】本実施形態に係るテスト装置を用いた場合
の最大の特徴は、スレッド実行のタイミングを、テスト
の自動実行の都度完全に制御できる点にある。

【０２６４】自動テスト実行についての具体的な実現方
法については、例えば同一出願人による特願平９−２８
８２００号公報に開示された技術思想を用いることが可
能である。

【０２６５】即ち、プログラムをテスト動作させ、その
実行の際のログ（実行された文とその順序、外部からの
入力、外部への出力等の情報）を取り出し、この実行の
ログからプログラム動作として起こり得るものであって
もとの動作とテストの判定が異なる可能性のある動作を
発見させる。この発見をさせるために、プログラムを観
察有界と捉え、観察有界なプログラムでは与えられた具
体的シナリオを入出力の制約として解くことにより非決
定的な動作を総て網羅できる点を利用して膨大な量のシ
ナリオの中から対象を限定させる。

【０２６６】このような自動テスト装置に対して本実施
形態に係る技術的思想を適用すれば、例えばデバッグロ
グ記録部１９０３に記録されたデバッグ情報を上記の自
動テスト装置のテスト対象として用いることにより、デ
バッグ装置上でデバッグ実行された場合の各処理間の動
作のタイミングと異なるタイミングで該各処理を動作さ
せる動作過程を生成させ、結果として並列プログラムの
実行のタイミングを制御した上でテストの自動実行をす
ることが可能となる。

【０２６７】また自動テスト本来の、冗長なシナリオを
除いた効率の良いテストを並列プログラムの実行の微妙
なタイミングの制御を行いつつ実現することができる。

【０２６８】以上詳述したように、本実施形態のテスト
装置によれば、並列プログラムの実行を作業者の希望す
る順序で実行することが可能となり、従って作業者は、
タイミングに起因するバグの再現を常に行うことができ
るようになる。

【０２６９】従って本実施形態のテスト装置によれば、
テスト、特に並列プログラム、例えばマルチスレッドの
プログラムのテストにおいて、微妙なタイミングの設定
を行うことが可能となる。

【０２７０】従って本実施形態のテスト装置によれば、
効率的なテストを行うことが可能となる。

【０２７１】なお、本発明は、上述した実施形態には限
定されず、本発明の技術思想の範囲内で様々な変形が可
能である。

【０２７２】例えば、上述した実施形態では、本発明の
技術思想を具現化する対象としてデバッグ装置およびテ
スト装置を例にとり説明したが、例えば同様のデバッグ
機能をコンピュータに果たさせるようなプログラムを技
術思想の具現化対象とすることも可能である。

【０２７３】また、上述した実施形態においては、並列
プログラムとしてマルチスレッドプログラムを例にと
り、このプログラムをデバッグする場合について説明し
たが、並列プログラムとしてマルチプロセスプログラ
ム、マルチタスクプログラム等を用いても本発明の技術
思想を適用することが可能である。

【０２７４】また、上述した実施形態においては、デバ
ッグ対象の並列プログラム、例えばマルチスレッドプロ
グラムのスレッドをスレッド分類部が、着目スレッド及
び非着目スレッドのいずれかに分類するとともに、同対
象スレッドを排他実行スレッド、同時実行スレッド、継
続実行スレッドのいずれかに分類する場合を説明した。
しかしスレッド分類部はこの２種類の分類を常に同時に
しなければならないものではなく、どちらか一方の分類
を行うようにしても本発明の技術思想は適用できる。さ
らには、分類態様自体が着目・実行分類に限られるもの
でなく、他の分類態様を採用することによってもよい。

【０２７５】また、実行属性／着目属性に応じた実行・
停止の対応関係を律する実行規則／着目規則は図６の場
合を例として説明したが、同図以外の実行規則／着目規
則を採用する場合であってももとより本発明の技術思想
は適用可能である。

【０２７６】また上述した実施形態では、排他実行スレ
ッドは表示スレッドとされる論理を背景としたが、他の
論理を背景にする場合であっても本発明の技術思想は適
用可能である。表示規則についても同様に、上述した実
施形態の場合に限定されるものではない。

【０２７７】また上述した実施形態では、実際には起こ
り得ないタイミングでのプログラム実行を防止するため
に本来のスレッドの挙動をエミュレートするべく、スケ
ジューラ部が参照すべき各処理（例えばスレッド）の状
態指標として「優先度の高いスレッドが停止していると
きは、より低い優先度に係るスレッドの実行は行わな
い」を例にとり説明したが、状態指標としては本来のス
レッドの挙動を表すものであれば総て本発明の技術思想
の適用対象となり得る。

【０２７８】また上述した実施形態では、モジュール
（例えば、関数）の着目属性による分類を考慮して処理
（例えば、スレッド）を分類させる規則として「着目関
数に実行が移ったスレッドを着目スレッドとし、非着目
関数に実行が移ったスレッドを非着目スレッドとする」
を例にとり説明したが、当該分類規則としてはこの例の
場合に限定されるものでなく、他の分類規則であっても
もとより本発明の技術思想は適用可能である。

【０２７９】また上述した実施形態では、プログラムの
動作過程として各種デバッグコマンド及びターゲットプ
ログラムの状態等の時系列情報（シナリオ）を例にとり
説明したが、動作過程はここで挙げたものに限定される
ものでなく、プログラムの実行手順や挙動などを含めた
動作過程たる概念に対して、本発明の技術思想は適用可
能である。

【０２８０】さらには上述した実施形態では、特定の処
理（例えば、スレッド）ごとに設けられたウインドウに
表示された処理単位（例えば、スレッド中のプログラ
ム）を特定する手段としてプルダウンボタンをクリック
する場合を例にとり説明したが、該特定手段はこの方法
に限定されるものでなく、他の特定手段、例えばキーボ
ードからの入力等を用いる場合においても、本発明の技
術思想は適用可能である。

【０２８１】また上述した実施形態では、特定指示の入
力によりウインドウ画面に表示される処理命令（例え
ば、関数）を呼出す論理軌跡として、当該関数が呼び出
された論理的な履歴を例にとり説明したが、論理軌跡は
このような履歴に限らず、当該処理命令が実行されるた
めのプログラム上の手順を表現するもの一般に対して本
発明の技術思想を適用することが可能である。

【０２８２】

【発明の効果】以上詳述したように、請求項１及び２５
記載の本発明では、デバッグ対象のプログラムに含まれ
る逐次実行単位のデバッグにあたり、特定の逐次実行単
位のみを対象として制御するので、逐次実行単位間の実
行のタイミングを任意に定めることが可能となる。

【０２８３】請求項２及び２６記載の本発明では、特定
動作手段がプログラムに含まれる逐次実行単位の内、特
定の逐次実行単位のみについて実行を停止させるように
制御するので、逐次実行単位間の実行の再開又は停止の
タイミングを任意に定めることが可能となる。

【０２８４】請求項３及び２７記載の本発明では、請求
項１及び２記載の発明の作用に加えて、プログラムに含
まれる各逐次実行単位を被制御形態に応じて分類し、こ
の分類情報に適応的にデバッグ装置は制御を行うので、
並列プログラムのデバッグ効率を高めることが可能とな
る。

【０２８５】請求項４及び２８記載の本発明では、請求
項３記載の発明の作用に加えて、プログラムに含まれる
各逐次実行単位の分類を分類のための規則に基づいて行
い、この分類規則をデバッグ作業者が任意に更新できる
ので、並列プログラムの特定逐次実行単位について制御
させる動作がより機動的になる。

【０２８６】請求項５及び２９記載の本発明では、請求
項３及び４記載の発明の作用に加えて、分類情報として
逐次実行単位の被制御形態に関する情報を用いるので、
より効率のよいデバッグを行うことが可能になる。

【０２８７】請求項６及び３０記載の本発明では、請求
項３及び４記載の発明の作用に加えて、分類情報として
逐次実行単位の着目形態に関する情報を用いるので、デ
バッグ制御において着目性に適応させた制御を行うこと
により、より効率のよいデバッグを行うことが可能にな
る。

【０２８８】請求項７及び３１に係る本発明では、請求
項３及び４記載の発明の作用に加えて、分類情報として
逐次実行単位の表示形態に関する情報を用いるので、デ
バッグ制御において表示性に適応させた制御を行うこと
により、より効率のよいデバッグを行うことが可能にな
る。

【０２８９】請求項８及び３２記載の本発明では、デバ
ッグを制御する指示として、複数の逐次実行単位のうち
特定の逐次実行単位のみを対象とする特定制御指示と、
デバッグ対象のプログラム全体を対象とする一般制御指
示とを含んで構成されるので、デバッグ制御を細かく指
示することができ、より効率の良いデバッグを行うこと
が可能になる。

【０２９０】請求項９及び３３記載の本発明では、デバ
ッグ対象のプログラムを構成する複数の逐次実行単位の
うち特定の逐次実行単位とを対象としてそれぞれの分類
に適応的にデバッグ制御がされるので、逐次実行単位の
分類を変えればデバッグ時の挙動を変えることができ、
従ってより効率の良いデバッグを行うことが可能にな
る。

【０２９１】請求項１０及び３４記載の本発明では、一
般制御指示が入力された場合、デバッグ対象のプログラ
ムの構成要素のうち実行または停止中の排他的逐次実行
単位及び並立的逐次実行単位のみについて実行または再
開させるように動作するので、プログラム全体に対する
制御指示を行う際に、デバッグ作業者が逐次実行単位に
対して１つ１つ制御指示を与えなければならない事態が
回避され、デバッグ作業における手間を省くことが可能
となる。

【０２９２】請求項１１及び３５記載の本発明では、特
定制御指示が入力された場合、デバッグ対象のプログラ
ムの構成要素のうち実行中の総ての並立的逐次実行単位
及び排他的逐次実行単位のうち特定制御指示入力手段に
よって指定された逐次実行単位の実行を停止または再開
するように動作するので、逐次実行単位ごとの詳細な制
御指示を行うことにより、他の排他的逐次実行単位の実
行を停止させる間に微妙なタイミングの設定をすること
が可能となる。

【０２９３】請求項１２及び３６記載の本発明では、請
求項９記載の発明の作用に加えて、逐次実行単位の状態
指標をデバッグ制御に反映させるので、デバッグ対象の
プログラムを、デバッグ装置を介さないで実行する際に
は起こり得ないタイミングの実行が回避され、さらに効
率的なデバッグが可能となる。

【０２９４】請求項１３及び３７記載の本発明では、制
御指示入力手段に特定の逐次実行単位を対象として第１
の単位実行指示が入力されたときに次に実行すべき命令
が内在的停止命令である場合には特定の逐次実行単位を
実行停止状態とし、該制御指示入力手段に第２の単位実
行指示が入力されると次の命令を実行可能な状態にする
ように制御するので、第１の単位実行指示と第２の単位
実行指示との間に他の排他的逐次実行単位を実行するこ
とにより微妙なタイミングの設定をすることが可能とな
る。

【０２９５】請求項１４及び３８記載の本発明では、プ
ログラムに含まれる各モジュールを、着目属性に応じて
分類し、特定の着目属性を持つモジュールに含まれる命
令群総てをプログラムの実行の際に同一に扱うように制
御するので、該プログラムに含まれるモジュールをその
被着目度に応じて適切に取り扱うことが可能となる。

【０２９６】請求項１５及び３９記載の本発明では、請
求項１４記載の発明の作用に加えて、分類手段が、プロ
グラムに含まれる各モジュールに対する分類規則を用い
て前記各モジュールを分類する手段と、変更指示に基づ
いてその分類を更新する手段とを具備するので、そのモ
ジュールの属性をデバッグ作業者が変更することが可能
となり、より効率的なデバッグが可能となる。

【０２９７】請求項１６及び４０記載の本発明では、着
目しないモジュールで定義された命令群、例えば関数、
メソッド、手続き等の中に入り込むような『ＳＴＥＰ
ＩＮ』命令は、当該命令群全体をひとかたまりに実行し
てしまう『ＳＴＥＰ ＯＶＥＲ』命令と解釈するので、
着目の対象でないモジュールに対する容易な実行制御が
可能となる。

【０２９８】請求項１７及び４１記載の本発明では、プ
ログラムに含まれる各モジュールを分類し、このモジュ
ールの分類を考慮して逐次実行単位を分類し、この各逐
次実行単位の分類に適応させてデバッグ制御を行うの
で、請求項１及び２に係る本願発明の目的とするところ
及び請求項１５に係る本願発明の目的とするところを同
時に達成すること、即ち、着目の対象でないモジュール
に対する容易な実行制御が可能となると同時に、モジュ
ールの着目属性を逐次実行単位の分類に反映させた上で
逐次実行単位間の実行のタイミングを任意に定めること
が可能となる。

【０２９９】請求項１８及び４２記載の本発明では、デ
バッグログ手段に記録されたデバッグ情報を用いること
により、デバッグ装置上でデバッグ実行された場合の各
逐次実行単位間の動作のタイミングと同じ、又は異なる
タイミングで該各逐次実行単位を動作させる動作過程を
生成するので、例えばデバッグ作業者に提示することで
プログラムに含まれる問題発見が容易になる。

【０３００】請求項１９及び４３記載の本発明では、請
求項１８記載の発明の作用に加えてさらに、請求項１８
記載の発明によって生成された動作過程を自動実行し、
その結果とデバッグ情報とを比較する手段を備えるの
で、効率的な自動テストが可能となる。

【０３０１】請求項２０及び４４記載の本発明では、デ
バッグ対象のプログラムに含まれる並列して実行される
複数の逐次実行単位を属性に応じて分類し、該逐次実行
単位ごとに設けられたウインドウに特定の属性を持つ逐
次実行単位の動作状態を表示し、該ウインドウごとに、
制御指示が入力されるように構成するので、並列プログ
ラムのデバッグの動作状態を並列的に可視化することが
可能となり、より効率的なデバッグが可能となる。

【０３０２】請求項２１及び４５記載の本発明では、請
求項２０記載の発明の作用に加えて、デバッグ対象のプ
ログラム実行中の逐次実行単位の増減及び逐次実行単位
の分類の変化に対応させてウインドウが増減されるの
で、逐次実行単位の状態をより反映させたデバッグを行
うことができ、より効率的なデバッグが可能となる。

【０３０３】請求項２２及び４６記載の本発明では、デ
バッグ対象のプログラム全体に対する第１の制御指示を
入力するための手段と、デバッグ対象のプログラムに含
まれる並列して実行される複数の逐次実行単位を分類
し、該逐次実行単位ごとに設けられたウインドウに、特
定の属性の対応する逐次実行単位の動作状態と、該ウイ
ンドウに対応する逐次実行単位のみを対象とする第２の
制御指示を入力するための手段とを併有させることによ
り、より効率的なデバッグが可能となる。

【０３０４】請求項２３及び４７記載の本発明では、逐
次実行単位ごとのウインドウ画面内で逐次実行単位の実
行状況に適応させた前記第２の制御指示を入力する手段
のための表示を行うので、効率のよいデバッグが可能と
なる。

【０３０５】請求項２４及び４８記載の本発明では、デ
バッグ対象のプログラムに含まれる並列して実行される
複数の逐次実行単位のうち特定の逐次実行単位ごとに可
視的に設けられたウインドウごとに、該特定の逐次実行
単位が実行中のモジュールもしくは命令群を表示させ、
更に、そのウインドウに前記関数を呼出す論理軌跡を表
示するので、並列プログラムのデバッグの動作状態を並
列的に可視化し、デバッグ対象のプログラムの働きを理
解する助けとなる。

【０３０６】以上から、本発明の構成によれば、例えば
複数のスレッドの実行を、デバッグ作業者の希望する順
序で実行制御することが可能となり、従ってデバッグ作
業者は、タイミングに起因するバグの再現を常に行うこ
とができるようになる。

【０３０７】従って、並列プログラム、例えばマルチス
レッドプログラムをデバッグするユーザは、スレッド間
の実行を任意の順序でステップ実行することが可能とな
り、これによって、従来のデバッグ装置では再現するこ
とが困難であったプログラム中の誤りを非常に効率良く
デバッグすることができるようになる。

【図面の簡単な説明】

【図１】本発明の一実施形態に係り、デバッグ装置の用
いられる環境を示す概念図である。

【図２】本発明の一実施形態に係り、マルチスレッドプ
ログラムのデバッグ装置の構成を示す概念図である。

【図３】本発明の一実施形態に係り、マルチスレッドプ
ログラムのデバッグ装置の構成を、デバッグ作業者及び
ターゲットプログラムとの関係において示した概念図で
ある。

【図４】本発明の一実施形態に係り、デバッグコマンド
の種別を表した図である。

【図５】本発明の一実施形態に係り、スレッド分類部及
びスレッド表示部の働きを説明するための概念図であ
る。

【図６】本発明の一実施形態に係り、一般／スレッド別
デバッグコマンドを与えられた排他実行／同時実行／継
続実行スレッド別の振る舞いの対応関係を示す概念図で
ある。

【図７】本発明の一実施形態に係り、デバッグ装置の動
作を示すフローチャートである。

【図８】本発明の一実施形態に係り、デバッグ装置の動
作を示すフローチャートである。

【図９】本発明の一実施形態に係り、デバッグ装置の動
作を示すフローチャートである。

【図１０】本発明の一実施形態に係り、デバッグ装置の
動作を示すフローチャートである。

【図１１】本発明の一実施形態に係り、デバッグ装置の
動作を示すフローチャートである。

【図１２】本発明の一実施形態に係るデバッグ装置の画
面を表す概念図である。

【図１３】本発明の一実施形態に係り、一般コントロー
ルパネルを示す概念図である。

【図１４】本発明の一実施形態に係るデバッグ装置の画
面を表す概念図である。

【図１５】本発明の一実施形態に係るデバッグ装置の画
面を表す概念図である。

【図１６】本発明の一実施形態に係るデバッグ装置の画
面を表す概念図である。

【図１７】本発明の一実施形態に係り、マルチスレッド
プログラムのデバッグ装置の構成を示す概念図である。

【図１８】本発明の一実施形態に係り、関数分類に関し
て説明するための概念図である。

【図１９】本発明の一実施形態に係り、マルチスレッド
プログラムのテスト装置の構成を示す概念図である。

【図２０】従来のデバッグ装置の画面を概念的に表した
図である。

【符号の説明】

１ デバッグ装置 １０１ ＣＰＵ １０７ 記憶装置 １０９ ターゲットプログラム読み込み部 １１１ ターゲットプログラム実行部 １１３ ターゲットプログラム停止部 １１５ 排他的スレッド実行機構 １１７ スケジューラ部 １２１ スレッド分類部 １２３ スレッド分類規則格納部 １２５ デバッグコマンド表示部 １２７ デバッグコマンド入力部 １２９ スレッド表示部 １３１ スレッド表示規則格納部 １２０１ スレッドトレースウインドウ １２０２ スレッドコントロール部 １４０４ スタックフレーム選択表示部 １４０５ スレッド別デバッグコマンド指示部 １７０１ 関数分類部 １７０３ 関数分類規則格納部 １９０１ テストパターン生成部 １９０３ デバッグログ記録部

Claims (48)

【特許請求の範囲】
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. 【請求項２６】 前記対象特定制御手段が、デバッグ制
    御の対象となる特定の逐次実行単位のみについて実行の
    再開または停止を行わせる手段をさらに具備することを
    特徴とする請求項２５記載の記録媒体。
27. 【請求項２７】 前記対象特定制御手段は、 前記各逐次実行単位の分類を指定するための手段と、 前記指定された分類を表す分類情報を入力するための手
    段と、 前記入力された分類情報に従ってデバッグ制御を行う手
    段とを具備することを特徴とする請求項２５または２６
    記載の記録媒体。
28. 【請求項２８】 前記対象特定制御手段は、 前記各逐次実行単位の分類のための規則を記録する手段
    と、 前記記録された規則を用いて前記各逐次実行単位の初期
    の分類を定める手段と、 前記分類を変更するための手段とをさらに具備すること
    を特徴とする請求項２７記載の記録媒体。
29. 【請求項２９】 前記分類情報は、 前記逐次実行単位を制御する形態に関する情報であるこ
    とを特徴とする請求項２７または２８記載の記録媒体。
30. 【請求項３０】 前記分類情報は、 前記逐次実行単位についてデバッグ作業者が着目する程
    度に関する情報であることを特徴とする請求項２７また
    は２８記載の記録媒体。
31. 【請求項３１】 前記分類情報は、 前記逐次実行単位の状態を表示させる形態に関する情報
    であることを特徴とする請求項２７または２８記載の記
    録媒体。
32. 【請求項３２】 並列して実行される逐次実行単位を含
    むデバッグ対象プログラムの状態を制御する指示を入力
    するための手段がコンピュータを機能させるためのプロ
    グラムとして記録され、 前記指示は、 前記デバッグ対象プログラムの状態のうち、特定の逐次
    実行単位に関する実行状態のみを対象とする特定制御指
    示と、 前記デバッグ対象プログラムの状態全体を対象とする一
    般制御指示とを含むことを特徴とする記録媒体。
33. 【請求項３３】 デバッグ対象プログラムの状態全体を
    対象とする制御を行うための制御指示を入力する一般制
    御指示入力手段と、 前記デバッグ対象プログラムに含まれる特定の逐次実行
    単位を対象として、該逐次実行単位の実行状態の制御を
    行うための制御指示を入力する特定制御指示入力手段
    と、 前記デバッグ対象プログラムに含まれる各逐次実行単位
    を分類する分類手段と、 前記一般制御指示入力手段もしくは特定制御指示入力手
    段に前記デバッグ対象プログラムの状態を制御するため
    の指示が入力された場合には、前記分類手段による分類
    に基づく制御情報に従って前記デバッグ対象プログラム
    の状態の制御を行う制御手段とをコンピュータを機能さ
    せるためのプログラムとして記録した記録媒体。
34. 【請求項３４】 デバッグ対象のプログラムの状態全体
    を対象とする制御を行うための制御指示を入力する一般
    制御指示入力手段と、 前記デバッグ対象プログラムに含まれる各逐次実行単位
    を、被制御形態に基づいて排他的逐次実行単位、並立的
    逐次実行単位及び継続的逐次実行単位のいずれかに分類
    する分類手段と、 前記一般制御指示入力手段に逐次実行単位の実行を停止
    する指示が入力された場合には、前記分類手段により排
    他的逐次実行単位及び並立的逐次実行単位に分類された
    逐次実行単位のうち実行中の逐次実行単位の実行を停止
    する停止手段と、 前記一般制御指示入力手段に逐次実行単位の実行を再開
    する指示が入力された場合には、前記分類手段により排
    他的逐次実行単位及び並立的逐次実行単位に分類された
    逐次実行単位のうち停止された逐次実行単位の実行を再
    開する再開手段とをコンピュータを機能させるためのプ
    ログラムとして記録した記録媒体。
35. 【請求項３５】 デバッグ対象のプログラムを構成する
    逐次実行単位のうち特定の逐次実行単位を対象として、
    該逐次実行単位の実行状態の制御を行うための制御指示
    を入力する特定制御指示入力手段と、 前記デバッグ対象のプログラムに含まれる各逐次実行単
    位を、被制御形態に基づいて排他的逐次実行単位、並立
    的逐次実行単位及び継続的逐次実行単位のいずれかに分
    類する分類手段と、 前記特定制御指示入力手段に逐次実行単位の実行を停止
    する指示が入力された場合には、前記分類手段により並
    立的逐次実行単位に分類された逐次実行単位のうち実行
    中の総ての逐次実行単位及び前記分類手段により排他的
    逐次実行単位に分類された逐次実行単位のうち前記特定
    制御指示入力手段によって第１の指定がされた逐次実行
    単位の実行を停止する停止手段と、 前記特定制御指示入力手段に逐次実行単位の実行を再開
    する指示が入力された場合には、前記分類手段により並
    立的逐次実行単位に分類された逐次実行単位の総て、及
    び排他的逐次実行単位に分類された逐次実行単位のうち
    前記特定制御指示入力手段によって第２の指定がされた
    逐次実行単位の実行を再開する再開手段とをコンピュー
    タを機能させるためのプログラムとして記録した記録媒
    体。
36. 【請求項３６】 前記制御手段は、 前記デバッグ対象プログラムに含まれる各逐次実行単位
    の状態指標に対応させて該逐次実行単位の実行状態の制
    御を行う手段を具備することを特徴とする請求項３３記
    載の記録媒体。
37. 【請求項３７】 内在的停止命令を含む命令群を逐次実
    行する特定の逐次実行単位を含むプログラムのデバッグ
    を行うためのプログラムが記録された記録媒体におい
    て、 前記特定の逐次実行単位に対する単位実行指示を入力す
    るための特定制御指示入力手段と、 前記特定制御指示入力手段に第１の単位実行指示が入力
    されたときに前記特定の逐次実行単位が次に実行すべき
    命令が前記内在的停止命令である場合には前記特定の逐
    次実行単位を実行停止状態とし、前記特定制御指示入力
    手段に前記実行停止状態とされた逐次実行単位に対して
    の第２の単位実行指示が入力されると該逐次実行単位が
    前記内在的停止命令の次の命令を実行可能な状態にする
    手段とをコンピュータを機能させるためのプログラムと
    して記録した記録媒体。
38. 【請求項３８】 命令群を有するモジュールが定義され
    るデバッグ対象のプログラムに含まれる各モジュールを
    着目形態において分類する分類手段と、 前記分類手段による着目形態に応じたデバッグ制御を行
    う手段とをコンピュータを機能させるためのプログラム
    として記録した記録媒体。
39. 【請求項３９】 前記分類手段は、 前記モジュールを分類のための規則を用いて分類する手
    段と、 外部からの指示を入力するための手段と、 前記入力された指示に基づいて前記モジュールの分類を
    更新する手段とを具備することを特徴とする請求項３７
    記載の記録媒体。
40. 【請求項４０】 デバッグ対象のプログラム内のモジュ
    ールで定義される命令群に対する単位実行指示が入力さ
    れる制御指示入力手段と、 前記各モジュールを着目属性に応じて着目モジュール及
    び非着目モジュールに分類する分類手段と、 前記制御指示入力手段に前記非着目モジュール内で定義
    された命令群への単位実行指示が入力された場合には該
    命令群全体を実行する手段とをコンピュータを機能させ
    るためのプログラムとして記録した記録媒体。
41. 【請求項４１】 デバッグ対象のプログラムに含まれる
    並列して実行される逐次実行単位が実行する一、又は、
    複数の命令群を有するモジュールを分類するモジュール
    分類手段と、 前記各逐次実行単位を、前記モジュール分類手段による
    分類を考慮して定められる分類規則に基づいて前記デバ
    ッグ対象プログラムの実行時に動的に分類する逐次実行
    単位分類手段と、 前記逐次実行単位分類手段による分類情報に従ってデバ
    ッグ制御を行う手段とをさらに具備することを特徴とす
    る請求項２５または２６記載の記録媒体。
42. 【請求項４２】 並列して実行される逐次実行単位を含
    むデバッグ対象プログラムの動作を制御するための第１
    の制御指示群を記録する手段と、 前記制御指示群に従って前記デバッグ対象プログラムの
    動作を制御することで得られる前記デバッグ対象プログ
    ラムの第１の動作過程を記録する動作過程記録手段と、 前記動作過程記録手段に記録された第１の動作過程と同
    じ、又は、異なる動作をするように該各逐次実行単位を
    制御する第２の制御指示群を生成する手段とをコンピュ
    ータを機能させるためのプログラムとして記録した記録
    媒体。
43. 【請求項４３】 前記生成された第２の制御指示群に従
    って前記デバッグ対象プログラムの動作を制御する手段
    と、 前記実行によって得られる第２の動作過程と前記第１の
    動作過程とを比較する手段とをさらに具備することを特
    徴とする請求項４２記載の記録媒体。
44. 【請求項４４】 デバッグ対象のプログラムに含まれる
    並列して実行される逐次実行単位を属性に応じて分類す
    る分類手段と、 前記分類手段により特定の属性を持つと分類される逐次
    実行単位の動作状態を、該逐次実行単位ごとに設けられ
    たウインドウに表示する手段と、 前記ウインドウごとに、該ウインドウに対応する逐次実
    行単位のみを対象とする第１の制御指示を入力するため
    の手段と、 前記デバッグ対象プログラム全体を対象とする第２の制
    御指示を入力するための手段とをコンピュータを機能さ
    せるためのプログラムとして記録した記録媒体。
45. 【請求項４５】 実行中の逐次実行単位の増減及び前記
    分類手段による逐次実行単位の分類の変化に対応させて
    前記ウインドウを前記デバッグ対象プログラムの実行時
    に動的に増減させる手段をさらに具備することを特徴と
    する請求項４４記載の記録媒体。
46. 【請求項４６】 デバッグ対象のプログラムに含まれる
    並列して実行される逐次実行単位を分類する手段と、 前記逐次実行単位ごとに設けられたウインドウに該逐次
    実行単位の動作状態を前記分類に適応させて可視的に表
    示する手段と、 前記デバッグ対象プログラム全体を対象とする第１の制
    御指示を入力するための手段と、 前記ウインドウごとに該ウインドウに対応する逐次実行
    単位のみを対象とする第２の制御指示を入力するための
    手段とをコンピュータを機能させるためのプログラムと
    して記録した記録媒体。
47. 【請求項４７】 デバッグ対象のプログラム内の並列実
    行される逐次実行単位ごとに設けられたウインドウ画面
    内に、 前記逐次実行単位に対する前記第２の制御指示を入力す
    るための手段のための表示を該逐次実行単位の実行状態
    に適応させて行う手段をコンピュータを機能させるため
    のプログラムとして記録した記録媒体。
48. 【請求項４８】 前記逐次実行単位ごとに設けられたウ
    インドウ画面ごとに、 前記逐次実行単位が実行中のモジュールもしくは命令群
    を表示する手段と、 該ウインドウに前記モジュールを構成する命令群を呼出
    す論理軌跡を表示する手段とをさらに具備することを特
    徴とする請求項４７記載の記録媒体。