JPH03278241A - プログラムデバッグ方式 - Google Patents

Abstract

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

Description

【発明の詳細な説明】 ［産業上の利用分野］ 本発明は情報処理装置におけるプログラムデバッグ方式
に関し、特にプログラムの実行過程を確認する方式に関
する。

［従来の技術］ 従来、この種のプログラムデバッグ方式では、プログラ
ムの要所要所にブレークポイント（−時中断点）を設定
しておき、ブレークポイントでの内部割込みの発生によ
り、プログラムの実行過程を確認するようになっていた
。

［発明が解決しようとする課題］ 上述した、ブレークポイントを利用してプログラムの実
行過程を確認する方法は、プログラムの流れを予想しな
がら、ブレークポイントを逐次設定する必要があり、予
想が外れると、ブレークポイントで中断しないので、途
中の実行過程が分らなくなり、再度、最初からやり直す
必要があるため、デバッグ効率が低下するという欠点が
ある。

本発明の目的は、効率のよいプログラムデバッグ方式を
提供することである。

［課題を解決するための手段］ 本発明のプログラムデバッグ方式は、 主記憶装置に格納され、デバッグ対象プログラムを構成
する全モジュールの先頭部に、当該モジュールの先頭で
あることを示し、かつ当該モジュールのモジュール名を
含むモジュール先頭識別語を有し、 前記デバッグ対象プログラムの主記憶装置上の先頭アド
レス、終了アドレスであるプログラム先頭アドレス、プ
ログラム終了アドレスを予め記憶するとともに、モジュ
ールの先頭アドレス、終了アドレスであるモジュール先
頭アドレス、モジュール終了アドレスを記憶する変換制
御情報記憶手段と、 主記憶装置の与えられた絶対アドレスを１番地ずつ減少
および増加させてモジュール先頭識別語をサーチし最初
に見つかった両モジュール先頭識別語から前記絶対アド
レスが含まれるモジュールの先頭アドレスと終了アドレ
スを得、これらモジュール先頭アドレス、モジユース終
了アドレスとして変換制御情報記憶手段に記憶するモジ
ュールサーチ手段と、 アドレス変換要求が指示された絶対アドレスが変換制御
情報記憶手段に記憶されているプログラム先頭アドレス
とプログラム終了アドレスで示されるプログラム領内に
含まれるかどうかを調べ、プログラム領域外ならばアド
レス変換を行なわず、プログラム領域内ならば、変換制
御情報記憶手段内のモジュール先頭アドレスとモジュー
ル終了アドレスで示されるモジュール領域内に含まれる
かどうかを調べ、モジュール領域内ならば前記モジュー
ル先頭アドレスとモジュール先頭語を参照して前記絶対
アドレスをモジュール名とモジュール内相対アドレスに
変換し、モジュール領域外ならば、前記絶対アドレスを
前記モジュールサーチ手段に渡して前記モジュールサー
チ手段を起動するアドレス変換手段と、 分岐命令割込みモード設定／解除手段と、分岐命令割込
みモードが設定されると、分岐命令の実行により、分岐
命令自身のアドレスである分岐前アドレスと分岐命令の
分岐先アドレスである分岐アドレスを保持して、分岐後
アドレスで内部割込みを発生する分岐命令割込み手段と
、前記分岐前アドレスと前記分岐後アドレスとループ回
数とをループ判定情報として記憶するループ判定情報記
憶手段と、 前記ループ回数を積算するループ回数演算手段と、 前記ループ判定情報記憶手段内のループ判定情報を、分
岐前アドレスおよび分岐後アドレスはアドレス変換手段
によってモジュール名とモジュール内相対アドレスに変
換した後、編集し、表示装置に表示するトレースメツセ
ージ表示手段と、分岐命令割込みモードが設定されると
、デバッグ対象プログラムが起動される前に前記ループ
判定情報記憶手段の分岐前アドレス、分岐後アドレスお
よびループ回数ならびに変換制御情報記憶手段内のモジ
ュール先頭アドレスおよびモジュール終了アドレスを初
期化し、その後、デバッグ対象プログラムが起動され分
岐命令割込み手段によって内部割込みが発生すると、そ
の時に通知された分岐前アドレスと分岐後アドレスを、
最初の割込みであれば、該分岐前アドレスと分岐後アド
レスをループ判定情報記憶手段に記憶し、最初の割込み
でなければ、該分岐前アドレスと分岐後アドレスをルー
プ判定情報記憶手段に記憶されている分岐前アドレス、
分岐後アドレスとそれぞれ比較してループ判定を行い、
ループのときはループ回数演算手段によりループ判定情
報記憶手段内のループ回数を＋１し、非ループまたはル
ープ離脱のときはトレースメツセージ表示手段により前
記ループ判定情報記憶手段内のループ判定情報を表示装
置に表示させ、分岐命令割込み手段から通知された分岐
前アドレスと分岐後アドレスを前記ループ判定情報記憶
手段に新たに記憶するとともに、ループ回数をゼロで初
期化するループ判定制御手段とを有している。

［作用〕 デバッグ対象プログラムに含まれる分岐命令が実行され
ると内部割込みを発生し、その分岐前後のアドレスと、
直前の内部割込みにおける分岐前後のアドレスとを比較
してループ判定を行い、ループのときはその回数を積算
し、ループでなくなった都度、その直前の内部割込みに
おける分岐前後のアドレスとそれまで積算されたループ
回数をトレースメツセージとして表示するのでプロプラ
ムの実行過程を効率よく確認できる。なお、トレースメ
ツセージの表示はバグの発見および除去作業の便をはか
り、分岐前後のアドレスはモジュール名とモジュール内
相対アドレスに変換したものが表示される。

このアドレス変換にあたり、変換対象絶対アドレスが属
するモジュールの先頭および終了アドレスが変換制御情
報記憶手段に記憶されていないときはモジュール先頭識
別語ケサーチすることにより求め、変換制御情報記憶手
段に記憶する。

　０ ［実施例］ 次に、本発明の実施例について図面を参照して証明する
。

第１図は本発明のプログラムデバッグ方式が適用された
情報処理装置の一実施例を示すブロック図、第２図は第
１図中の表示装置に表示されるトレースメツセージを示
す図である。

本実施例の情報処理装置は、人力装置１（キーボード）
と、人力情報解析部２０、ループ判定制御部２１、ルー
プ回数演算部２２、モジュールサーチ部２３、アドレス
変換部２４、トレースメツセージ表示部２５を含むプロ
グラム実行軌跡表示装置２と、分岐命令割込機構３０を
含む中央処理装置３と、主記憶装置４と、ループ判定情
報記憶部５と、変換制御情報記憶部６と、表示装置７　
（ＣＲＴ）とから構成されている。

主記憶装置４にはモジュール４１．４２・・・４ｎとか
ら構成されるデバッグ対象プログラムが格納されている
。各モジュール４１，４２゜＝、４ｎの先頭アドレスは
それぞれＳｌ、Ｓ２゜１ ・・・、Ｓｎ番地であり、また終了アドレスはそれぞれ
Ｅｌ、Ｅ２．・・・、Ｅｎ番地である。そしてモジュー
ル４１，４２．・・・４ｎの先頭部（先頭アドレスＳｌ
、Ｓ２．・・・Ｓｎ番地）にはそれぞれモジュール名ａ
ａａａａ　、　ｂｂｂｂｂ　、−、ｎｎｎｎｎを含むモ
ジュール先頭識別語４１Ｍ、４２Ｍ、−，４ｎＭが設け
られている。

変換制御情報記憶手段である変換制御情報記憶部６には
主記憶装置４におけるデバッグ対象プログラムのプログ
ラム領域の先頭アドレス（３１１番地と終了アドレス（
Ｅｎ番地）とがそれぞれプログラム先頭アドレス６０、
プログラム終了アドレス６１として予め記憶され、モジ
ュールサーチ部２３で得られた、モジュールの先頭アド
レス、終了アドレスであるモジュール先頭アドレス６２
および終了アドレス６３が記憶されるようになっている
。モジュールサーチ段であるモジュールサーチ部２３は
、主記憶装置４の与えられた絶対アドレスを１番地ずつ
減少および増加させて千ジュール先頭識別語をサーチし
最初に見つかった　２ 両モジュール先頭識別語から前記絶対アドレスが含まれ
るモジュールの先頭アドレスと終了アドレスを得、これ
らモジュール先頭アドレス、モジュール終了アドレスと
して変換制御情報記憶部６に記憶する。アドレス変換手
段であるアドレス変換部２４は、アドレス変換要求が指
示された絶対アドレスが変換制御情報記憶部６に記憶さ
れているプログラム先頭アドレス６０とプログラム終了
アドレス６１で示されるプログラム領域内に含まれるか
どうかを調べ、プログラム領域外ならばアドレス変換を
行なわず、プログラム領域内ならば、変換制御情報記憶
部６内のモジュール先頭アドレス６２とモジュール終了
アドレス６３で示されるモジュール領域内に含まれるか
どうかを調べ、モジュール領域内ならば前記モジュール
先頭アドレスとモジュール先頭語を参照して前記絶対ア
ドレスをモジュール名とモジュール内相対アドレスに変
換し、モジュール領域外ならば、前記絶対アドレスをモ
ジュールサーチ部２３に渡してモジュールサーチ部２３
を起動する。ループ判定情　３ 報記憶手段であるループ判定情報記憶部５は分岐前アド
レス５Ｂと分岐後アドレス５Ａとループ回数５Ｌをルー
プ判定情報として記憶する。ループ回数演算部２２はル
ープ回数を積算する。トレースメツセージ表示手段であ
るトレースメツセージ表示部２５はループ判定情報記憶
部５内のループ判定情報を、分岐前アドレスおよび分岐
後アドレスはアドレス変換部２４によってモジュール名
とモジュール内相対アドレスに変換した後、編集し、表
示装置７に表示する。

入力装置１には分岐命令割込みモード設定／解除のキー
（分岐命令割込みモード設定・解除手段）が設けられて
いる。入力情報解析部２０は入力装置１からの情報を分
析し、分岐命令割込みモード設定情報が人力されると、
この旨をループ判定制御部２１（ループ判定制御手段）
に通知する。分岐命令割込機構３０（分岐命令割込手段
）は、ループ判定制御部２１から、分岐命令割込みモー
ドが設定されたことを通知されると、起動され、分岐命
令の実行により主記憶装置４内のそ　４ ジュールの分岐命令自身のアドレスである分岐前アドレ
スと分岐命令の分岐先アドレスである分岐後アドレスを
保持して、ループ判定制御部２１に分岐後アドレスで内
部割込みを発生する。ループ判定制御部２１は、人力情
報解析部２０から分岐命令割込み設定情報が人力された
ことを通知されると、分岐命令割込機構３０を起動し、
ループ判定情報記憶部５内の分岐前アドレス５Ｂと分岐
後アドレス５Ａとループ回数５Ｌならびに変換制御情報
記憶部６内のモジュールの先頭アドレス６２と終了アド
レス６３とをゼロで初期化し、この後、主記憶装置４内
のデバッグ対象プログラムか起動され、そのプログラム
中の分岐命令の実行による割込みが発生し、分岐命令割
込機構３０から分岐前アドレスと分岐後アドレスとが通
知されると、ループ判定情報記憶部５内の分岐前アドレ
ス５Ｂと分岐後アドレス５Ａとの内容と比較しく分岐前
アドレス同士、分岐後アドレス同士で比較する）ループ
判定を行い、判定結果がループ（分岐前アドレス同士お
よび分岐後アドレス同士が５ それぞれ一致）のときには、ループ判定情報記憶部５内
のループ回数５Ｌの内容にループ回数演算部２２によっ
て１を加算し、逆に、非ループまたはループ離脱（分岐
前アドレス同士あるいは分岐後アドレス同士のどちらか
一方の組または両方の組が不一致）のときには、ループ
判定情報記憶部５内の分岐前アドレス５Ｂと分岐後アド
レス５Ａとループ回数５Ｌとの内容を含む（この内分岐
前アドレス５Ｂと分岐後アドレス５Ａの内容は、モジュ
ールサーチ部２３およびアドレス変換部２４によってモ
ジュール名とモジュール内相対アドレスに変換されたも
の）トレースメツセージをトレースメツセージ表示部２
５によつて表示装置７に表示し、分岐命令割込機構３０
から通知された分岐前アドレスと分岐アドレスとをそれ
ぞれループ判定情報記憶部５内の分岐前アドレス５Ｂと
分岐後アドレス５Ａとして新たに記憶するとともにルー
プ回数５Ｌをゼロで初期化する。

なお、ループ判定情報記憶部５の分岐前アドレス５Ｂと
分岐後アドレス５Ａがともにセロで初期　６ 化されている最初の分岐命令割込み時には、分岐命令割
込機構３０から通知された分岐前アドレスと分岐後アド
レスをそれぞれ分岐前アドレス５Ｂと分岐後アドレス５
Ａとして記憶するだけである。

以上の動作を行った後、同じくループ判定制御部２１は
、分岐後アドレスからの実行再開を分岐命令割込機構３
０に指示し、次の分岐命令割込み待ちとなる。

ここで、モジュールサーチ部２３とアドレス変換部２４
とトレースメツセージ表示部２５の動作を、絶対アドレ
ス１２３４番地をモジュール名とモジュール内相対アド
レスとに変換する場合について説明する。

このとき、仮に、モジュール４１の先頭アドレスＳ１が
１０００番地で、モジュール４２の先頭アドレスＳ２が
１５００番地であるとする。

最初に、アドレス変換部２４は、絶対アドレス１２３４
番地が変換制御情報記憶部６内のプログラム先頭アドレ
ス６０（５１番地）とプログラム終了　７ アドレス６１（Ｅｎ番地）との内容で示されるプログラ
ム領域内に含まれるかを調べ、その結果、プログラム領
域外ならばアドレス変換は行われず、プログラム領域内
ならば、さらにモジュール先頭アドレス６２とモジュー
ル終了アドレス６３との内容で示されるモジュール領域
内に含まれるかを調べる。

アドレス変換の対象である絶対アドレス１２３４番地が
先頭アドレス６２と終了アドレス６３の内容で示される
モジュール領域内に含まれないとき（両アドレスが最初
共にゼロで初期化されているためにモジュール領域内に
含まれないと判定された場合を含む）、アドレス変換部
２４はモジュールサーチ部２３に対して絶対アドレス１
２３４番地を渡してこれを起動する。モジュールサーチ
部２３は、起動されると絶対アドレス１２３４番地を含
むモジュールの先頭アドレスをサーチするため、１２３
４番地から番地を１番地ずつ減少させてモジュール先頭
識別語をサーチして行くと、８１番地（＝　１０００）
から始まるモジュール４１のモジュー　８ ル先頭識別語４１Ｍが最初に見つかり、モジュール先頭
アドレス６２にはＳ１番地（＝　１０００）を記憶する
。次に、モジュール４１の終了アドレスを見つけるため
、１２３４番地から番地を１番地ずつ増加させてモジュ
ール先頭識別語をサーチして行くと、Ｓ２番地（：　１
５００）から始まるモジュール４２のモジュール先頭識
別語４２Ｍが最初に見つかる。そこで、モジュール４１
の終了アドレスとして、１５００−１の算出結果である
１４９９番地をモジュール終了アドレス６３に記憶する
。アドレス変換対象の絶対アドレス１２３４番地がモジ
ュール先頭アドレス６２とモジュール終了アドレス６３
との内容で示されるモジュール領域内に含まれるとき、
アドレス変換部２４は、モジュール先頭アドレス６２の
内容（５１番地＝　１０００）をもとに、モジュール名
（Ｓｔ番地から始まるモジュール先頭識別語４１Ｍ内の
モジュール名ａａａａａ）を抽出し、モジュール内相対
アドレス（２３４＝　１２３４−３１番地）を算出する
。そして、表示装置７には、トレースメツセージ表示部
２５により、絶対アドレ　９ ス１２３４番地の代りとして、 ｍＩＥＩが表示されることになる。

このあと、モジュール４１内に含まれる絶対アドレスの
変換にはモジュールサーチ部２３を必要としない。即ち
、同一モジュール内の絶対アドレスが連続してアドレス
変換要求される限り、モジュールサーチ部２３は同一プ
ログラムモジュール内での最初のアドレス変換のときだ
け必要となる。このため、アドレス変換に費やす時間を
短縮することができる。

［発明の効果］ 以上説明したように本発明は、分岐命令割込みを利用す
るとともにループ判定を行って、プログラムの実行過程
をトレースメツセージとして表示し、さらにトレースメ
ツセージ中のアドレスはモジュール名とモジュール内相
対アドレスとに変換した形式で表示することにより、以
下に示す効果がある。

■　ブレークポイントが不要になり、したかっ　０ て、ブレークポイント設定の手操作がなくなるため、デ
バッグ効率が向上する。

トレースメツセージは、以下のように表示回数が少なく
て済む。

・命令毎でなく分岐命令による分岐実行毎にトレースメ
ツセージが表示される。

・ループ判定手段によって、ループ箇所は一回の表示で
済む。

■　モジュール名とモジュール内相対アドレス表示によ
って、リンカによりて出力されるアドレスマツプからモ
ジュールの先頭アドレスを探した後、モジュール内相対
アドレスを人手によって計算する必要がなくなる（手間
がかからなくなり、計算ミスの心配もない）。

■　モジュール先頭、終了アドレスが変更されているか
否かを顧慮する必要がなくなる。なお、同一モジュール
内の絶対アドレスが連続してアドレス変換要求される限
り、モジュールサーチ手段を必要とするのはそのモジュ
ールの最初のアドレス変換のときだけである。

１ ■

【図面の簡単な説明】

第１図は本発明のプログラムデバッグ方式が適用された
情報処理装置の一実施例を示すブロック図、第２図は第
１図中の表示装置７に表示されるトレースメツセージを
示す図である。 １・・・人力装置、 ２・・・プログラム実行軌跡表示装置、３・・・中央処
理装置、 ４・・・主記憶装置、 ５・・・ループ判定情報記憶部、 ６・・・変換制御情報記憶部、 ７・・・表示装置、 ２０・・・人力情報解析部、 ２１・・・ループ判定制御部、 ２２−・・ループ回数演算部、 ２３・・・モジュールサーチ部、 ２４・・・アドレス変換部、 ２５・・・トレースメツセージ表示部、３０・・・分岐
命令割込機構。 　２

Claims (1)

1. 【特許請求の範囲】 １、主記憶装置に格納され、デバッグ対象プログラムを
   構成する全モジュールの先頭部に、当該モジュールの先
   頭であることを示し、かつ当該モジュールのモジュール
   名を含むモジュール先頭識別語を有し、 前記デバッグ対象プログラムの主記憶装置上の先頭アド
   レス、終了アドレスであるプログラム先頭アドレス、プ
   ログラム終了アドレスを予め記憶するとともに、モジュ
   ールの先頭アドレス、終了アドレスであるモジュール先
   頭アドレス、モジュール終了アドレスを記憶する変換制
   御情報記憶手段と、 主記憶装置の与えられた絶対アドレスを１番地ずつ減少
   および増加させてモジュール先頭識別語をサーチし最初
   に見つかった両モジュール先頭識別語から前記絶対アド
   レスが含まれるモジュールの先頭アドレスと終了アドレ
   スを得、これらをモジュール先頭アドレス、モジュース
   終了アドレスとして変換制御情報記憶手段に記憶するモ
   ジュールサーチ手段と、 アドレス変換要求が指示された絶対アドレスが変換制御
   情報記憶手段に記憶されているプログラム先頭アドレス
   とプログラム終了アドレスで示されるプログラム領域内
   に含まれるかどうかを調べ、プログラム領域外ならばア
   ドレス変換を行なわず、プログラム領域内ならば、変換
   制御情報記憶手段内のモジュール先頭アドレスとモジュ
   ール終了アドレスで示されるモジュール領域内に含まれ
   るかどうかを調べ、モジュール領域内ならば前記モジュ
   ール先頭アドレスとモジュール先頭語を参照して前記絶
   対アドレスをモジュール名とモジュール内相対アドレス
   に変換し、モジュール領域外ならば、前記絶対アドレス
   を前記モジュールサーチ手段に渡して前記モジュールサ
   ーチ手段を起動するアドレス変換手段と、 分岐命令割込みモード設定／解除手段と、 分岐命令割込みモードが設定されると、分岐命令の実行
   により、分岐命令自身のアドレスである分岐前アドレス
   と分岐命令の分岐先アドレスである分岐後アドレスを保
   持して、分岐後アドレスで内部割込みを発生する分岐命
   令割込み手段と、前記分岐前アドレスと前記分岐後アド
   レスとループ回数とをループ判定情報として記憶するル
   ープ判定情報記憶手段と、 前記ループ回数を積算するループ回数演算手段と、 前記ループ判定情報記憶手段内のループ判定情報を、分
   岐前アドレスおよび分岐後アドレスはアドレス変換手段
   によってモジュール名とモジュール内相対アドレスに変
   換した後、編集し、表示装置に表示するトレースメッセ
   ージ表示手段と、分岐命令割込みモードが設定されると
   、デバッグ対象プログラムが起動される前に前記ループ
   判定情報記憶手段の分岐前アドレス、分岐後アドレスお
   よびループ回数ならびに変換制御情報記憶手段内のモジ
   ュール先頭アドレスおよびモジュール終了アドレスを初
   期化し、その後、デバッグ対象プログラムが起動され分
   岐命令割込み手段によって内部割込みが発生すると、そ
   の時に通知された分岐前アドレスと分岐後アドレスを、
   最初の割込みであれば、該分岐前アドレスと分岐後アド
   レスをループ判定情報記憶手段に記憶し、最初の割込み
   でなければ、該分岐前アドレスと分岐後アドレスをルー
   プ判定情報記憶手段に記憶されている分岐前アドレス、
   分岐後アドレスとそれぞれ比較してループ判定を行い、
   ループのときはループ回数演算手段によりループ判定情
   報記憶手段内のループ回数を＋１し、非ループまたはル
   ープ離脱のときはトレースメッセージ表示手段により前
   記ループ判定情報記憶手段内のループ判定情報を表示装
   置に表示させ、分岐命令割込み手段から通知された分岐
   前アドレスと分岐後アドレスを前記ループ判定情報記憶
   手段に新たに記憶するとともに、ループ回数をゼロで初
   期化するループ判定制御手段とを有するプログラムデバ
   ッグ方式。