JPH05342052A - デバッグ方式 - Google Patents

Abstract

(57)【要約】 【目的】論理型言語処理系のデバッグにおいて、述語ご
とに定義されている節に中断点を設定することにより、
節単位に実行を制御して迅速に詳細なデバッグ作業を行
えるようにする。 【構成】論理型言語処理系のプログラムデバッグ時に、
読み込んだソースプログラムを節の情報を格納した節構
造体を有する述語テーブル形式で述語ごとに記憶し、節
単位の中断点の設定要求に対して述語テーブルを参照し
て述語の節構成をソースプログラム形式で表示し、表示
されたソースプログラムから選択された節に対応する節
構造体に中断点を示すフラグを設定する。実行時には節
構造体を参照してフラグを検出すると実行を中断し実行
トレースを表示する。以上により、従来述語単位でしか
設定できなかった中断点が節単位にも設定でき、述語よ
り小さな単位である節ごとに詳細なデバッグ作業が迅速
に行える。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明はデバッグ方式に関し、特
に論理型言語処理系のプログラムデバッグのためにプロ
グラムに中断点を設定するデバッグ方式に関する。

【０００２】

【従来の技術】従来、ＰＲＯＬＯＧのような論理型言語
処理系のデバッガでは、実行制御情報を表すモデルとし
て、Ｐｒｏｃｅｄｕｒｅ ｂｏｘ ｃｏｎｔｒｏｌ ｆ
ｌｏｗモデル（図８）が多く用いられている。このモデ
ルでは、実行の最小単位は述語であり、述語に対するＣ
ＡＬＬ（述語の呼び出し）、ＥＸＩＴ（述語の成功）、
ＲＥＤＯ（バックトラックによる述語の再呼び出し）、
ＦＡＩＬ（述語の失敗）の４つのゲートを介して、実行
がどのように行われているかを実行トレース情報として
表示している。このため、中断点の設定できる最小単位
も述語単位のみであった。

【０００３】例えば、図２に示すようなソースプログラ
ムを読み込んで、ｂ述語の２番目の節以降（２０４，２
０５）についてデバッグを行う場合には、節単位には中
断点が設定できないため、中断点設定用の組み込み述語
によりｂ述語に対して中断点を設定してプログラムを実
行する。

【０００４】まず、ｐ述語（２０１）を実行すると、ｐ
述語の呼び出し機能によってａ述語（２０２）が呼び出
され、ａ述語が成功する。この間の実行トレースの表示
は抑制される。続いて、ｂ述語の１番目の節（２０３）
を呼び出した時点で、プログラムの実行は中断され、図
９に示すようにｂ述語に対するＣＡＬＬの実行トレース
を表示し、コマンド入力待ちの状態となる。すなわち、
述語の呼び出しの先頭でプログラムの実行は中断され
る。実行トレース表示の左端の「＊」は、中断点で停止
したことを示している。

【０００５】次に、デバッガコマンドを入力してｂ述語
の１番目の節を実行させ、図１０に示すように、本体部
（ｆａｉｌ）の実行トレース表示を逐一確認しながら、
ｂ述語の２番目の節（２０４）の最初の本体部のｃ述語
を呼び出す時点まで進める。これで、実行トレース表示
を確認しながら目的の節が呼び出されたことになる。こ
こから、デバッガコマンドを入力することによって、目
的の節以降のより詳しいデバッグ作業を進めていた。

【０００６】

【発明が解決しようとする課題】上述したように、従来
のデバッグ方式では、述語単位での中断点の設定しかで
きなかったため、述語の２番目以降の節からデバッグを
行いたい場合でも、その述語の１番目の節の呼び出し時
点で停止させ、実行トレース表示を確認しながら目的の
節まで進める必要があり、実際にデバッグしようとする
節の位置に進むまでに時間と手間とを要するという問題
点があった。

【０００７】本発明の目的は、述語単位でなく任意の節
に中断点を設定でき、任意の節からデバッグ作業を効率
的に行えるデバッグ方式を提供することにある。

【０００８】

【課題を解決するための手段】本発明のデバッグ方式
は、論理型言語処理系のプログラムデバッグのためにプ
ログラムに中断点を設定するデバッグ方式において、読
み込んだソースプログラムを節の情報を格納した節構造
体を有する述語テーブル形式で述語ごとに記憶するプロ
グラム記憶手段と、節単位の中断点の設定要求に対し前
記述語テーブルを参照して述語の節構成をソースプログ
ラム形式で表示し、表示されたソースプログラムから選
択された節に対応する前記節構造体に中断点を示すフラ
グを設定するプログラム中断点設定手段と、プログラム
の実行時に前記節構造体を参照して前記フラグを検出す
ると実行を中断して実行トレースを表示する実行トレー
ス表示手段とを備えて構成されている。

【０００９】

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

【００１０】図１は本発明の一実施例における中断点設
定処理の手順を示すフローチャートである。以下、前述
した図２のソースプログラムのｂ述語の２番目の節に中
断点を設定する場合について、図１のフローチャートに
沿って説明する。

【００１１】まず、ファイルを読み込むための組み込み
述語を実行して、ソースプログラム（図２）をインタプ
リタ内部へ読み込む（ステップ１０１）。このとき、述
語ごとに読み込みが行われ、デバッグするための形式に
変換してインタプリタ内部の記憶領域に格納される。

【００１２】図３は記憶領域への格納形式を示す説明図
で、ｂ述語の例を示している。述語が読み込まれると、
まず述語テーブル３１０が生成される。その述語に節が
存在する場合には、節ごとに節構造体３２０，３３０を
作成し、述語テーブル３１０のポインタ部３１１に、１
番目の節の節構造体３２０へのポインタを設定する。各
節構造体３２０，３３０の最初の部分には、節の頭部
（図２の「：」の前の部分）に関する情報として、ポイ
ンタ部３２１，３３１には次の節の節構造体へのポイン
タが、フラグ部３２２，３３２には中断点が設定されて
いるか否かの情報が格納される。最後部の本体格納部３
２３，３３３には、各節の本体部（図２の「：」の後の
部分）に関する情報が格納される。なお、述語テーブル
３１０のフラグ部３１２には、従来と同じ述語単位での
中断点の設定情報が格納される。述語テーブル３１０が
作成された時点では、各フラグ部３１２，３２２，３３
２には初期値として０値を設定する（０値は中断点が設
定されていないことを意味する）。

【００１３】このようにして読み込んだプログラムは、
そのまま実行させると、インタプリタのもとで解釈され
中断することなく順次実行される。

【００１４】次に、中断点の設定操作を選択してデバッ
グコマンドを入力すると（ステップ１０２）、設定した
い中断点は従来からの述語単位であるか節単位であるか
の選択を要求する表示が出る（ステップ１０３）。ここ
で節単位の設定を選択すると（ステップ１０４）、図４
に示すソースプログラムを表示する述語名の入力画面が
表示され、中断点を設定する節の属する述語名の入力を
要求してくる（ステップ１０５）。そこで、中断点を設
定したい節の属する述語名「ｂ／０」を入力すると（ス
テップ１０６）、指定したｂ述語のソースプログラム
が、述語テーブル及び節構造体を参照して、図５に示す
ように表示される（ステップ１０７）。

【００１５】次に、中断点を設定したいと考えているｂ
述語のソースプログラムの２番目の節の頭部（図５中に
アンダーラインを付して示したｂ）を選択して指定する
（ステップ１０８）。デバッガはこの指定に対して、ま
ず述語名を基にｂ述語の述語テーブル３１０を検索し、
述語テーブル３１０から２番目の節の節構造体３３０を
見付け出し、そのフラグ部３３２に中断点を示す値（０
以外の整数値）を設定する（ステップ１０９）。そし
て、図５のソース表示のｂ述語の２番目の節の頭部のｂ
を反転表示する（ステップ１１０）。

【００１６】以上の操作によって、ｂ述語の２番目の節
に中断点が設定される。このプログラムを実行すると、
インタプリタは中断点が設定されているかどうかを確認
しながら節ごとに述語の評価を行っていき、中断点の設
定された節が呼び出されるとプログラムの実行を停止す
る。

【００１７】次に、節単位に設定した中断点で実行を中
断する処理について説明する。節に中断点を設定した
後、次の中断点まで停止しないコマンドでプログラムを
実行すると、インタプリタは、次に実行する節の節構造
体のフラグ部の値を取り出す。その値が中断点を示す
（０以外の値が設定されている）場合、その節を呼び出
した時点でその節の述語の評価に移らずに、実行トレー
スの表示をデバッグ情報として表示し、デバッガに移行
してデバッグコマンド入力持ちの状態になる。フラグ部
の値が中断点を示していなければ、実行トレースの表示
を行わず、プログラムの実行を停止せずにその節の実行
を継続していく。

【００１８】以上の内容を、先に節に中断点を設定した
図２のプログラムについて具体的に説明する。但し、デ
バッグのためにプログラムの先頭では実行トレースの表
示を行うように設定された状態で実行されるものとす
る。

【００１９】まず、先頭のｐ述語を実行すると、ｐ述語
の呼び出し時の実行トレースを図６のように画面に表示
した後、コマンド入力待ちとなる。

【００２０】ここで、中断点まで停止しないコマンドを
選択すると、ａ述語を呼び出す。ａ述語には中断点が設
定されていないので、中断することなく実行を進め、ａ
述語が成功しｂ述語の１番目の節を呼び出す。このと
き、ｂ述語の１番目の節の節構造体３２０のフラグ部３
２２は０値なので、停止せずに実行を進め本体部３２３
のｆａｉｌ述語（必ず失敗する組み込み述語）を呼び出
す。ｆａｉｌ述語には中断点が設定されていないので、
中断することなく実行を進めると失敗するが、続いてｂ
述語の２番目の節が呼び出される。このとき、ｂ述語の
２番目の節の節構造体３３０のフラグ部３３２には、中
断点を示す値が設定されているため、ｂ述語の２番目の
節の呼び出し時点で停止し、その実行トレースを表示し
コマンド入力待ちとなる（図７）。トレース表示の左端
の「＊」は中断点で停止したことを示す。

【００２１】目標としていた中断点でプログラムの実行
が停止したので、デバッガの機能を利用して、必要なデ
バッグ情報を収集する。更に、次の中断点までプログラ
ムの実行を進める場合には、上述の場合と同様に、中断
点まで停止しないコマンドを選択実行すればよい。

【００２２】このように、節単位に中断点が設定できる
ため、デバッグ対象を絞り込むことができ、より迅速に
細かなデバッグ作業を行うことが可能になる。

【００２３】

【発明の効果】以上説明したように、本発明のデバッグ
方式によれば、中断点の節への設定が可能となるので、
デバッグ作業に要する時間が短縮されると共に、述語よ
り小さな単位である節ごとに、より詳細なデバッグ作業
を容易に行うことができる効果がある。

【図面の簡単な説明】

【図１】本発明の一実施例における中断点設定処理を示
すフローチャートである。

【図２】デバッグ対象となるプログラムの例を示す説明
図である。

【図３】本実施例における述語テーブル及び節構造体の
説明図である。

【図４】本実施例におけるソースプログラム表示述語名
入力画面の説明図である。

【図５】本実施例におけるソースプログラム表示の節中
断点設定画面の説明図である。

【図６】本実施例における開始時の実行トレース表示画
面の説明図である。

【図７】本実施例における中断時の実行トレース表示画
面の説明図である。

【図８】論理型言語処理系の実行制御情報を表すモデル
図である。

【図９】従来方式における中断時の実行トレース表示画
面の説明図である。

【図１０】従来方式による中断後の節呼び出しまでの実
行トレース表示の説明図である。

【符号の説明】

３１０ 述語テーブル ３１１，３２１，３３１ ポインタ部 ３１２，３２２，３３２ フラグ部 ３２０，３３０ 節構造体 ３２３，３３３ 本体格納部

Claims (1)

【特許請求の範囲】
1. 【請求項１】 論理型言語処理系のプログラムデバッグ
   のためにプログラムに中断点を設定するデバッグ方式に
   おいて、読み込んだソースプログラムを節の情報を格納
   した節構造体を有する述語テーブル形式で述語ごとに記
   憶するプログラム記憶手段と、節単位の中断点の設定要
   求に対し前記述語テーブルを参照して述語の節構成をソ
   ースプログラム形式で表示し、表示されたソースプログ
   ラムから選択された節に対応する前記節構造体に中断点
   を示すフラグを設定するプログラム中断点設定手段と、
   プログラムの実行時に前記節構造体を参照して前記フラ
   グを検出すると実行を中断して実行トレースを表示する
   実行トレース表示手段とを備えたことを特徴とするデバ
   ッグ方式。