JPH0231241A - プログラム逆順復元方式 - Google Patents

Abstract

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

Description

【発明の詳細な説明】 〔産業上の利用分野〕 本発明はプログラムのデバグ処理方式に関し。

特に利用者がプログラム上の不正動作をする部分を究明
するためのデバグ処理方式における。プログラムを命令
の逆順に復元させるためのプログラム逆順復元方式に関
する。

〔従来の技術〕

従来、この種のプログラム中の不正動作をする部分を究
明するデバグ処理方式は、デバグ支援プログラムを利用
して不正動作をすると思われる部分の近辺に複数個の中
断点を設定したうえでプログラムを起動し、設定した中
断点での値を出力することにより、プログラムの最初か
ら中断点までまたはひとつの中断点から次の中断点まで
のプログラムの妥当性を検証する方法をとっていた。

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

上述した従来のグログラム中の不正動作をする部分を究
明するデバグ処理方式は、デバグ支援！ログラムを利用
して不正動作をすると思われる部分の近辺に複数個の中
断点を設定してその中断点での値を出力することによシ
、プログラムの最初から中断点までまたはひとつの中断
点から次の中断点までのプログラムの妥当性を検証する
方法をとっていたため、−回では問題となる部分を特定
することが困難であり、少しずつ中断点を設定する範囲
を狭くすることにより目的の場所を捜すため、何回もプ
ログラムを最初から実行しなくてはならないという欠点
がある。

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

本発明によるプログラム逆順復元方式は、プログラム上
の不正動作をする部分を発見するデバグ処理方式におけ
る。プログラムを命令の逆順に復元させるだめのプログ
ラム逆順復元方式であって。

命令の逆順に結果を復元させるために必要なデータを退
避することを指示する退避指令と、命令の逆ｒ＝に結果
を復元させることを指示する復元指令とを有する指令を
読み込んで、該指令の内容を解析し、該指令が退避指令
であるときには退避指示を発生し、該指令が復元指令で
あるときには復元指示を発生する指令入力手段と。

該指令入力手段に結合され、前記退避指示に応答して退
避要求信号と一命令実行要求信号を発生し、前記復元指
示に応答して復元要求信号を発生する指令実行手段と。

該指令実行手段に結合され、前記退避要求信号に応答し
てメモリ参照要求信号を発生し、メモリ参照情報よシ前
記命令の逆順に結果を復元するために必要なデータを退
避情報として組み立て、テーブル設定要求信号を発生す
るデータ退避手段と。

該データ退避手段に結合され、前記メモリ参照費求信号
に応答して次に行う命令の内容とその命令が作用する部
分を利用者メモリ空間より取り込み、この取シ込まれた
情報を前記メモリ参照情報として前記データ退避手段へ
供給するメモリ参照手段と。

前記データ退避手段に結合され、前記テーブル設定要求
信号に応答して前記退避情報を再現情報格納テーブルに
設定し、前記退避情報を前記再現情報格納テーブルに格
納情報として格納させるテーブル設定手段と。

前記指令実行手段に結合され、前記復元要求信号に応答
してテーブル参照要求信号を発生し、テーブル参照情報
より一命令前の状態を復元するだめの命令を復元命令と
して組み立て、メモリ復元要求信号を発生するデータ復
元手段と。

該データ復元手段及び前記再現情報格納テーブルに結合
され、前記テーブル参照要求信号に応答して前記再現情
報格納テーブルに格納された前記格納情報の中から一命
令前の状態を復元するために必要な情報を読み込み、こ
の読み込まれた情報を前記テーブル参照情報として前記
データ復元手段へ供給するテーブル参照手段と。

前記データ復元手段及び前記利用者メモリ空間に結合さ
れ、前記メモリ復元要求信号に応答して前記復元命令を
前記利用者メモリ空間上に設定することにより一命令前
の状態を復元するメモリ復元手段と。

前記指令実行手段及び前記利用者メモリ空間に結合され
、前記一命令実行要求信号に応答して前記利用者メモリ
空間上にある実行すべき命令のうち１次に実行する命令
を一つだけ実行する一命令実行手段とを有する。

〔実施例〕

次に１本発明について図面を参照して説明する。

第１図は１本発明の一実施例の構成を示すブロック図で
ある。本実施例のプログラム逆順復元方式は、指令入力
手段１．指令実行手段２．データ退避手段３．メモリ参
照手段４．テーブル設定手段５．データ復元手段６．メ
モリ復元手段７．テーブル参照手段８．再現情報格納テ
ーブル９．利用者メモリ空間１０．−命令実行手段１１
．デバグ・コマンド１２．デバグｅコマンド入力手段１
３、及びデバグ・コマンド実行手段１４で構成されてい
る。

第２図には、テーブル設定手段５で設定され。

テーブル参照手段８で参照される再現情報格納テーブル
９の詳細を示す。再現情報格納テーブル９は９次に実行
する命令がある場所を示す命令アドレスを格納するだめ
の領域９１と、その命令が作用する対象を示す作用対象
を格納するための領域９２と、その作用対象の大きさを
示す作用対象サイズを格納するための領域９３と９作用
対象に格納されている値を示す作用対象値を格納するた
めの領域９４とで構成されている。

次に本実施例の全体的な動作について具体的に説明する
。

デバグ・コマンド入力手段１３は、利用者が指定したデ
バグ・コマンド１２を入力して、コマンドの内容を解析
する。解析したコマンドが、命令の逆順に結果を復元さ
せるために次の命令で変化する部分を退避することを指
示する指令（退避指令）か、あるいは命令の逆順に結果
を復元させることを指示する指令（復元指令）であれば
デバグ・コマンド入力手段１３は指令入力手段１を起動
し、それ以外のコマンドであればデバグ・コマンド実行
手段１４を起動、すなわち、デバダ・コマンド指示をデ
バグ、コマンド実行手段１４へ送出する。

指令入力手段１は、デバグ・コマンド入力手段１３に与
えられたコマンドが命令の逆順に結果を復元させるため
に次の命令で変化する部分を退避することを指示する指
令、すなわち退避指令ｄ−命令の逆順に結果を復元させ
ることを指示する指令。

すなわち復元指令である場合にデバグ・コマンド入力手
段１３より起動され、入力した指令を実行するために指
令実行手段２を起動する。すなわち。

指令入力手段は、コマンドが退避指令であるときには退
避指示を、復元指令であるときには復元指示を指令実行
手段２へ供給する。

指令実行手段２は、命令の逆順に結果を復元させるため
に次の命令で変化する部分を退避するため、あるいは命
令の逆順に結果を復元するために指令入力手段１より起
動され、すなわち、退避指示あるいは復元指示に応答す
る。指令実行手段２は、命令の逆順に結果を復元させる
ために利用者メモリ空間１０上の次の命令で変化する部
分を退避する必要があるときには、すなわち、退避指示
に応答して利用者メモリ空間ＩＯ上の次の命令で変化す
る部分を再現情報格納テーブル９に格納するためにデー
タ退避手段３を起動、すなわち退避要求信号をデータ退
避手段に送出後、−命令のみ実行するために一命令実行
手段１１を起動、すなわち、一命令実行要求信号を一命
令実行手段１１に送出するという一連の動作を命令の逆
順に結果を復元させるのに必要な範囲にある限り繰り返
す。

又、指令実行手段２は、命令の逆順に結果を復元する必
要があるときには、すなわち、復元指示に応答して、再
現情報格納テーブル９に格納された情報から一命令前の
状態を復元するためにデータ復元手段６を起動、すなわ
ち、復元要求信号をデータ復元手段６へ送出するという
動作を命令の逆順に結果を復元することが必要な範囲に
ある限シ繰り返す。

デ〜り退避手段３は、命令の逆順に結果を復元させるた
めに利用者メモリ空間１０上の次の命令で変化する部分
を退避する必要があるときに、指令実行手段２より起動
され、すなわち、退避要求信号に応答して９次に行う命
令の内容とその命令が作用する部分を利用者メモリ空間
１０より取り込むためにメモリ参照手段４を起動、すな
わち。

メモリ参照要求信号をメモリ参照手段４へ送出し。

その結果得た情報（メモリ参照情報）より命令の逆順に
結果を復元するために必要なデータを退避情報として組
み立てた上で、その退避情報を再現情報格納テーブル９
に格納するためにテーブル設定手段５を起動、すなわち
、テーブル設定要求信号をテーブル設定手段５へ送出す
る。

メモリ参照手段４は、命令の逆ＩＩＩに結果を復元要求
信号に応答して９次に行う命令の内容とその命令が作用
する部分を利用者メモリ空間１０より取り込む。メモリ
参照手段４は、この取り込まれた情報をメモリ参照情報
としてデータ退避手段３へ供給する。

テーブル設定手段５は、メモリ参照手段４で得た情報、
すなわち、メモリ参照情報からデータ退避手段３が組み
立てた命令の逆順に結果を復元するために必要なデータ
、すなわち、退避情報を再現情報格納テーブル９に格納
するために起動され。

すなわち、テーブル設定要求信号に応答して、再現情報
格納テーブル９の中の命令アドレス、作用対象９作用対
象サイズ、作用対象値の各々を設定する。すなわち、テ
ーブル設定手段５は、退避情報を再現情報格納テーブル
９に格納情報として格納させる。

データ復元手段６は、命令の逆順に結果を復元させる必
要があるときに指令実行手段２よシ起動され、すなわち
、復元要求信号に応答して、−命令前の状態を復元する
だめの情報を再現情報格納テーブル９より得るためにテ
ーブル参照手段８を起動すなわち、テーブル参照要求信
号をテーブル参照手段８へ送出し、その結果得た情報（
テーブル参照情報）より一命令前の状態を復元するだめ
の命令を復元命令として組み立てた上でその内容を利用
者メモリ空間１０に設定するためにメモリ設定手段７を
起動、すなわち、メモリ復元要求信号をメモリ復元手段
７へ送出する。

テーブル参照手段８は、再現情報格納テーブル９に格納
されている命令の逆順に結果を復元するための情報を取
り込むためにデータ復元手段６より起動され、すなわち
、テーブル参照要求信号に応答して、再現情報格納テー
ブル９の中の命令アドレス、作用対象１作用対象サイズ
、作用対象値の各々を読み込む。テーブル参照手段８は
、この読み込まれた情報をテーブル参照情報としてデー
タ復元手段６へ供給する。

メモリ復元手段７は、テーブル参照手段８で得た情報か
らデータ復元手段６が組み立てた。命令の逆順に結果を
復元するための命令、すなわち。

復元命令を実行するためにデータ復元手段６よシ起動さ
れ、すなわち、メモリ復元要求信号に応答して、利用者
メモリ空間１０に復元命令を設定することにより一茄令
前の状態を復元する。

−命令実行手段１１は、命令の逆順に結果を復元させる
ために利用者メモリ空間１０上の次の命令で変化する部
分を退避する必要があるときに指令実行手段２より起動
され、すなわち、一命令実行要求信号に応答して、利用
者メモリ空間１０上にある実行すべき命令のうち９次に
実行する命令を一つだけ実行する。

デバグ・コマンド実行手段１４は、デバグ・コマンド入
力手段１３が解析したコマンドが命令の逆順に結果を復
元させるために利用者メモリ空間１０上の次の命令で変
化する部分を退避することを指示するもの、すなわち、
退避指令でも命令の逆順に結果を復元することを指示す
るもの、すなわち、復元指令でもない場合に、デバコゝ
・コマンド入力手段１３より起動され、すなわち、デバ
グ、コマンド指示に応答して、デバグ・コマンドを実行
する。

〔発明の効果〕

以上説明したように１本発明はプログラム上の不正動作
をする部分を発見するデバグ処理方式において、プログ
ラムの最初から中断点までまたはひとつの中断点から次
の中断点までの利用者メモリ空間上の次の命令で変化す
る部分を一命令毎に退避する手段と退避した情報より一
命令前の状態を復元する手段を備えることにより、ある
中断点で不正動作が確認された場合に、その部分が原因
かどうかを判断するために、直前の中断点との間に新た
な中断点を設定して範囲を狭くした上で。

新たに設定した中断点までプログラムを一命令ずつ前の
状態に復元することが可能となるために。

従来の何回もプログラムを最初から実行しなくてはなら
ない方式と比較して、不正動作をする部分を発見するま
でのプログラムの実行命令数を削減することができるた
め、プログラムのデバグ効率を向上させることができる
効果がある。

【図面の簡単な説明】

第１図は本発明の一実施例によるプログラム逆順復元方
式の構成を示すブロック図、第２図は第１図中の再現情
報格納テーブルの構成図である。 １・・・指令入力手段、２・・・指令実行手段、３・・
・データ退避手段、４・・・メモリ参照手段、５・・・
テーブル設定手段、６・・・データ復元手段、７・・・
メモリ復元手段、８・・・テーブル参照手段、９・・・
再現情報格納テーブル、１０・・・利用者メモリ空間、
１１・・・−命令実行手段、１２・・・デバグ・コマン
ド、１３・・・デバグ・コマンド入力手段、１４・・・
デバグ・コマンド実行手段。 第２図

Claims (1)

1. 【特許請求の範囲】 １、プログラム上の不正動作をする部分を発見するデバ
   グ処理方式における、プログラムを命令の逆順に復元さ
   せるためのプログラム逆順復元方式であって、 命令の逆順に結果を復元させるために必要なデータを退
   避することを指示する退避指令と、命令の逆順に結果を
   復元させることを指示する復元指令とを有する指令を読
   み込んで、該指令の内容を解析し、該指令が退避指令で
   あるときには退避指示を発生し、該指令が復元指令であ
   るときには復元指示を発生する指令入力手段と、 該指令入力手段に結合され、前記退避指示に応答して退
   避要求信号と一命令実行要求信号を発生し、前記復元指
   示に応答して復元要求信号を発生する指令実行手段と、 該指令実行手段に結合され、前記退避要求信号に応答し
   てメモリ参照要求信号を発生し、メモリ参照情報より前
   記命令の逆順に結果を復元するために必要なデータを退
   避情報として組み立て、テーブル設定要求信号を発生す
   るデータ退避手段と、該データ退避手段に結合され、前
   記メモリ参照要求信号に応答して次に行う命令の内容と
   その命令が作用する部分を利用者メモリ空間より取り込
   み、この取り込まれた情報を前記メモリ参照情報として
   前記データ退避手段へ供給するメモリ参照手段と、 前記データ退避手段に結合され、前記テーブル設定要求
   信号に応答して前記退避情報を再現情報格納テーブルに
   設定し、前記退避情報を前記再現情報格納テーブルに格
   納情報として格納させるテーブル設定手段と、 前記指令実行手段に結合され、前記復元要求信号に応答
   してテーブル参照要求信号を発生し、テーブル参照情報
   より一命令前の状態を復元するための命令を復元命令と
   して組み立て、メモリ復元要求信号を発生するデータ復
   元手段と、 該データ復元手段及び前記再現情報格納テーブルに結合
   され、前記テーブル参照要求信号に応答して前記再現情
   報格納テーブルに格納された前記格納情報の中から一命
   令前の状態を復元するために必要な情報を読み込み、こ
   の読み込まれた情報を前記テーブル参照情報として前記
   データ復元手段へ供給するテーブル参照手段と、 前記データ復元手段及び前記利用者メモリ空間に結合さ
   れ、前記メモリ復元要求信号に応答して前記復元命令を
   前記利用者メモリ空間上に設定することにより一命令前
   の状態を復元するメモリ復元手段と、 前記指令実行手段及び前記利用者メモリ空間に結合され
   、前記一命令実行要求信号に応答して前記利用者メモリ
   空間上にある実行すべき命令のうち、次に実行する命令
   を一つだけ実行する一命令実行手段と を有することを特徴とするプログラム逆順復元方式。