JPH0353334A - 言語処理プログラムのデバッグ情報出力処理方式 - Google Patents

Abstract

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

Description

【発明の詳細な説明】 〔産業上の利用分野〕 本発明は、言語処理プログラムにおけるソースレベルの
デバッグを行う場合の言語処理プログラムのデバッグ情
報出力処理方式に関する．〔従来の技術〕 従来の言語処理プログラムの生成するデバッグのための
情報の出力方法には２等りある．一つは行番号情報のよ
うにソースプログラムと直接結び付いた情報を出力する
方法と、もう一方は例えばスタックが使用可能であるか
否かを調べるルーチンを呼び出す、呼び出し命令のよう
に関数の先頭で機械語命令として、生成する情報の出力
方法である． 前者のソースレベルデバッグのための情報である、行番
号情報のように機械語とは異なる情報は、ソースレベル
デバッグを行うときにデバッガが使用するもので、１行
ごとのステップ実行を行う場合などに使用される。

後者の関数の先頭でスタックが使用可能であるかを調べ
るルーチンを呼出す呼出し命令のように機械語命令とし
て生成する情報は、実行時にエラーが発生する可能性の
ある場合やエラーの発生した場合等に、特殊な処理ルー
チンを呼び出したり、メッセージの出力やエラー処理等
を行う場合に使用する。

ここで従来のソースレベルのデバッグのうちステップ実
行の方式を説明する． ソースレベルの１行は、言語処理プログラムにより複数
の機械語命令に変換される。その場合、各ソース行の先
頭に対応した機械語命令のアドレスと、ソースプログラ
ムファイル内のそのソース行数の対応表とが、デバッグ
情報としてホスト計算機上にファイルとして出力される
． デバッグプログラムは、機械語レベルで１命令ステップ
実行を行い、停止後の被デバッグプログラムの停止アド
レスをターゲットシステムから得る。実行前のアドレス
に対する行番号と停止後のアドレスに対する行番号を比
較し異なっている場合、ソースレベルでの１行ステップ
実行が完了したとして、デバッガプログラムはユーザに
１行ステップ実行の終了を通知する。

実行前のアドレスに対する行番号と停止語のアドレスに
対する行番号が同じ場合は、まだ同一のソース行中を実
行しているとして、再びデバッガプログラムは機械語レ
ベルの１命令のステップ実行を行なう。デバッグプログ
ラムは、行番号が異なるまでこの手順を繰返す。

ソースレベルの１行は、機械語命令の数命令から、多い
場合は十数命令に展開されることがある。そのためソー
スレベルの従来方式のステップ実行では、デバッグのタ
ーゲットシステムに数回から十数回の機械語レベルの１
命令のステップ実行コマンドを送り、その停止アドレス
情報を得る通信を行う必要があった。

従来の機械語レベルのみのデバッガプログラムに比べ、
現在の高級言語を処理できるデバッガプログラムでは、
ソースレベルの処理が増加しており、またインサーキッ
トエミュレー夕との通信量の増加のため、デバッガ使用
者へのコマンドの応答時間が増加しており、コマンドの
応答時間の高速化の要求がある． ここで言語処理プログラムが認識するコンパイル単位を
、Ｃ言語を例に説明する．コンパイル単位には、関数定
義と、宣言とがあり、関数定義は複文を含む．この複文
は文のうちの１つで、文には次のものがある。

■ラベルで始まるラベル付き文 ■複数の文をブロック中に持つ複文 ■算術式、論理式等からなる弐文 ■ｉｆ文、ｓ　ｗ　ｉ　ｔ　ｃ　ｈ文等の選択文■ｆｏ
ｒ文、Ｗｈｉｌｅ文等の条件文 ■ｇｏｔｏ文等のジャンプ文 言語処理プログラムは関数定義とこれらの文に対してオ
ブジェクトを生成する。

これらの文がソースプログラム１行に複数記述されてい
ると、デバッグ時のステップ実行の対象はあくまでもソ
ースプログラムの１行であるので、次の行あるいは分岐
した先の行単位で１回のステップ実行を終了していた。

また前記■の複文のブロックの中に複数の文がある場合
などは、１行のステップ実行を複数回行うか、次のブロ
ックの先頭にブレークポイントを設定して実行していた
。

〔発明が解決しようとする課題〕

上述した従来の言語処理プログラムの処理方式では、ソ
ースレベルのデバッグを行う場合、デバッグ情報として
行情報しか出力されていないので、ソースプログラムの
ステプ実行は１行単位でしか行えないという欠点があっ
た。

ソースプログラム１行に複数の文が記述されていた場合
、１つの文の実行結果を得るには、たとえば代入文では
機械語レベルでステップ実行を行い、レジスタ、あるい
は変数の値を見なければならない。またはソースプログ
ラムを、１行にｌつの文しか記述しないように修正する
必要がある。

ブロックの中に複数の文がある場合は、１行のステップ
実行を複数回行うか、次のブロックの先頭をソースプロ
グラム上がら探して、ブレークボイントを設定して実行
していた．プログラムの動作の流れが連続的でない場合
、予想していなかった別の場所に分岐して、プログラム
の動作の流れを追うことができなくなる．ｔた分岐した
先でプログラムが終了してしまうことも考えられるので
、デバッグを最初からやり直さなければならなくなる。

このように従来の言語処理プログラムの処理方式では、
デバッグに操作上の手間がかかるうえ、予想に反した動
作をすることもあり、使用者の使い勝手は良いものとは
言えなかった。

また、ターゲットシステム上の被デバッグプログラムの
ソースレベルのステップ実行を行う場合、１ソース行内
に含まれる機械語命令文の機械語命令のステップ実行の
ためのデバツガプログラムとターゲットシステムとの通
信を必要としているので、デバッガプログラムの使用者
へのソースレベルの１行ステップ実行コマンド時の応答
時間が多大となる欠点がある。

本発明の目的は、ソースプログラム中の関数定義と文の
先頭に、ソースレベルのデバッグのための処理部を呼出
す呼出し命令を生成することにより、必要なソースデバ
ッグを最少のデバッグ情報の通信によって可能にした言
語処理プログラムのデバッグ情報出力処理方式を提供す
ることにある。

〔課題を解決するための手段〕

本発明の構成は、ソースプログラム情報を入力する入力
手段と、この入力手段により入力されたソースポルガル
マ情報を解析してオブジェクト情報を生成する情報生成
手段と、デバッグ情報を出力する出力手段とを有する言
語処理プログラムのデバッグ情報出力処理方式において
、デバッグを目的としたオブジェクト情報を生成する際
に、前記オブゼクト情報のうちソースプログラム中の関
数定義と文に対するオブジェクト情報の前に、デバッグ
のための処理部を呼出す呼出し命令を生成することを特
徴とする． 〔実施例〕 次に本発明について図面を参照して説明する。

第１図は本発明の一実施例のＣ言語処理プログラムのオ
ブジェクト出力部のフローチャート、第２図は本実施例
の適用されるシステム楕成を示すブロック図である。こ
のＣ言語処理プログラム２は、入力ファイル１からソー
スプログラム情報を入力する入力部４、入力したソース
プログラム情報を解析する構文解析部５、構文解析され
たソースプログラムに対しオブジェクトプログラムを生
成し出力するオブジェクト出力部９から構成されている
６ 次の第１表は入力ファイル１のプログラム内容を示し、
左側の数字は説明のために付けたソースプログラム中の
行番号である。

以　　下　　余　　白 第ｌ表 （１）　　　ｉｎｔ　ｄａｔａｌ　　ｄａｔａ２，ｄａ
ｔａ３；（２）　　　ｖｏｉｄ　ｍａｉｎ　　（＞（３
〉　　　｛ （４）　　　　　　ｄａｔａｌ　　＝１；　　ｄａｔａ
２　＝（５）　　　｛ （６）　　　　　　ｉｎｔ　ａｕｔｏｌ；（７）　　　
　　　ｄａｔａ３　＝　ａｕｔｏｌ；２； 第２図により全体の処理の流れを説明する。入力部４が
入力ファイル１からプログラム情報を入力する。次に、
構文解析部５でソースプログラムを解析する．最後に、
オブジェクト出力部９でオブジェクトプログラムを生成
し出力ファイル３に出力する。

次に、第１図のフローチャートの説明を行う．ただしＣ
言語処理プログラムのオブジェクト出力の対象となる関
数と、文のうちのブロックに着目して説明を行う。

（１）まず、ステップ１０のソースプログラムの解析に
より入力ファイル１の１行を解析する。

〈２）この処理の結果、ステップｌ２でソースプログラ
ムが終了しているか否かを判定し、終了していれば、処
理は終了処理へ移りステップ１４で終了する．ソースプ
ログラムが終了していなければ処理は次の処理１３へ移
る． （３）　（１）の処理の結果、ステップ１１でオブジェ
クト出力の対象であるか否かを判定する。ソースプログ
ラムの１行が宣言やブロックの開始であればオブジェク
ト出力の対象ではないのでステップ１０の処理に戻り、
次の行の解析を行う。

（４）（１）の処理の結果、ステップ１３で関数の始ま
りであると判定されれば、処理は関数処理部の呼出し命
令出力処理（ステップ１５）へ移る．関数処理部の呼出
し命令出力処理（ステップ１５〉では、関数処理部の呼
出し命令を出力する。関数の始まりでなければ処理はス
テップ１６のブロック判定処理へ移る． ＜５）（１）の処理の結果、ステップ１６でブロックの
始まりであると判定されれば、処理はブロック処理部の
呼出し命令出力処理（ステップ１７）へ移る。このブロ
ック処理部の呼出し命令出力処理（ステップ１７）では
ブロック処理部の呼出し命令をを出力し、（１〉の処理
へ移る。ブロックの始まりでなければ処理は次の（６）
の処理１８へ移る． 〈６）関数の始まりでもブロックの始まりでもなければ
、処理はステップ１８の文処理部の呼出し命令出力処理
へ移る．この文処理部の呼出し命令出力処理２０８では
文処理部の呼び出し命令を出力する． （７）各処理部の呼出し命令を出力したあと、処理は文
に対する機械語命令出力処理（ステ，ブ１９〉へ移る。

文に対する機械語命令出力処理１９では１つの文に対す
る機械語命令を出力する。

次に、このフローチャートに従い、Ｃ言語処理プログラ
ム２が第１表に示すソースプログラムを入力し、第３図
に示すオブジェクトプログラムを出力する利を説明する
．第３図のオブジェクトプログラムは、簡略のため全体
の構成のみを記述してある。また、ソースプログラム情
報の入力からオブジェクトプログラム出力の全体の処理
は、前記全体の処理の流れの説明どうりであるので省略
して説明を行う。

（１）ソースプログラムの解析１０により第１表の１行
目を解析する．オブジェクト出力判定処理２０により、
この行に対してオブジェクトは生成されないので、処理
はソースプログラムの解析１１に移り２行目の解析を行
う． （２〉２行目はオブジェクト出力の対象であり、ソース
プログラムの終了ではないと判定されるので、処理は関
数判定処理１３へ移る． （３）関数判定処理１３で２行目は関数の始まりと判定
されるため、関数処理部の呼出し命令出力処理により関
数処理部の呼出し命令を出力する。これが第３図の関数
処理部の呼び出し命令３１である． （４）次に文に対するステップ１つの機械語出力処理に
より文に対する機械語を出力し、これが第３図の関数前
処理部３２である。

（５）同様に３行目はブロック判定処理（１６〉により
ブロックの始まりと判定され、ブロック処理部呼出し命
令出力処理（１７）により第３図のブロック処理部呼出
し命令３３が出力される。

（６〉４行目に対して文に対する機械語命令出力処理（
１９〉により、第３図の文に対する機械語命令３４が出
力される． （７）４行目の２つ目の文に対しては、文処理部読び出
し命令出力処理部（１８）により、第３図の文処理部呼
出し命令３５が出力される。

（８）次に文に対する機械語命令出力処理部（ｌ９）に
より、第３図の文に対する機械語命令３６が出力される
。

（９）５行目はブロック判定処理部（１６）によりブロ
ックの始まりと判定され、ブロック処理部呼出し命令出
力処理（１７〉により、第３図のブロック処理部呼出し
命令３７が出力される。

（１０）５行目と６行目に対してはオブジェクトは生成
されないので、７行目に対して、文に対する機械語命令
出力処理（１９〉により、第３図の文に対する機械語命
令３８が出力される。

このようにして、第１表のソースプログラムに対して第
３図のオブジェクトが生成される。

次に、出力された第３図のオブジェクトプログラムによ
って、ソースレベルのデバッグ方法のうちのステップ実
行を第４図を用いて説明する。このソースデバッガでは
、関数処理部４１、ブロック処理部４２、文処理部４３
にブレークポイントを設定するなどして、各処理部に被
デバッグプログラムの実行が移ったとき、ステップ実行
を完了する。関数処理部４１は、文処理部４３に分岐す
る。ブロック処理部４２は文処理部４３に分岐する。

１つの文に関数呼出しだけが記述された場合、言語処理
プログラムにより関数処理部４１を呼出す呼出し命令だ
けが出力される。また、ブロックの開始の直後に文が記
述されている場合、ブロック処理部４２を呼出す呼出し
命令だけが出力される。

関数レベルのステップ実行を行う場合、関数処理部の呼
出し命令３１により、被デバッグプログラムの実行は関
数処理部４１に移る。ここでソースデバッガにより被デ
バッグプログラムの動作は停止する。これにより被デバ
ッグブレゴルマのステップ実行中に、予期しない関数呼
出しがあった場合でも呼出された関数の先頭で被デバッ
グプログラムの実行は停止するので、被デバッグプログ
ラムの動作の流れを追えなくなってしまったり、呼出さ
れた関数中で被デバッグプログラムの実行が終了してし
まい、デバッグを最初からやり直さなければならなくな
るということがなくなる。

ブロックレベルのステップ実行を行う場合、ブロック処
理部の呼出し命令３３により、被デバッグプログラムの
実行はブロック処理部４２に移る．ここでソースデバッ
ガにより被デバッグプログラムの動作は停止する。これ
により被デバッグプログラムのステップ実行時に、次の
ブロックまで停止することなく被デバッグプログラムを
実行でき、１行ごとのステップ実行を複数回行ったり、
次のブロックの先頭をソースプログラム上から探して、
ブレークポイントを設定して実行するといった操作上の
手間をなくすばかりでなく、ステップ実行のための時間
の短縮が図られる。

文レベルのステップ実行を行う場合、文処理部の呼出し
命令３５により、被デバッグプログラムの実行は文処理
部４３に移る。ここでソースデバッガにより被デバッグ
プログラムの動作は停止する。これによりソースプログ
ラムの１行内に複数の文が記述されていた場合でも、各
文の先頭で変数の内容を見ることにより、１つの文の実
行結果を確認することができる。

関数レベルのステップ実行を行わず、文レベルのステッ
プ実行を行う場合、関数の始まりでは関数処理部の呼出
し命令３１により、被デバッグプログラムの実行は関数
処理部４１に移る。しかし、関数処理部４１にはブレー
クポイントが設定されていないため、処理は文処理部４
３に移る。

文処理部４３にはブレークポイントが設定されているた
め、被デバッグプログラムはここで停止する。

同様にブロックレベルのステップ実行を行わず、文レベ
ルのステップ実行を行う場合、ブロックの始まりではブ
ロック処理部の呼出し命令３３により、被デバッグプロ
グラムの実行はブロック処理部４２に移る。しかし、ブ
ロック処理部４２にはブレークポイントが設定されてい
ないため、処理は文処理部４３に移る．文処理部４３に
はブレークポイントガ設定されているため、被デバッグ
プログラムはここで停止する。

〔発明の効果〕

以上説明したように、本発明の言語処理プログラムのデ
バッグ情報出力処理方式では、ソースプログラム中の各
文に対するオブジェクト情報の前に、ソースレベルのデ
バッグのため処理部を呼出す呼出命令を生成することに
より、ソースレベルのデバッグ時に従来の１行ごとのス
テップ実行に加えて関数や文単位のステップ実行が可能
になり、また各ステップ実行が従来のデバッグ方式に比
べ高速に行うことができるという効果を有している．

【図面の簡単な説明】

第１図は、本発明の一実施例を説明するＣ言語処理プロ
グラムのオブジェクト出力処理のフローチャート、第２
図は第１図を適用するシステム横成のブロック図、第３
図は第２図のオブゼクトファイルの内容を説明する構成
図、第４図は第１図のソースレベルのステップ実行を行
う処理部の構成図である． １・・・入力ファイル、２・・・Ｃ言語処理プログラム
、３・・・オブジェクトファイル、４・・・入力部、５
・・・構文解析部、６・・・オブジェクト出力部、１０
・・・１行のソースプログラムの解析、１１・・・オブ
ジェクト出力判定処理、１２・・・終了判定処理、１３
・・・終了処理、１４・・・関数判定処理、１５・・・
ブロック判定処理、１６・・・関数処理部の呼出し命令
出力処理、１７・・・ブロック処理部の呼出し命令出力
処理、１８・・・文処理部の呼出し命令出力処理、１９
・・・文に対する機械語命令出力処理、３１・・・関数
処理部の呼出し命令、３２・・・関数前処理部、３３・
・・ブロック処理部の呼出し命令、３４・・・文に対す
る機械語命令、３５・・・文処理部の呼出し命令、３６
・・・文に対する機械語命令、３７・・・ブロック処理
部の呼出し命令、３８・・・文に対する機械語命令、４
１・・・関数処理部、４２・・・ブロック処理部、４３
・・・文処理部．

Claims (1)

【特許請求の範囲】
1. ソースプログラム情報を入力する入力手段と、この入力
   手段により入力されたソースポルガルマ情報を解析して
   オブジェクト情報を生成する情報生成手段と、デバッグ
   情報を出力する出力手段とを有する言語処理プログラム
   のデバッグ情報出力処理方式において、デバッグを目的
   としたオブジェクト情報を生成する際に、前記オブゼク
   ト情報のうちソースプログラム中の関数定義と文に対す
   るオブジェクト情報の前に、デバッグのための処理部を
   呼出す呼出し命令を生成することを特徴とする言語処理
   プログラムのデバッグ情報出力処理方式。