JPH06222952A - デバッグ支援装置 - Google Patents
デバッグ支援装置Info
- Publication number
- JPH06222952A JPH06222952A JP5011804A JP1180493A JPH06222952A JP H06222952 A JPH06222952 A JP H06222952A JP 5011804 A JP5011804 A JP 5011804A JP 1180493 A JP1180493 A JP 1180493A JP H06222952 A JPH06222952 A JP H06222952A
- Authority
- JP
- Japan
- Prior art keywords
- program
- execution
- history
- event
- instruction
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/362—Software debugging
- G06F11/3636—Software debugging by tracing the execution of the program
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Computer Hardware Design (AREA)
- Quality & Reliability (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Debugging And Monitoring (AREA)
- Stored Programmes (AREA)
Abstract
(57)【要約】
【目的】プログラムの振る舞いに影響を与えることな
く、プログラムの逆実行に必要な命令実行履歴を採取記
録でき、この記録に基いて対象プログラムの逆実行と再
実行とを行えるデバッグ支援装置を提供する。 【構成】対象プログラムの実行時に発生したイベントの
種類と内容とを記録するイベント履歴記録手段３と、記
録されたイベントの履歴にしたがって対象プログラムを
制御して動作を再現させるプログラム動作再現手段４
と、プログラム動作再現時に実行した命令とその命令の
実行以前の内容とを保存する命令実行履歴記録手段５
と、命令実行履歴から命令実行前の計算機の内部状態を
回復する逆実行とその後の再実行とを選択的に行う命令
実行履歴再現手段６とを備えている。
く、プログラムの逆実行に必要な命令実行履歴を採取記
録でき、この記録に基いて対象プログラムの逆実行と再
実行とを行えるデバッグ支援装置を提供する。 【構成】対象プログラムの実行時に発生したイベントの
種類と内容とを記録するイベント履歴記録手段３と、記
録されたイベントの履歴にしたがって対象プログラムを
制御して動作を再現させるプログラム動作再現手段４
と、プログラム動作再現時に実行した命令とその命令の
実行以前の内容とを保存する命令実行履歴記録手段５
と、命令実行履歴から命令実行前の計算機の内部状態を
回復する逆実行とその後の再実行とを選択的に行う命令
実行履歴再現手段６とを備えている。
Description
【０００１】
【産業上の利用分野】本発明は、計算機で用いられるプ
ログラムのデバッグ作業を支援するデバッグ支援装置に
関する。
ログラムのデバッグ作業を支援するデバッグ支援装置に
関する。
【０００２】
【従来の技術】計算機で用いられるプログラムは、通
常、静的テストや動的テストなどによって要求条件を満
たしているか否かが検証される。そして、これらのテス
トによってバグ（不良箇所）が発見されたときには、プ
ログラマによる手直し、すなわちデバッグが行われる。
常、静的テストや動的テストなどによって要求条件を満
たしているか否かが検証される。そして、これらのテス
トによってバグ（不良箇所）が発見されたときには、プ
ログラマによる手直し、すなわちデバッグが行われる。
【０００３】ところで、テストによってプログラムに不
良が発見された場合、そのバグ箇所を特定する必要があ
る。バグ箇所を特定する手法には幾つかあるが、その中
でプログラムを逆実行させる方法が有効な手法である。
この手法を実現するには、プログラム実行時の詳細な命
令実行履歴を必要とする。したがって、従来はプログラ
ムの逆実行を行うために、対象プログラムの実行時に完
全な命令実行履歴を採取記録するようにしている。
良が発見された場合、そのバグ箇所を特定する必要があ
る。バグ箇所を特定する手法には幾つかあるが、その中
でプログラムを逆実行させる方法が有効な手法である。
この手法を実現するには、プログラム実行時の詳細な命
令実行履歴を必要とする。したがって、従来はプログラ
ムの逆実行を行うために、対象プログラムの実行時に完
全な命令実行履歴を採取記録するようにしている。
【０００４】しかしながら、対象プログラムが平行プロ
グラムやリアルタイム性のあるプログラムのように、不
確定性のあるプログラムの場合には、命令実行履歴を採
取記録しようとすると、記録動作のオーバヘッドが大き
くなり、これが原因となってプログラムの振る舞いが記
録を行わない場合に較べて大きく異なったものとなる。
このため、テスト時に発見されたバグを再現できなくな
る虞れがあった。
グラムやリアルタイム性のあるプログラムのように、不
確定性のあるプログラムの場合には、命令実行履歴を採
取記録しようとすると、記録動作のオーバヘッドが大き
くなり、これが原因となってプログラムの振る舞いが記
録を行わない場合に較べて大きく異なったものとなる。
このため、テスト時に発見されたバグを再現できなくな
る虞れがあった。
【０００５】この不具合を解消するために、現在では対
象プログラムの実行時にプラグラムの振る舞いを記録
し、記録したプログラムの振る舞いに沿ってプログラム
を解析して命令実行履歴を作成する方法などが考えられ
ている。しかし、この方法ではプログラムの解析に長時
間を要する問題があった。
象プログラムの実行時にプラグラムの振る舞いを記録
し、記録したプログラムの振る舞いに沿ってプログラム
を解析して命令実行履歴を作成する方法などが考えられ
ている。しかし、この方法ではプログラムの解析に長時
間を要する問題があった。
【０００６】
【発明が解決しようとする課題】上述の如く、従来の手
法では、平行プログラムやリアルタイム性のあるプログ
ラムのように、不確定性のある対象プログラムに対して
は詳細な命令実行履歴を記録したり、解析したりするこ
とが困難であった。
法では、平行プログラムやリアルタイム性のあるプログ
ラムのように、不確定性のある対象プログラムに対して
は詳細な命令実行履歴を記録したり、解析したりするこ
とが困難であった。
【０００７】そこで本発明は、平行プログラムやリアル
タイム性のあるプログラムのように再現性のない対象プ
ログラムの場合であっても、プログラムの振る舞いに影
響を与えることなく、プログラムの逆実行に必要な命令
実行履歴を採取記録でき、この記録に基いて対象プログ
ラムの逆実行と再実行とを自由に行え、テスト時に発見
された不正な動作を再現できるデバッグ支援装置を提供
することを目的としている。
タイム性のあるプログラムのように再現性のない対象プ
ログラムの場合であっても、プログラムの振る舞いに影
響を与えることなく、プログラムの逆実行に必要な命令
実行履歴を採取記録でき、この記録に基いて対象プログ
ラムの逆実行と再実行とを自由に行え、テスト時に発見
された不正な動作を再現できるデバッグ支援装置を提供
することを目的としている。
【０００８】
【課題を解決するための手段】上記課題を解決するため
に、本発明に係るデバッグ支援装置は、対象プログラム
の実行時に発生したイベントの種類と内容とを記録する
イベント履歴記録手段と、この手段によって記録された
イベントの履歴にしたがって前記プログラムを制御して
動作を再現させるプログラム動作再現手段と、この手段
によって行われるプログラム動作再現時に実行した命令
とその命令の実行以前の内容とを保存する命令実行履歴
記録手段と、命令実行履歴から命令実行前の計算機の内
部状態を回復する逆実行とその後の再実行とを選択的に
行う命令実行履歴再現手段とを備えている。
に、本発明に係るデバッグ支援装置は、対象プログラム
の実行時に発生したイベントの種類と内容とを記録する
イベント履歴記録手段と、この手段によって記録された
イベントの履歴にしたがって前記プログラムを制御して
動作を再現させるプログラム動作再現手段と、この手段
によって行われるプログラム動作再現時に実行した命令
とその命令の実行以前の内容とを保存する命令実行履歴
記録手段と、命令実行履歴から命令実行前の計算機の内
部状態を回復する逆実行とその後の再実行とを選択的に
行う命令実行履歴再現手段とを備えている。
【０００９】
【作用】対象とするプログラムの実行時に、イベント履
歴記録手段によってイベント履歴が採取記録される。こ
のイベント履歴を用いて対象プログラムが制御され、動
作が再現されて命令実行履歴が採取記録される。このよ
うに、対象プログラムの実行時に、動作の再現に用いる
イベント履歴を採取する方式を採用しているので、対象
プログラムの実行時に命令実行履歴の全てを採取する方
式に較べて、対象プログラムの振る舞いに与える影響を
大幅に小さくできる。したがって、命令実行履歴の記録
作業によるオーバヘッドが対象プログラムの動作に影響
を与えることなく命令実行履歴を採取することができ
る。この命令実行履歴を用いて対象プログラムの命令毎
に逆実行と再実行とを選択的に行うことができる。
歴記録手段によってイベント履歴が採取記録される。こ
のイベント履歴を用いて対象プログラムが制御され、動
作が再現されて命令実行履歴が採取記録される。このよ
うに、対象プログラムの実行時に、動作の再現に用いる
イベント履歴を採取する方式を採用しているので、対象
プログラムの実行時に命令実行履歴の全てを採取する方
式に較べて、対象プログラムの振る舞いに与える影響を
大幅に小さくできる。したがって、命令実行履歴の記録
作業によるオーバヘッドが対象プログラムの動作に影響
を与えることなく命令実行履歴を採取することができ
る。この命令実行履歴を用いて対象プログラムの命令毎
に逆実行と再実行とを選択的に行うことができる。
【００１０】
【実施例】以下、図面を参照しながら実施例を説明す
る。
る。
【００１１】図１には本発明の一実施例に係るデバッグ
支援装置１でタイムシェアリング方式のデバッグ対象プ
ログラム２からデバッグ情報を採取している例が示され
ている。なお、図１ではデータの流れが実線矢印で示さ
れ、制御の流れが破線矢印で示されている。
支援装置１でタイムシェアリング方式のデバッグ対象プ
ログラム２からデバッグ情報を採取している例が示され
ている。なお、図１ではデータの流れが実線矢印で示さ
れ、制御の流れが破線矢印で示されている。
【００１２】デバッグ支援装置１は、大きく分けて、イ
ベント履歴記録部３と、プログラム動作再現部４と、命
令実行履歴記録部５と、命令実行履歴再現部６とで構成
されている。
ベント履歴記録部３と、プログラム動作再現部４と、命
令実行履歴記録部５と、命令実行履歴再現部６とで構成
されている。
【００１３】イベント履歴記録部３は、デバッグ対象プ
ログラム２が動作しているときで、イベント発生時にデ
バッグ対象プログラム２から呼び出され、図２に示され
るアルゴリズムで動作し、図３に示されるイベント履歴
記録テーブル７にイベントを順次記録する。すなわち、
イベント履歴記録テーブル７には、イベント番号、イベ
ントの発生したタスク名、イベントの内容（イベント発
生アドレスと詳しい内容）が記録される。記録されるイ
ベントとしては、この例では「グローバル変数へのアク
セス」や「タスクの動作の終了」のように、タスク間で
互いに影響をおよぼす動作である。
ログラム２が動作しているときで、イベント発生時にデ
バッグ対象プログラム２から呼び出され、図２に示され
るアルゴリズムで動作し、図３に示されるイベント履歴
記録テーブル７にイベントを順次記録する。すなわち、
イベント履歴記録テーブル７には、イベント番号、イベ
ントの発生したタスク名、イベントの内容（イベント発
生アドレスと詳しい内容）が記録される。記録されるイ
ベントとしては、この例では「グローバル変数へのアク
セス」や「タスクの動作の終了」のように、タスク間で
互いに影響をおよぼす動作である。
【００１４】プログラム動作再現部４は、ユーザインタ
フェース部８からの指示にしたがって、イベント履歴記
録部３のイベント履歴記録テーブル７に記録されている
イベント履歴を用い、図４に示されるアルゴリズムでデ
バッグ対象プログラム２の動作を再現する。このとき、
図４から判るように、命令実行履歴記録部５を制御し
て、図６に示される命令実行履歴記録テーブル９に命令
実行履歴を記録する。命令実行履歴テーブル９には、実
行した命令の命令番号、タスク名、内容の変化したレジ
スタやメモリの内容が変化する前の内容および変化する
前のアドレスポインタが記録される。図７は命令実行履
歴記録部５のアルゴリズムを示すフローチャートであ
る。
フェース部８からの指示にしたがって、イベント履歴記
録部３のイベント履歴記録テーブル７に記録されている
イベント履歴を用い、図４に示されるアルゴリズムでデ
バッグ対象プログラム２の動作を再現する。このとき、
図４から判るように、命令実行履歴記録部５を制御し
て、図６に示される命令実行履歴記録テーブル９に命令
実行履歴を記録する。命令実行履歴テーブル９には、実
行した命令の命令番号、タスク名、内容の変化したレジ
スタやメモリの内容が変化する前の内容および変化する
前のアドレスポインタが記録される。図７は命令実行履
歴記録部５のアルゴリズムを示すフローチャートであ
る。
【００１５】命令実行履歴再現部６は、ユーザインター
フェース部８からの指示にしたがって、命令実行履歴記
録テーブル９に記録されている命令実行履歴を用い、図
５に示されるアルゴリズムで動作してデバッグ対象プロ
グラム２の状態を命令実行前の状態に回復させる。ここ
で、デバッグ対象プログラム２の一例を図８を参照しな
がら説明する。
フェース部８からの指示にしたがって、命令実行履歴記
録テーブル９に記録されている命令実行履歴を用い、図
５に示されるアルゴリズムで動作してデバッグ対象プロ
グラム２の状態を命令実行前の状態に回復させる。ここ
で、デバッグ対象プログラム２の一例を図８を参照しな
がら説明する。
【００１６】TaskＡは初期化プログラムであり、グロー
バル変数ＧＶ０，ＧＶ１を初期化している。TaskＢおよ
びTaskＣは同じ内容のタスクで、システムコールＳＹＳ
１を使って排他的にグローバル変数ＧＢ０の値を読み、
その値をローカル変数ＬＶＢ１（ＬＶＣ１）に加算する
作業を並行に行っている。システムコールＳＹＳ０は、
グローバル変数ＧＶ０の値をＡＸレジスタに返し、ＧＶ
Ｏから１を引くという２つの作業を連続して（ディスパ
ッチングなしで）行うシステムコールである。したがっ
て、システムコールＳＹＳ１によって返されるＧＶ０の
値は毎回１ずつ小さくなる。
バル変数ＧＶ０，ＧＶ１を初期化している。TaskＢおよ
びTaskＣは同じ内容のタスクで、システムコールＳＹＳ
１を使って排他的にグローバル変数ＧＢ０の値を読み、
その値をローカル変数ＬＶＢ１（ＬＶＣ１）に加算する
作業を並行に行っている。システムコールＳＹＳ０は、
グローバル変数ＧＶ０の値をＡＸレジスタに返し、ＧＶ
Ｏから１を引くという２つの作業を連続して（ディスパ
ッチングなしで）行うシステムコールである。したがっ
て、システムコールＳＹＳ１によって返されるＧＶ０の
値は毎回１ずつ小さくなる。
【００１７】グローバル変数ＧＶ０は、並行に動作する
２つのタスクTaskＢ，taskＣのローカル変数に加算する
値を管理するためにある変数であり、次にシステムコー
ルＳＹＳ１が呼び出されたときに加算する値を示してい
る。グローバル変数ＧＶ１は、グローバル変数ＧＶＯの
初期化の終了を示すフラグであり、０が初期化終了を、
１が初期化中であることを示している。そして、図８中
の「* event * 」は、その行の命令がイベント履歴記憶
テーブル７に記録されるべきイベントであることを示し
ている。
２つのタスクTaskＢ，taskＣのローカル変数に加算する
値を管理するためにある変数であり、次にシステムコー
ルＳＹＳ１が呼び出されたときに加算する値を示してい
る。グローバル変数ＧＶ１は、グローバル変数ＧＶＯの
初期化の終了を示すフラグであり、０が初期化終了を、
１が初期化中であることを示している。そして、図８中
の「* event * 」は、その行の命令がイベント履歴記憶
テーブル７に記録されるべきイベントであることを示し
ている。
【００１８】このデバック対象プログラム２では、Task
Ａがグローバル変数の初期化を行った後、グローバル変
数ＧＶ０の値をTaskＢ，TaskＣのそれぞれのローカル変
数に加算して行く。グローバル変数ＧＶ０の値は、ロー
カル変数に加算するためにシステムコールＳＹＳ１で読
み出される毎に小さくなり、最後には -１になる。シス
テムコールＳＹＳ１で読出した値が１以下のときにTask
Ｂ，TaskＣの動作が終了する。この結果、グローバル変
数ＧＶ０の初期値４から０までの和が２つのローカル変
数（ＬＶＢ１，ＬＶＢ２）に分けて計算され、ＬＶＢ１
とＬＶＣ１の和が１０になる。
Ａがグローバル変数の初期化を行った後、グローバル変
数ＧＶ０の値をTaskＢ，TaskＣのそれぞれのローカル変
数に加算して行く。グローバル変数ＧＶ０の値は、ロー
カル変数に加算するためにシステムコールＳＹＳ１で読
み出される毎に小さくなり、最後には -１になる。シス
テムコールＳＹＳ１で読出した値が１以下のときにTask
Ｂ，TaskＣの動作が終了する。この結果、グローバル変
数ＧＶ０の初期値４から０までの和が２つのローカル変
数（ＬＶＢ１，ＬＶＢ２）に分けて計算され、ＬＶＢ１
とＬＶＣ１の和が１０になる。
【００１９】このデバック対象プログラム２は、グロー
バル変数ＧＶ０を初期化する前にTaskＢまたはTaskＣが
動作して、しかもＧＶ０が０のときには異常な振る舞い
をするという不具合を有している。このようなデバッグ
対象プログラム２に対してデバッグ支援装置１は次のよ
うにしてデバッグ情報を採取する。まず、TaskＡによる
初期化以前からグローバル変数ＧＶ０が１、ＧＶ１が０
であったとして、このデバック対象プログラム２の動作
を開始させたとする。
バル変数ＧＶ０を初期化する前にTaskＢまたはTaskＣが
動作して、しかもＧＶ０が０のときには異常な振る舞い
をするという不具合を有している。このようなデバッグ
対象プログラム２に対してデバッグ支援装置１は次のよ
うにしてデバッグ情報を採取する。まず、TaskＡによる
初期化以前からグローバル変数ＧＶ０が１、ＧＶ１が０
であったとして、このデバック対象プログラム２の動作
を開始させたとする。
【００２０】すなわち、TaskＣが起動し、アドレス2010
から動作が始まったとする。アドレス2020で初期化フラ
グＧＶ１を読み取るイベントが発生する。図２に示すフ
ローチャートにしたがって、イベント発生タスク（Task
Ｃ）とイベントの内容（アドレス2020でＧＶ１を読む）
とがイベント履歴記録テーブル７に記録される。この場
合、イベント記録領域が十分に残っており、ディスクへ
の保存が行われなかったとする。
から動作が始まったとする。アドレス2020で初期化フラ
グＧＶ１を読み取るイベントが発生する。図２に示すフ
ローチャートにしたがって、イベント発生タスク（Task
Ｃ）とイベントの内容（アドレス2020でＧＶ１を読む）
とがイベント履歴記録テーブル７に記録される。この場
合、イベント記録領域が十分に残っており、ディスクへ
の保存が行われなかったとする。
【００２１】ＧＶ１を調査した結果、初期化が終了した
と判断（初期化以前からＧＶ１＝０であったため、ここ
で誤った判断が行われた）し、アドレス2050でＧＶ０の
値１をローカル変数に加算する作業を受けとる。
と判断（初期化以前からＧＶ１＝０であったため、ここ
で誤った判断が行われた）し、アドレス2050でＧＶ０の
値１をローカル変数に加算する作業を受けとる。
【００２２】ここで、タイムスライスのスケジューリン
グによって、タスクの切換えが発生してタスクTaskＡに
切換わったとする。TaskＡは初期化を始めたが、その途
中（アドレス30）でTaskＢに切換わった。TaskＢは初期
化フラグＧＶ１をアドレス1020で読取ったところ、初期
化中（ＧＶ１＝１）であったためにループを繰返した。
再び、TaskＣに切換わったが、受けとった仕事（ＧＶ０
＝１）を残っている最後の仕事と判断（アドレス2080）
して終了した。
グによって、タスクの切換えが発生してタスクTaskＡに
切換わったとする。TaskＡは初期化を始めたが、その途
中（アドレス30）でTaskＢに切換わった。TaskＢは初期
化フラグＧＶ１をアドレス1020で読取ったところ、初期
化中（ＧＶ１＝１）であったためにループを繰返した。
再び、TaskＣに切換わったが、受けとった仕事（ＧＶ０
＝１）を残っている最後の仕事と判断（アドレス2080）
して終了した。
【００２３】TaskＡに切換わり、TaskＡが初期化を終え
て終了した。TaskＢに切換わり、これ以降単独で作業
（ＧＶ０の値をシステムコールＳＹＳ１で読取ってロー
カル１変数に加算すること）を繰り返す。この結果、Ｌ
ＶＢ１の値が１０、ＬＶＣ１の値が１となり、２つの値
の和が１０ではなく１１になった。このような動作の過
程において、イベント履歴記録部３のイベント履歴記録
テーブル７に各イベントが記録される。
て終了した。TaskＢに切換わり、これ以降単独で作業
（ＧＶ０の値をシステムコールＳＹＳ１で読取ってロー
カル１変数に加算すること）を繰り返す。この結果、Ｌ
ＶＢ１の値が１０、ＬＶＣ１の値が１となり、２つの値
の和が１０ではなく１１になった。このような動作の過
程において、イベント履歴記録部３のイベント履歴記録
テーブル７に各イベントが記録される。
【００２４】次に、ユーザインタフェース８から指示を
与え、イベント履歴記録テーブル７に記録されているイ
ベント履歴を用いて図６に示す命令実行履歴を採取す
る。以下、図６の命令実行履歴を記録するための操作を
説明する。
与え、イベント履歴記録テーブル７に記録されているイ
ベント履歴を用いて図６に示す命令実行履歴を採取す
る。以下、図６の命令実行履歴を記録するための操作を
説明する。
【００２５】まず、イベント履歴記録テーブル７にTask
Ｃで発生したイベント（番号１：TaskＣのアドレス2020
でreadＧＶ１）が記録されているので、TaskＣをアドレ
ス2010から実行する。
Ｃで発生したイベント（番号１：TaskＣのアドレス2020
でreadＧＶ１）が記録されているので、TaskＣをアドレ
ス2010から実行する。
【００２６】アドレス2010でＬＶＣ１に０を代入するた
め、タスク名とＬＶＣ１の元の値（不定）と命令アドレ
スとを命令実行履歴記録テーブル９に記録する。タスク
名と命令アドレスとは、命令実行毎に必ず記録される。
め、タスク名とＬＶＣ１の元の値（不定）と命令アドレ
スとを命令実行履歴記録テーブル９に記録する。タスク
名と命令アドレスとは、命令実行毎に必ず記録される。
【００２７】次に、TaskＣのアドレス2020を実行する
と、ＡＸにＧＶ１の値を代入するので、ＡＸの元の値
（不定）を命令実行履歴記録テーブル９に記録する。こ
れで、イベント履歴記録テーブル７に記録されていたイ
ベント（番号１：TaskＣのアドレス2020でreadＧＶ１）
が発生したことになる。
と、ＡＸにＧＶ１の値を代入するので、ＡＸの元の値
（不定）を命令実行履歴記録テーブル９に記録する。こ
れで、イベント履歴記録テーブル７に記録されていたイ
ベント（番号１：TaskＣのアドレス2020でreadＧＶ１）
が発生したことになる。
【００２８】次に記録されているイベントをイベント履
歴記録テーブル７から読込むと、今回もTaskＣのイベン
ト（番号２：TaskＣのアドレス2050でreadＧＶ０，ＧＶ
０＝ＧＶ０-1）であるため、TaskＣの実行を継続する。
アドレス2030でフラグレジスタの内容が変化するので、
元のフラグレジスタの値を記録する。
歴記録テーブル７から読込むと、今回もTaskＣのイベン
ト（番号２：TaskＣのアドレス2050でreadＧＶ０，ＧＶ
０＝ＧＶ０-1）であるため、TaskＣの実行を継続する。
アドレス2030でフラグレジスタの内容が変化するので、
元のフラグレジスタの値を記録する。
【００２９】アドレス2040での分岐処理の結果、アドレ
ス2050へ行く。アドレス2050でＡＸとＧＶ０とが変化す
るので、これを命令実行履歴記録テーブル９に記録す
る。これで、イベント履歴記録テーブル７に記録されて
いたイベント（番号２：TaskＣのアドレス2050でreadＧ
Ｖ０，ＧＶ０＝ＧＶ０-1）が発生したことになる。
ス2050へ行く。アドレス2050でＡＸとＧＶ０とが変化す
るので、これを命令実行履歴記録テーブル９に記録す
る。これで、イベント履歴記録テーブル７に記録されて
いたイベント（番号２：TaskＣのアドレス2050でreadＧ
Ｖ０，ＧＶ０＝ＧＶ０-1）が発生したことになる。
【００３０】次に記録されているイベントをイベント履
歴記録テーブル７から読み込むと、このイベントはTask
Ａでのイベント（番号３：TaskＡのアドレス10でwrite
ＧＶ１）であるため、退避してあったレジスタなどを復
元してタスクをTaskＡに切換える。今度はTaskＡをアド
レス10から実行する。この操作を繰り返して得られたの
が図６に示す命令実行履歴である。
歴記録テーブル７から読み込むと、このイベントはTask
Ａでのイベント（番号３：TaskＡのアドレス10でwrite
ＧＶ１）であるため、退避してあったレジスタなどを復
元してタスクをTaskＡに切換える。今度はTaskＡをアド
レス10から実行する。この操作を繰り返して得られたの
が図６に示す命令実行履歴である。
【００３１】次に、ユーザインタフェース８から指示を
与え、命令実行履歴再現部６で上記命令実行履歴を用い
て、図５のアルゴリズムにしたがってプログラムの逆実
行を行わせる。逆実行とは、あたかもプログラムの動作
の方向を逆転させたかのようにプログラムの状態を元に
戻してゆく操作である。たとえば、TaskＣのアドレス20
80を実行したところで、図６の命令実行履歴記録テーブ
ル９の１６番目の命令実行結果を使って逆実行を始めさ
せる。
与え、命令実行履歴再現部６で上記命令実行履歴を用い
て、図５のアルゴリズムにしたがってプログラムの逆実
行を行わせる。逆実行とは、あたかもプログラムの動作
の方向を逆転させたかのようにプログラムの状態を元に
戻してゆく操作である。たとえば、TaskＣのアドレス20
80を実行したところで、図６の命令実行履歴記録テーブ
ル９の１６番目の命令実行結果を使って逆実行を始めさ
せる。
【００３２】命令実行結果の１６番目を見ると、値の変
化したレジスタ、メモリがないので、ＩＰを2080にセッ
トするだけとなる。さらに、１５番目の命令実行結果を
用いて逆実行させると、元はフラグレジスタのゼロフラ
グが１であったと記録されているので、これを１に直
し、ＩＰを2070にセットする。同様に、ローカル変数Ｌ
ＶＣ１を０にＩＰを2060に戻することによって、さらに
１ステップの逆実行が行われる。
化したレジスタ、メモリがないので、ＩＰを2080にセッ
トするだけとなる。さらに、１５番目の命令実行結果を
用いて逆実行させると、元はフラグレジスタのゼロフラ
グが１であったと記録されているので、これを１に直
し、ＩＰを2070にセットする。同様に、ローカル変数Ｌ
ＶＣ１を０にＩＰを2060に戻することによって、さらに
１ステップの逆実行が行われる。
【００３３】次の１３番目の命令実行結果にはTaskＢの
実行結果が記録されているので、退避されていたTaskＢ
のレジスタなどを回復し、さらにＡＸを１にＩＰを1020
に戻す。
実行結果が記録されているので、退避されていたTaskＢ
のレジスタなどを回復し、さらにＡＸを１にＩＰを1020
に戻す。
【００３４】ここで、再実行を行うには、プログラムの
内部状態が完全に元の状態に回復されているので、単に
イベント実行履歴を用いて再び実行すればよい。再実行
とはプログラムを逆実行させた後に、その状態から再び
順方向にプログラムを動作させる操作のことである。こ
のようにして対象プログラムのデバッグ作業に必要な情
報を取得することができる。
内部状態が完全に元の状態に回復されているので、単に
イベント実行履歴を用いて再び実行すればよい。再実行
とはプログラムを逆実行させた後に、その状態から再び
順方向にプログラムを動作させる操作のことである。こ
のようにして対象プログラムのデバッグ作業に必要な情
報を取得することができる。
【００３５】
【発明の効果】以上のように、本発明によれば、イベン
ト履歴を採取しがら対象プログラムを実行させ、不正な
動作を発見したときには、このイベント履歴を用いて対
象プログラムの動作を制御してその振舞いを再現させ、
再現した対象プログラムの命令実行履歴を記録によるオ
ーバヘッドの影響を排除しながら記録することができ
る。そして、記録された命令実行記録を使って対象プロ
グラムの逆実行、再実行を行うことができる。
ト履歴を採取しがら対象プログラムを実行させ、不正な
動作を発見したときには、このイベント履歴を用いて対
象プログラムの動作を制御してその振舞いを再現させ、
再現した対象プログラムの命令実行履歴を記録によるオ
ーバヘッドの影響を排除しながら記録することができ
る。そして、記録された命令実行記録を使って対象プロ
グラムの逆実行、再実行を行うことができる。
【図１】本発明の一実施例に係るデバッグ支援装置のブ
ロック構成図
ロック構成図
【図２】同装置に組込まれたイベント履歴記録部の動作
を示す流れ図
を示す流れ図
【図３】同イベント履歴記録部におけるイベント履歴記
録テーブルの記録例を示す図
録テーブルの記録例を示す図
【図４】同装置に組込まれたプログラム動作再現部の動
作を示す流れ図
作を示す流れ図
【図５】同装置に組込まれた命令実行履歴再現部の動作
を示す流れ図
を示す流れ図
【図６】同装置に組込まれた命令実行履歴記録部におけ
る命令実行履歴記録テーブルの記録例を示す図
る命令実行履歴記録テーブルの記録例を示す図
【図７】同命令実行履歴記録部の動作を示す流れ図
【図８】デバッグ対象プログラムの一例を示す図
１…デバッグ支援装置 ２…デバッグ対
象プログラム ３…イベント履歴記録部 ４…プログラム
動作再現部 ５…命令実行履歴記録部 ６…命令実行履
歴再現部 ７…イベント履歴記録テーブル ８…ユーザイン
タフェース部 ９…命令実行履歴記録テーブル
象プログラム ３…イベント履歴記録部 ４…プログラム
動作再現部 ５…命令実行履歴記録部 ６…命令実行履
歴再現部 ７…イベント履歴記録テーブル ８…ユーザイン
タフェース部 ９…命令実行履歴記録テーブル
Claims (1)
- 【請求項１】計算機で用いられるプログラムのデバッグ
作業を支援するためのものであって、対象プログラムの
実行時に発生したイベントの種類と内容とを記録するイ
ベント履歴記録手段と、この手段によって記録されたイ
ベントの履歴にしたがって前記プログラムを制御して動
作を再現させるプログラム動作再現手段と、この手段に
よって行われるプログラム動作再現時に実行した命令と
その命令の実行以前の内容とを保存する命令実行履歴記
録手段と、命令実行履歴から命令実行前の計算機の内部
状態を回復する逆実行とその後の再実行とを選択的に行
う命令実行履歴再現手段とを具備してなることを特徴と
するデバッグ支援装置。
Priority Applications (2)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP5011804A JPH06222952A (ja) | 1993-01-27 | 1993-01-27 | デバッグ支援装置 |
| US08/186,855 US5428618A (en) | 1993-01-27 | 1994-01-27 | Debugger apparatus and method having an event history recording capability |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP5011804A JPH06222952A (ja) | 1993-01-27 | 1993-01-27 | デバッグ支援装置 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH06222952A true JPH06222952A (ja) | 1994-08-12 |
Family
ID=11788042
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP5011804A Pending JPH06222952A (ja) | 1993-01-27 | 1993-01-27 | デバッグ支援装置 |
Country Status (2)
| Country | Link |
|---|---|
| US (1) | US5428618A (ja) |
| JP (1) | JPH06222952A (ja) |
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH08320813A (ja) * | 1995-05-26 | 1996-12-03 | Nec Corp | プログラムシミュレータ装置及びプログラムデバッグ方法 |
| US6240529B1 (en) | 1997-06-04 | 2001-05-29 | Nec Corporation | Debugging method and debugging apparatus for microcomputer system and recording medium on which debug program is recorded |
Families Citing this family (33)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2774770B2 (ja) * | 1994-05-19 | 1998-07-09 | 株式会社東芝 | デバッグ方式 |
| US6345383B1 (en) * | 1994-09-14 | 2002-02-05 | Kabushiki Kaisha Toshiba | Debugging support device and debugging support method |
| US5745687A (en) * | 1994-09-30 | 1998-04-28 | Hewlett-Packard Co | System for distributed workflow in which a routing node selects next node to be performed within a workflow procedure |
| US5682471A (en) * | 1994-10-06 | 1997-10-28 | Billings; Thomas Neal | System for transparently storing inputs to non-volatile storage and automatically re-entering them to reconstruct work if volatile memory is lost |
| US5526485A (en) * | 1994-10-13 | 1996-06-11 | Microsoft Corporation | Just-in-time debugging system and methods under the windows 3.0 and windows 3.1 operating systems |
| US5671351A (en) * | 1995-04-13 | 1997-09-23 | Texas Instruments Incorporated | System and method for automated testing and monitoring of software applications |
| US5812133A (en) * | 1995-11-01 | 1998-09-22 | Allen Bradley Company, Llc | Industrial controller with display of rung execution |
| JP3072048B2 (ja) * | 1996-03-19 | 2000-07-31 | 株式会社東芝 | 計算機システムおよび計算機システムのソフトウェア故障回復方法 |
| US5898873A (en) * | 1996-11-12 | 1999-04-27 | International Business Machines Corporation | System and method for visualizing system operation trace chronologies |
| JPH11134235A (ja) * | 1997-10-31 | 1999-05-21 | Hitachi Ltd | 外部記憶装置故障時の回復支援方法 |
| US6212653B1 (en) * | 1998-02-18 | 2001-04-03 | Telefonaktiebolaget Lm Ericsson (Publ) | Logging of events for a state driven machine |
| US6321331B1 (en) * | 1998-04-22 | 2001-11-20 | Transwitch Corporation | Real time debugger interface for embedded systems |
| GB9825102D0 (en) * | 1998-11-16 | 1999-01-13 | Insignia Solutions Plc | Computer system |
| US6230313B1 (en) * | 1998-12-23 | 2001-05-08 | Cray Inc. | Parallelism performance analysis based on execution trace information |
| US6396488B1 (en) | 1999-01-04 | 2002-05-28 | Corel Inc. | System and method for determining a path in a graphical diagram |
| JP2000311102A (ja) * | 1999-04-27 | 2000-11-07 | Denso Corp | 電子制御装置 |
| US6951011B1 (en) * | 1999-10-21 | 2005-09-27 | Oracle International Corp. | Diagnostic method and article for identifying significant events |
| US6658600B1 (en) * | 2000-04-24 | 2003-12-02 | Microsoft Corporation | Target control abstraction for debugging embedded systems |
| US6665819B1 (en) * | 2000-04-24 | 2003-12-16 | Microsoft Corporation | Data capture and analysis for embedded systems |
| US7089536B2 (en) * | 2000-05-31 | 2006-08-08 | Kabushiki Kaisha Toshiba | Computer system and method for aiding log base debugging |
| US7178136B2 (en) | 2003-06-30 | 2007-02-13 | International Business Machines Corporation | Debugging step-back button |
| JP4125274B2 (ja) * | 2004-08-26 | 2008-07-30 | キヤノン株式会社 | 画像入出力装置および情報処理方法およびコンピュータが読み取り可能なプログラムを格納した記憶媒体およびプログラム |
| US7653721B1 (en) | 2004-10-29 | 2010-01-26 | Sun Microsystems, Inc. | Mechanism for capturing high level events on user interface components |
| US9268666B2 (en) | 2005-10-21 | 2016-02-23 | Undo Ltd. | System and method for debugging of computer programs |
| GB0521465D0 (en) * | 2005-10-21 | 2005-11-30 | Law Gregory E W | System and method for debugging of computer programs |
| US20070198816A1 (en) * | 2005-11-10 | 2007-08-23 | Chuan-Po Ling | Emulation system for a single-chip multiple-microcontroller and emulation method thereof |
| US8000952B2 (en) * | 2006-03-09 | 2011-08-16 | International Business Machines Corporation | Method and system for generating multiple path application simulations |
| US8104022B2 (en) * | 2006-11-06 | 2012-01-24 | International Business Machines Corporation | Automated method for historical analysis of a memory state |
| FR2921172B1 (fr) * | 2007-09-14 | 2015-09-04 | Airbus France | Procede de debogage d'un logiciel de fonctionnement d'un systeme embarque a bord d'un aeronef et dispositif de mise en oeuvre |
| US8359581B2 (en) * | 2008-12-10 | 2013-01-22 | International Business Machines Corporation | Automatic collection of diagnostic traces in an automation framework |
| US8612937B2 (en) | 2011-08-25 | 2013-12-17 | International Business Corporation | Synchronously debugging a software program using a plurality of virtual machines |
| US20140281730A1 (en) * | 2013-03-14 | 2014-09-18 | Cadence Design Systems, Inc. | Debugging session handover |
| TWI528173B (zh) * | 2013-10-25 | 2016-04-01 | 緯創資通股份有限公司 | 自動除錯與防錯方法、裝置與電腦程式產品 |
Family Cites Families (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH03158937A (ja) * | 1989-11-17 | 1991-07-08 | Hitachi Ltd | プログラム実行制御方式 |
| US5333302A (en) * | 1991-02-28 | 1994-07-26 | Hensley Billy W | Filtering event capture data for computer software evaluation |
-
1993
- 1993-01-27 JP JP5011804A patent/JPH06222952A/ja active Pending
-
1994
- 1994-01-27 US US08/186,855 patent/US5428618A/en not_active Expired - Lifetime
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH08320813A (ja) * | 1995-05-26 | 1996-12-03 | Nec Corp | プログラムシミュレータ装置及びプログラムデバッグ方法 |
| US6240529B1 (en) | 1997-06-04 | 2001-05-29 | Nec Corporation | Debugging method and debugging apparatus for microcomputer system and recording medium on which debug program is recorded |
Also Published As
| Publication number | Publication date |
|---|---|
| US5428618A (en) | 1995-06-27 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| JPH06222952A (ja) | デバッグ支援装置 | |
| US5050168A (en) | Test coverage analyzer | |
| US20110264959A1 (en) | Partial recording of a computer program execution for replay | |
| US11074153B2 (en) | Collecting application state in a runtime environment for reversible debugging | |
| KR19990071604A (ko) | 램구성내의정보를판독하고복원하기위한처리시스템및방법 | |
| JP3110391B2 (ja) | プログラム再実行方法 | |
| JP3001470B2 (ja) | パーソナルコンピュータのブート不良検出システム | |
| JPH05165680A (ja) | メモリ操作トレ−ス装置 | |
| JPH11102310A (ja) | プログラムトレーサおよびトレースデータ圧縮記録方法 | |
| JPH0561711A (ja) | 試験診断装置 | |
| JPH0561717A (ja) | プログラムデバツグ装置 | |
| CN118227408A (zh) | 基于cpu的数据追踪方法、装置及电子终端 | |
| JPH04328644A (ja) | デバッグ支援装置 | |
| JP2001202272A (ja) | デバッグの方法とこの方法を用いたデバッグ装置及びデバッグの方法を記録した記録媒体 | |
| JP2006031248A (ja) | 関数呼び出しをフックしてログを生成するソフトウェア評価システム | |
| JPH05173846A (ja) | 障害解析情報トレース方法 | |
| JP2908446B1 (ja) | コンピュータシミュレータ及びシミュレーション方法 | |
| JP3399741B2 (ja) | ダンプデータの表示方法及び障害解析システム | |
| JPH08320813A (ja) | プログラムシミュレータ装置及びプログラムデバッグ方法 | |
| JP2001005689A (ja) | トレース採取回路 | |
| JPH11119992A (ja) | ファームウェアのトレース制御装置 | |
| JPH03127234A (ja) | 計算機システムのプログラムデバッグ装置 | |
| JPH11184728A (ja) | デバッグ処理方法ならびに装置及び同方法がプログラムされ記録される記録媒体 | |
| JPH0264749A (ja) | ログデータの記録処理方式 | |
| JPH0287237A (ja) | Ｅｘｅｃｕｔｅ命令制御方式 |