JPS63317826A - シンボリックデバッグ方式 - Google Patents

Abstract

(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。

Description

【発明の詳細な説明】 ［ａ業上の利用分野］ この発明は、高級言語におけるプログラムのシンボリッ
クデバッグ方式に関するものである。

［従来の技術］ 第８図は従来の全体構成を示したもので、（１）はＣＰ
Ｕ、（２）は端末装置、（３）はコンパイラ、リンケー
ジエディタ、デバッガ及びソースモジュール、オブジェ
クトモジュール、ロードモジュールを格納する外部メモ
リ、（３−１）はソースモジュールをオブジェクトモジ
ュールに変換するコンパイラ、（３−２）はオブジェク
トモジュールを１つの実行可能なロードモジュールに連
係編集するリンケージエディタ、（３−３）　はプログ
ラムに含まれている誤りを発見するためのデバッガ、（
４）は主メモリで、（４−１）は主メモリに常駐し、コ
ンパイラ（３−１）　、リンケージエディタ（３−２）
やデバッガ（３−３）などの実行に伴う様々なサービス
を行なうオペレーティングシステム（以後ｏｓと称す）
である。

例えば端末装置（２）からコンパイルの要求があフた場
合、０５（４−１）は外部メモリ（３）からコンパイラ
（３−１）を読み出し、主メモリ（４）上に割付はコン
パイラ（３−１）を実行させるものである。

ソースモジュールがロードモジュールに変換されるまで
の流れを第９図で説明する。ソースモジュール（５）は
外部メモリ（３）　にありて、コンパイラ（３−１）に
より翻訳され機械語から成るオブジェクトモジュール（
７）になり、このオブジェクトモジュル（７）は外部メ
モリ（３）に格納される。この時オブジェクトモジュー
ル（７）内に、ソースモジュール（５）で使用されてい
る変数テーブル（８）と文番号テーブル（９）が作成さ
れる。第３図（ａ）に示すように、変数テーブル（８）
は変数の名前と変数の型が整数か実数かなどを示す属性
とその変数の主メモリ（４）上で割付は位置の情報を有
し、また第３図（ｂ）に示すように、文番号テーブル（
９）は文番号と、ブレークポイント（プログラムの実行
を一旦停止させる指示）の有無などを示す属性と、文の
処理コードの先頭の主メモリ（４）上での割付は位置、
つまり文の開始位置の情報を有す。

第９図において、オブジェクトモジュール（７）はリン
ケージエディタ（３−２）により他のオブジェクトモジ
ュール（ｌＯ）と連係編集され、一つの実行可能なロー
ドモジュール（１２）となり、このロードモジュール（
１２）は外部メモリ（３）に格納される。

しかして、第８図において、このロードモジュール（１
２）をデバッグする要求が端末装置（２）からあった場
合、Ｏ５（４−１）はデバッガ（３−３）と指定された
ロードモジュールを主メモリ（４）上に割付はデバッガ
（３−３）を実行させる。ここで例えば端末装置（２）
から変数Ａの参照要求があった場合、デバッガ（３−３
）は変数テーブル（８）の変数Ａの情報を調べ変数の属
性と主メモリ（４）上の割付は位置より、データを読み
出し端末装置（２）の画面に表示させる。また、変数Ａ
のデータを書き換える要求があった場合も、デバッガ（
３−３）は変数テーブル（８）の変数Ａの属性を調べ、
入力された書き換えデータを変数Ａの型に合うように変
換し、変数Ａの割付けられている位置のデータを書き換
える。

［発明が解決しようとする問題点］ 従来の高級言語におけるシンボリックデバッグ方式は以
上のように変数の参照や変数のデータ書き換えなどのよ
うにプログラムの誤りを検出する機能は有していたが、
プログラムの誤りを修正する手段、つまりロードモジュ
ールの処理コードを書き換える手段が無かった。このた
め、誤りを訂正するにはソースプログラムから修正し、
再厚翻訳、連係編集を実行しなければならず、時間の有
効利用ができなかった。

この発明は上記のような問題点を解消するためになされ
たもので、プログラムの誤り訂正を高級言語でも行い得
るシンボリックデバッグ方式を得ることを目的とする。

［問題点を解決するための手段］ この発明に係るシンボリックデバッグ方式は、記号から
構成された中間言語と、これを解釈して実行する中間言
語解釈プログラムを採用し、連係編集時中間言語解釈プ
ログラムを他のオブジェクトモジュールと結合させ、か
つロードモジュール内に中間言語格納エリアを設け、デ
バッグ時端末装置から人力される高級言語での誤り訂正
情報を中間言語に展開してこれを中間言語格納エリアに
格納し、訂正対象文の処理コードを、中間言語解釈プロ
グラムの呼び出し命令コードに書き換えるようにした。

［作用コ この発明によれば、プログラムの誤り訂正はソースモジ
ュールを記述した高級言語と同じ言語で行うことができ
る。

［実施例］ 以下、この発明の一実施例について説明する。

第１図はこの発明を示す全体構図である。（１）。

（２）　、　（３）　、　（３−１）　、　（３−２）
　、　（３−３）　、　（４）　、　（４−１）　は従
来と同じで、それぞれｃｐｕ、端末装置、外部メモリ、
コンパイラ、リンケージエディタ、デバッガ、主メモリ
、Ｏ５である。（３−４）は記号から構成された中間言
語を解釈して実行する中間言語解釈プログラムで外部メ
モリ（３）内に格納されである。

第２図はソースモジュールがロードモジュールに変換さ
れるまでの流れを従来技術の例と同じように示したもの
である。ソースモジュール（５）は外部メモリ（３）に
あって、従来と同様コンパイラ（３−１）により翻訳さ
れ、変数テーブル（８）と文番号テーブル（９）を含ん
だオブジェクトモジュール（７）が生成される。オブジ
ェクトモジュール（７）はリンケージエディタ（３−２
）により他のオブジェクトモジュール（ｌＯ）及び中間
言語解釈プログラム（３−４）　と連係編集され実行可
能なロードモジュール（１２）となり、外部メモリ（３
）へ格納される。この時リンケージエディタ（３−２）
はロードモジュール（１２）内に中間言語格納エリア（
１３）を設ける。中間言語格納エリア（１３）は第３図
（Ｃ）に示すように、エリアの先頭にバッチポインタ（
１３−１＞と呼ばれる中間言語格納エリアの空き領域の
先頭アドレスを示すデータがセットされである。

端末装置（２）からデバッグ要求があると、０５（４−
１）がデバッガ（３−３）　とロードモジュール（１２
）を主メモリ（４）上に割付はデバッガ（３−３）を実
行させる。

ここで端末装置（２）から誤り訂正要求があった場合、
第５図に示すような手順で誤り訂正が行われる。まずス
テップ（２０）で端末装置（２）から入力された、ソー
スモジュール（５）を記述している高級言語での誤り訂
正情報を文解析し、文法的に誤りが無いかをステップ（
２１）でチェックし、もし誤りがあればステップ（３１
）で端末装置（２）にエラーメツセージを表示させ終了
する。誤りが無い場合はステップ（２２）で誤り訂正情
報にある変数が変数テーブル（８）に登録されであるも
のかチェックし、もし登録されていなければステップ（
２３）によりステップ（３１）に実行が移され、文法エ
ラーと同様、端末装置（２）にエラーメツセージを表示
させ終了する。文法及び使用されている変数が正常な場
合はステップ（２４）で誤り訂正情報を、記号で構成さ
れた中間言語に展開しステップ（２５）で中間言語格納
エリア（１３）に書き込む。ステップ（２６）でターミ
ネータと中間言語実行後の本プログラムへの戻り番地を
書き込む。次にステップ（２７）でバッチポインタ（１
３−１）を読み込み、ステップ（２８）で訂正対象文の
処理コードエリアに、読み込んだバッチポインタ（１３
−１）をスタックに格納する命令コードを書き込み、中
間言語解釈プログラム（３−４）を呼び出す命令コード
をステップ（２９）で上記の処理コードエリアに引き続
き書き込む。そして、ステップ（２６）で中間言語格納
エリア（１３）に書き込んだターミネータ、戻り番地の
次のアドレス（Ｐｌ）をバッチポインタにステップ（３
０）でセットし誤り訂正処理を終了する。

誤り訂正処理終了後の主メモリの状態を第４図の（４−
ｂ）に示す。ここでは文番号１００と文番号２００の処
理があって文番号１００に誤りがあったとしている。ま
ず、中間言語格納エリア（１３）には文番号１００の誤
り訂正情報が展開された中間言語が格納されており、バ
ッチポインタ（１３−１１には誤り訂正処理前は（Ｐｌ
）の値がセットされていたのが誤り訂正処理後はＰｌの
値がセットされていて、戻り番地には文番号２００の先
頭アドレスがセットされている。文番号１００の処理コ
ード部バッチポインタ（Ｐｌ）の値をスタックに格納す
る命令（１００−１）と中間言語解釈プログラムを呼び
出す命令（ｔｏｏ−２）がセットされている。

次にこの発明の一実施例における中間言語の仕様を第６
図に示す。言語の最小単位は初めに命令コードがあり、
次に各命令ごとに変数又は、パラメータの数が決ってい
る。変数は型とその変数の割付は位置とが組になって１
つとなる。誤り訂正情報は複数の最小言語単位に分割さ
れることになる。

例として“Ａ＝Ｏ”と“Ａ＝Ｂ＋Ｃ＊Ｄ”が中間言語に
展開されたものを第６図の（５０）と（５１）に示す。

”、“＋”、“＊“はそれぞれ代入、加算、乗算の命令
を示している。

（５０）は命令が代入で、左辺が整数変数Ａ、右辺が整
数定数０を意味し、（５１）は“Ａ＝Ｃ＊Ｄ”＋“Ａ＝
Ａ＋Ｂ”の２つの最小言語単位に分割され第１の命令が
乗算で左辺が整数変数Ａ、右辺が整数変数ＣとＤ、第２
の命令が加算で左辺が整数変数Ａ、右辺が整数変数Ａ、
Ｂであることを意味している。

第７図は誤り訂正処理後の中間言語解釈プログラム（３
−４）の動作を示したものである。第４図の（１００−
２）で示されるところで中間言語解釈プログラム（３−
４）が呼び出されると、（１００−１）でスタックに格
納されたバッチポインタ（Ｐｌ）をステップ（４０）で
読み出し、中間言語格納エリア（１３）の解析開始アド
レスをセットし、ステップ（４１）で命令コードの解析
を開始する。解析した結果命令コードがターミネータで
なければステップ（４３）で各命令ごとに中間言語格納
エリア（１３）のデータを解析して実行し、実行が完了
したら再度ステップ（４１）に戻り、命令コードにター
ミネータが現れるまでくり返す。ステップ（４２）でタ
ーミネータが発見されたならステップ（４４）でターミ
ネータの次に格納されている戻り番地、（第４図の場合
なら文番号２００の先頭アドレス）を中間言語解釈プロ
グラム（３−４）のリターンアドレスにセットして終了
する。

なお、上記実施例では誤り訂正専用領域に誤り訂正情報
を中間言語に展開して格納しているが、これを高級言語
のまま格納し、中間言語解釈プログラムの代わりにイン
タプリタを採用しても上記と同様の効果を奏する。

［発明の効果］ 以上のようにこの発明によれば、プログラムの誤り訂正
を高級言語で行うことができ、誤り発見ごとにソースプ
ログラムの修正、翻訳連係編集を行う必要が無いため、
時間の有効利用ができる。

【図面の簡単な説明】

第１図はこの発明の全体構成図、第２図はこの発明にお
けるソースモジュールからロードモジュールに変換する
までの流れを示したフロー図、第３図（ａ）　、　（ｂ
）　、　（Ｃ）は変数テーブル、文番号テーブル、及び
中間言語格納エリアの構成図、第４図は誤り訂正処理前
と処理後の状態を示す比較図、第５図はデバッカの誤り
訂正処理フロー図、第６図はこの発明の一実施例におけ
る中間言語の仕様説明図、第７図は中間言語解釈プログ
ラムの動作フロー図、第８図は従来の全体構成図、第９
図は従来のソースモジュールからロードモジュールに変
換するまでの流れを示したフロー図である。 （１）　　：ＣＰＵ　　　　　（２）　　：端末装置（
３）：外部メモリ　（３−１）　　：コンパイラ（３−
２）　　ニリンケージエディタ （３−３）　　：デバッガ （３−４）　　：中間言語解釈プログラム（４）：主メ
モリ （４−ｘ）　　：オペレーティングシステム（７）：オ
ブジェクトモジュール （８）：変数テーブル （９）：文番号テーブル （１０）　：他のオブジェクトモジュール（１１）：連
係編集 （１２）　：ロードモジュール （１３）　：中間言語格納エリア なお、各図中同一符号は、同−又は相当部分を示す。

Claims (1)

【特許請求の範囲】
1. 少なくともＣＰＵ、主メモリ、外部メモリとデータの入
   出力を行う端末装置を備え、ソースモジュールを翻訳し
   オブジェクトモジュールに変換するコンパイラと、複数
   のオブジェクトモジュールを連係編集し、実行可能な１
   つのロードモジュールにするリンケージエディタとを具
   備するコンピュータシステムにおいて、連係編集時、予
   めオブジェクトモジュールとして外部メモリに格納され
   ている中間言語解釈プログラムを他のオブジェクトモジ
   ュールと結合させ、かつロードモジュール内に中間言語
   格納エリアを確保する手段と、デバッグ時、端末装置か
   ら入力される高級言語での誤り訂正情報を中間言語に展
   開する手段と、展開された中間言語を上記の中間言語格
   納エリアに格納する手段と、格納された中間言語を解釈
   する手段とにより、高級言語でのプログラムの誤り訂正
   を可能としたことを特徴とするシンボリックデバッグ方
   式。