JPH1165885A - ソフトウェアディバッグ装置及びソフトウェアディバッグ方法 - Google Patents

Abstract

(57)【要約】 【課題】 コンパイラの最適化処理を受けたオブジェク
トコードに対しても、関数コールスタック情報を正しく
生成できるようにする。また、高級言語レベルでの実行
トレースを実現する。 【解決手段】 任意の関数の開始アドレスと終了アドレ
スにソフトウェアブレークを設定するためのブレークポ
イント設定管理部１８と、実行した関数の引数情報や戻
り値情報を記録する関数実行履歴データ格納部１９を有
し、スタックデータの解析を上記のソフトウェアブレー
ク条件発生時に行うことにより、コンパイラの最適化処
理を受けたオブジェクトコードに対しても関数コールス
タック情報を正しく生成することができるとともに、高
級言語レベルで実行トレースを実現する。

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】本発明は、ソフトウェア開発
のディバッグ工程で使われるソフトウェアディバッグ装
置及び方法に関するものであり、特に、ディバッグ対象
となるオブジェクトコードがコンパイラの最適化処理を
受けていてスタックデータの解析が正しく行えない場合
にも、関数コールスタック情報を正しく生成できるよう
にするとともに、高級言語レベルでのプログラム実行ト
レースを実現するソフトウェアディバッグ装置及び方法
に関するものである。

【０００２】

【従来の技術】関数コールスタック機能は、ある特定の
時点で、すでに呼び出された関数のうち、まだ呼び出し
側に戻っていない関数を順番にリストし、現在実行中の
関数をその先頭に置いて表示する機能で、それぞれの呼
び出しについて渡した引数名と値、返却値などを表示す
る。

【０００３】また、従来のソースディバッガではアセン
ブラレベルでのプログラム実行トレースしかサポートさ
れていないことが多く、開発者が自分の使用したプログ
ラミング言語のレベルでディバッグ作業を行うことがで
きなかった。

【０００４】図２は、従来のソフトウェアディバッグ装
置のブロック構成図である。図２において、ソフトウェ
アディバッグ装置は、ディバッグ用のアプリケーション
プログラムであるソースディバッガ１１を含むコンピュ
ータ１０と、ソースディバッガ１１の制御により被試験
プログラムのエミュレーションを行うエミュレータ１２
とを備える。コンパイラ２５とリンカ２６は、Ｃ言語ソ
ースファイル２４からオブジェクトファイル２７を生成
し、オブジェクトファイル２７が被試験プログラムとな
る。オブジェクトファイル２７は、エミュレータ１２の
中のエミュレーション部１５で実行され、その実行結果
はトレースデータという形でトレースデータ格納部１６
に蓄積される。

【０００５】関数コールスタック機能の実現方法につい
て説明する。被試験プログラムを任意のアドレスまで実
行し、プログラムの実行を止める。その時、ソースディ
バッガ１１は、エミュレーション部１５内にあるスタッ
クメモリのデータを通信インタフェース部１４と通信イ
ンタフェース部１３を経由して、スタック情報解析部２
３に読み込む。また、ソースディバッガ１１は、オブジ
ェクトファイル２７に含まれるディバッグ情報を読み込
み、シンボル情報解析部１７にてシンボル情報を解析
し、その結果をスタック情報解析部２３に送る。スタッ
ク情報解析部２３は、シンボル情報解析部１７から出力
されたシンボル情報と、エミュレーション部１５から出
力されたスタックメモリのデータから、スタックメモリ
上に積まれている関数の情報を解析する。

【０００６】図３は、一般的な関数の関数呼び出し時の
スタックメモリへのデータの積み方を示したものであ
る。現在呼び出されている関数は、それぞれ図３のよう
なスタック情報をスタックメモリ上に積んでいる。これ
らを解析することにより、関数の呼び出し順序を知るこ
とができる。スタック情報解析部２３で作成された関数
情報を、関数コールスタック表示部２０で関数コールス
タック情報として表示する。

【０００７】次に、プログラム実行トレース機能の実現
方法について説明する。被試験プログラムをエミュレー
ション部１５で実行すると、インストラクションの実行
結果やメモリのアクセス結果を示すデータが、トレース
データ格納部１６に書き込まれる。ソースディバッガ１
１は、トレースデータ格納部１６に格納されたトレース
データを通信インタフェース部１４、通信インタフェー
ス部１３を経由して読み出し、データを整形した後、実
行トレース表示部２２に表示する。この場合、トレース
データ格納部１６に格納されているトレースデータは、
アセンブラレベルのデータであるため、ソースディバッ
ガ１１で特別な処理を行わない限り、実行トレースで表
示部２２に表示されるデータはアセンブラレベルのデー
タとなる。

【０００８】また、このような従来例としては、例え
ば、特開平６−２４２９４３号公報に、「ソースコード
レベルデバッグ装置」の開示があるが、これは、コンパ
イラの最適化処理によって命令の実行順序が変更される
等ソースプログラムと逆アセンブルコードの対応がとれ
なくなる場合にもソースコードディバッグができるよう
にするためのものであり、本発明の目的や用途とは異な
るものである。

【０００９】

【発明が解決しようとする課題】以下、図３を用いてス
タックデータの積み方について説明する。関数呼び出し
時には、目的の関数を呼び出す前に、呼び出し元の関数
側で、まずワーク用途で使用するレジスタの値をスタッ
クメモリ上に退避する。これがワーク用レジスタ退避領
域５０である。次に引数、関数の戻りアドレスをスタッ
クメモリに積んで関数を呼び出す。呼び出された関数側
では、現在のフレームポインタ値５７、レジスタ変数用
に割り当てるレジスタ値を退避し、オートマチック変数
用の領域を確保する。これらは、それぞれ引数領域５
１、戻りアドレス領域５２、ＯＬＤＦＰ領域５３、レジ
スタ変数退避領域５４、オートマチック変数領域５５に
格納される。引数領域５１は、ｎｏａｕｔｏ関数、ｎｏ
ｒｅｃ関数のように引数をレジスタ渡しする関数の場合
には、引数を格納したレジスタのデータ退避領域とな
る。特殊なケースとして、コンパイラの最適化オプショ
ン指定によりフレームポインタを使用しないように指定
した場合や、ｎｏａｕｔｏ関数、ｎｏｒｅｃ関数の呼び
出し時には、ＯＬＤ ＦＰ領域５３は存在しない。スタ
ックフレームサイズ５６は、コンパイラの出力情報であ
り、スタックポインタ（ＳＰ）とこの値を使って戻りア
ドレス領域５２の位置を決定する。ＯＬＤ ＦＰ領域５
３に格納された値は、現在実行中の関数を呼び出した呼
び出し元関数のスタックデータの終端５７を指す。

【００１０】図４は、ｎｏａｕｔｏ，ｎｏｒｅｃ関数宣
言を使用したＣ言語ソースプログラムの一例である。プ
ログラム中で宣言されている関数は３つであり、ｍａｉ
ｎは通常の関数、ｆｕｎｃＡはｎｏａｕｔｏ宣言した関
数、ｆｕｎｃＢはｎｏｒｅｃ宣言した関数である。プロ
グラムを図４の２５行目のｍａｉｎ関数から実行し、１
０行目のｆｕｎｃＢ関数を呼び出したところでブレーク
させた時のスタックメモリの状態を図５に示す。

【００１１】図５の６０，６１，６２は、ｆｕｎｃＡ関
数呼び出し時にｍａｉｎ関数が積んだスタックデータで
あり、６３，６４，６５は、ｆｕｎｃＢ関数呼び出し時
にｆｕｎｃＡ関数が積んだスタックデータである。現在
のプログラムカウンタ（ＰＣ）の値をエミュレータ部か
ら読み出し、シンボル情報と比較することにより、現在
実行中の関数がｆｕｎｃＢ関数であることを特定するこ
とができる。

【００１２】また、現在のＳＰの値から戻りアドレス領
域６５に格納されている値を読み出し、ｆｕｎｃＡ関数
が積んだ戻りアドレスの値を取得できる。このアドレス
がｆｕｎｃＡ関数の範囲内にあることからｆｕｎｃＢ関
数がｆｕｎｃＡ関数から呼び出されたと結論付けること
ができる。更に、ｆｕｎｃＡ関数の呼び出し元関数を特
定するためには、戻りアドレス領域６２に格納されてい
るアドレス値を読み出さなければならない。

【００１３】しかし、ワーク用レジスタ退避領域６３の
サイズ情報はコンパイラの出力にはないため、戻りアド
レス領域６２の位置を特定することはできず、これ以上
スタックデータを正しく解析することはできない。この
ことから、図３のＯＬＤ ＦＰ領域５３がスタックメモ
リ上に積まれている場合を除いて、すなわち、コンパイ
ラの最適化オプション指定時やｎｏａｕｔｏ関数、ｎｏ
ｒｅｃ関数使用時には、幾重にもネストした関数の呼び
出し関係をスタックデータを解析することによって調べ
ることはできないという問題があった。

【００１４】先に示したように、関数スタックトレース
機能は、関数の呼び出し時にスタックメモリ上に積まれ
たスタックデータを、現在のＳＰの位置を頼りに、順番
に解析することによって実現されている。スタックメモ
リ上に積まれるデータとしては、関数の戻りアドレス以
外に引数の情報やレジスタの退避データなどがあり、こ
れらの解析を正しく行うことが求められる。

【００１５】プログラマはコード効率を上げるために、
コンパイル時にスタックフレームを最適化する最適化オ
プションを指定したり、コンパイラに固有の拡張機能を
使うことがある。例えば、オートマチック変数を使用し
ない関数の場合には、関数をｎｏａｕｔｏ関数として宣
言することで、スタックフレームの最適化をはかること
ができる。スタックフレームを最適化することにより、
関数呼び出しの前後処理を簡素化し、オブジェクトコー
ドの短縮と実行速度の向上を図ることができる。また、
関数自身から他の関数を呼び出さない関数に対しては、
関数をｎｏｒｅｃ関数として宣言することにより、ｎｏ
ａｕｔｏ関数と同様の効果を得ることができる。

【００１６】また、従来のディバッグ装置の構成で、高
級言語レベルでの実行トレース情報を提供するために
は、図２のトレースデータ格納部１６に保存されている
トレースデータと、ソースディバッガ１１がオブジェク
トファイル２７から読み込んだシンボル情報を元に、高
級言語レベルの実行トレース情報を作成することが考え
られる。しかしこの場合、トレースデータ格納部１６に
保存されるデータの中には、実行トレース情報を作成す
るのに必要なデータ以外のものが多く含まれており、実
際に有効なデータが少ない。そのため、十分な量の実行
トレース情報を作成することはできないと考えられる。

【００１７】また、トレースデータを格納するトレース
メモリの容量を大きくすることは、コスト的に問題があ
り有効な手段とは言えない。そのため、従来のディバッ
グ装置の構成で実用的な高級言語レベル実行トレースを
実現することは、事実上不可能であると考えられてい
る。

【００１８】［発明の目的］本発明の目的は、コンパイ
ラの最適化処理を受けたオブジェクトコードに対して
も、関数コールスタック情報を正しく生成できるように
することにある。

【００１９】また、高級言語レベルでの実行トレースを
実現することにある。

【００２０】

【課題を解決するための手段】本発明は、前述した課題
を解決するための手段として、検査対象となるソースプ
ログラムをコンパイル処理によってオブジェクトコード
に変換し、前記オブジェクトコードに従う処理を順次実
行させることによって前記ソースプログラムを検証する
ソフトウェアディバッグ装置において、前記ソースプロ
グラム中の任意の関数の開始アドレスと終了アドレスに
ソフトウェアブレーク条件を設定するためのブレークポ
イント設定管理部と、前記関数の実行順に関数実行情報
を保存する関数実行履歴データ格納部と、を有し、前記
ソフトウェアブレーク条件の成立時毎にスタックメモリ
を解析することにより、前記関数実行履歴データを生成
する手段を有することを特徴とするソフトウェアディバ
ッグ装置を提供するものである。

【００２１】また、前記関数実行履歴データ格納部に登
録された情報から、関数コールスタック情報を生成する
手段を有することを特徴とする。

【００２２】また、前記関数実行履歴データ格納部に登
録された情報から、高級言語レベルの実行トレース情報
を生成する手段を有することを特徴とする。

【００２３】また、本発明は、前述した課題を解決する
ための手段として、検査対象となるソースプログラムを
コンパイル処理によってオブジェクトコードに変換し、
前記オブジェクトコードに従う処理を順次実行させるこ
とによって前記ソースプログラムを検証するソフトウェ
アディバッグ方法において、前記ソースプログラム中の
任意の関数の開始アドレスと終了アドレスにソフトウェ
アブレーク条件を設定し、前記ソフトウェアブレーク条
件の成立時毎に、スタックメモリを解析することにより
関数実行履歴データを生成し、前記関数の実行順に関数
実行情報を保存する関数実行履歴データ格納部に格納す
ることを特徴とするソフトウェアディバッグ方法を提供
するものである。

【００２４】［作用］本発明によれば、任意の関数の開
始アドレスと終了アドレスにソフトウェアブレークを設
定するためのブレークポイント設定管理部（図１の１
８）と、実行した関数の引数情報や戻り値情報を記録す
る関数実行履歴データ格納部（図１の１９）を有し、ス
タックデータの解析を上記のソフトウェアブレーク条件
発生時（成立時）に行うことにより、コンパイラの最適
化処理を受けたオブジェクトコードに対しても関数コー
ルスタック情報を正しく生成することができるととも
に、高級言語レベルで実行トレースを実現することがで
きる。

【００２５】スタックデータの解析を正確に行なうため
には、現在実行中の関数に関しては、常に正しくスタッ
クデータの解析を行うことができる。このことから、ど
のような状況においても正しく関数スタックトレースを
行うためには、個々の関数が呼び出された直後のタイミ
ングでスタックデータの解析を行えばよい。そこで、本
発明は、エミュレータのソフトウェアブレーク機能を使
って、任意の関数の開始アドレスと終了アドレスにブレ
ーク条件を設定し、関数が呼び出された直後のスタック
メモリ情報を解析することにより、コンパイラの最適化
オプション指定時や、ｎｏａｕｔｏ関数、ｎｏｒｅｃ関
数使用時にもスタックデータの解析を正しく行うもので
ある。

【００２６】関数の開始アドレスのブレーク条件は、関
数の戻りアドレスと引数の取得に使用し、終了アドレス
のブレーク条件は、返却値の取得に使用する。取得した
戻りアドレス（関数名）、引数、返却値は、関数実行履
歴データとして関数実行履歴データ格納部に登録され
る。関数実行履歴データからは、関数コールスタック情
報を作成することができるとともに、関数のプログラム
実行トレースを高級言語の関数レベルで実現することが
できる。

【００２７】このように、本発明は、コンパイラの最適
化処理が施されたオブジェクトコードに対しても正しく
関数コールスタック情報を生成することができること、
更には高級言語レベルでの実行トレースを実現すること
を特徴とする。

【００２８】以下、更に、本発明の作用効果について説
明する。

【００２９】従来の高級言語デバッガでサポートされて
いる関数コールスタック機能では、ある特定条件下にお
いては、関数のコールスタック情報を正しく取得するこ
とができないという問題があった。

【００３０】また、プログラム中で実行した関数の処理
の全体的な流れ（履歴）を追うことができなかった。

【００３１】これは、例えば、コンパイラの最適化オプ
ション指定時や、ｎｏａｕｔｏ，ｎｏｒｅｃ関数使用時
にはスタックデータの解析が正しく行えないからであ
る。

【００３２】また、プログラム実行を停止させた（ブレ
ーク）状態で、スタックメモリの解析を行っているから
である。

【００３３】そこで、本発明では、コンパイラから出力
されたシンボル情報をもとに、任意の関数の開始アドレ
スと終了アドレスにソフトウェアブレーク条件を設定す
ることにより、各関数がコールされた順序、引数の情
報、戻り値の情報をメモリ上に格納し、解析すること
で、Ｃ言語レベルでの関数のコールスタック履歴を生成
する。

【００３４】ｎｏａｕｔｏ関数やｎｏｒｅｃ関数は、引
数をレジスタ渡しするため、この場合、引数はレジスタ
から取得する。取得した引数を関数名とともに関数実行
履歴データ格納部（図１の１９）に登録する。

【００３５】すなわち、本発明では、各関数の開始アド
レスにソフトウェアブレークイベントを設定し、イベン
トブレーク時に、その関数の戻り番地にソフトウェアブ
レークイベントを設定している。開始アドレスによるブ
レーク時には引数情報を、また戻り番地によるブレーク
時には返却値情報を保存し、関数コールスタック情報を
生成する。

【００３６】本発明では、関数がコールされた直後にス
タックメモリ情報を解析しているため、ｎｏａｕｔｏ，
ｎｏｒｅｃ関数使用時や、コンパイラの最適化オプショ
ン指定時にも、常に正しいスタック情報を得ることがで
きる。

【００３７】これにより、本発明によれば、いかなる条
件下でも、関数コールスタック情報を正しく生成するこ
とができる。

【００３８】また、従来のアセンブラレベルでのトレー
ス情報ではなく、Ｃ言語等の高級言語レベルでプログラ
ムの処理の流れを追うことができるため、Ｃ言語等の高
級言語で開発しているプログラマにとっては開発効率の
向上が見込まれる。

【００３９】

【実施例】本発明の実施例について、図１を用いて説明
する。図１は、本発明を実施するソフトウェアディバッ
グ装置のブロック構成図である。図１において、ソフト
ウェアディバッグ装置は、ディバッグ用のアプリケーシ
ョンプログラムであるソースディバッガ１１を含むコン
ピュータ１０と、ソースディバッガ１１の制御により被
試験プログラムのエミュレーションを行うエミュレータ
１２とを備える。被試験プログラムであるオブジェクト
ファイル２７は、Ｃ言語ソースファイル２４にコンパイ
ラ２５、リンカ２６の処理を施して作成したものであ
る。ソースディバッガ１１は、オブジェクトファイル２
７を読み込み、シンボル情報解析部１７で全ての関数の
開始・終了アドレスの情報をテーブル化し、関数アドレ
ス情報テーブルを作成する。

【００４０】ソースディバッガ１１は、この関数アドレ
ス情報テーブルを元に各関数の開始アドレスと終了アド
レスに対してブレークポイント設定管理部１８からソフ
トウェアブレーク条件を設定する。ソフトウェアブレー
クは、エミュレータの持つ機能であり、設定可能なブレ
ークポイントの数がハードウェアブレークポイントに比
べて十分に多いことが特長である。エミュレータ１２内
には、オブジェクトコードの実行をエミュレートするエ
ミュレーション部１５と、インストラクションの実行結
果やメモリのアクセス結果を保持するトレースデータ格
納部１６を有する。ソースディバッガ１１は、エミュレ
ーション部１５内のスタックメモリから読み出したスタ
ックデータと、オブジェクトファイル２７を読み込みシ
ンボル情報解析部１７で作成したシンボル情報から、ス
タック情報解析部２３で関数実行履歴データを作成し、
関数実行履歴データ格納部１９に保存する。このデータ
をもとに、関数コールスタック情報を関数コールスタッ
ク表示部２０に、高級言語レベルでの実行トレース結果
を実行トレース表示部２１に表示する。また、従来と同
様にアセンブラレベルでのトレースも実行トレース表示
部２２に表示する。

【００４１】これらの詳細を図４のＣ言語ソースプログ
ラム例を用いて説明する。図４のＣ言語ソースプログラ
ムに対してコンパイラ２５とリンカ２６から出力された
オブジェクトファイル２７をソースディバッガ１１で読
み込み、エミュレータ１２にダウンロードする。

【００４２】ソースディバッガ１１は、シンボル情報解
析部１７で関数アドレス情報テーブルを作成する。ソー
スディバッガ１１は、関数アドレス情報テーブルの情報
を元に、任意の関数の開始アドレスと終了アドレスの全
てに対して、ブレークポイント設定管理部１８からソフ
トウェアブレーク条件を設定する。

【００４３】ソフトウェアブレーク条件設定後、被試験
プログラムを実行すると、はじめに図４の２６行目のｍ
ａｉｎ関数の開始アドレスでブレークする。ここで、エ
ミュレーション部１５からＰＣの値を読み出し、関数ア
ドレス情報テーブルのデータから現在実行中の関数がｍ
ａｉｎ関数であることを特定する。

【００４４】更に、スタック情報解析部２３がエミュレ
ーション部１５の中のスタックデータとシンボル情報解
析部１８の出力情報を読み込んで解析し、関数名と引数
を関数実行履歴データ格納部１９に登録する。関数実行
履歴データ取得後、ソースディバッガ１１はプログラム
を再実行する。

【００４５】次に、図４の１５行目のｆｕｎｃＡ関数の
開始アドレスでブレークする。この時、スタックメモリ
には図５の６０，６１，６２のデータが積まれている。
先ほどと同様に、ＰＣ値から関数がｆｕｎｃＡ関数であ
ることを特定する。ｎｏａｕｔｏ関数であるｆｕｎｃＡ
関数は引数をレジスタ渡しするため、この場合、引数は
レジスタから取得する。取得した引数を関数名とともに
関数実行履歴データ格納部１９に登録する。

【００４６】更にプログラムを実行すると、図４の１０
行目のｆｕｎｃＢ関数の開始アドレスでブレークする。
この時、スタックメモリには図５の６３，６４，６５が
積まれている。ｎｏｒｅｃ関数も引数をレジスタ渡しす
るため、ここでも同様にレジスタから引数を取得し、関
数名とともに関数実行履歴データ格納部１９に登録す
る。

【００４７】更にプログラムを実行すると、１３行目の
ｆｕｎｃＢ関数の終了アドレスでブレークする。ここで
は、ＰＣ値を元に実行中の関数がｆｕｎｃＢ関数である
ことを特定する。ソースディバッガ１１は、返却値を格
納しているレジスタから返却値を取得した後、関数名と
ともに関数実行履歴データ格納部１９に登録する。返却
後は、関数の返却値の型によって渡す場所があらかじめ
決められている。

【００４８】続いて、プログラムを再実行すると、２３
行目のｆｕｎｃＡ関数の終了アドレスでブレークする。
ここでも、同様に関数名と返却値を関数実行履歴データ
格納部１９に登録する。ｍａｉｎ関数の終了アドレスに
ついても同様に処理を行い、関数実行履歴データ格納部
１９に全てのデータを登録する。

【００４９】また、関数実行履歴データ格納部のデータ
をもとに、関数コールスタック情報を関数コールスタッ
ク表示部２０に、高級言語レベルでの実行トレース結果
を実行トレース表示部２１に表示する。また、従来と同
様にアセンブラレベルでのトレースも実行トレース表示
部２２に表示する。

【００５０】最後に、関数実行履歴データ格納部１９に
登録されたデータの表示例を示す。図４の１０行目のｆ
ｕｎｃＢ関数呼び出し時に、関数コールスタック表示部
２０に表示されるデータは図６（ａ）のようになる。ま
た、図４の１８行目でＣ言語レベルの実行トレース表示
部２１に表示されるデータは図６（ｂ）のようになる。
７０は引数の値であり、７１は返却値の値である。引数
がポインタの場合にはアドレス値を表示し、返却後は＜
ｒｅｔｕｒｎ＞として表示される。

【００５１】

【発明の効果】以上のように本発明によれば、コンパイ
ル時に最適化オプションを指定した場合、あるいはコン
パイラの拡張機能であるｎｏａｕｔｏ関数宣言、ｎｏｒ
ｅｃ関数宣言を使用して、オブジェクトコードの効率化
をはかった関数に対しても、正しく関数コールスタック
データを生成することができる。

【００５２】また、関数実行履歴データを使用して、高
級言語レベルのプログラム実行トレースデータを生成す
ることができる。これにより、被試験プログラムと同じ
高級言語レベルでのディバッグが可能となり、ディバッ
グ作業の効率を向上させることができる。

【図面の簡単な説明】

【図１】本発明を実施する装置の一実施例を示すブロッ
ク構成図。

【図２】従来の装置の一例を示すブロック構成図。

【図３】関数呼び出し時のスタックメモリ状態図。

【図４】Ｃ言語ソースプログラム例。

【図５】図４のソースプログラムにおけるスタック状態
図。

【図６】関数コールスタック表示例と実行トレース表示
例。

【符号の説明】

１０ コンピュータ １１ ソースディバッガ １２ エミュレータ １３ 通信インタフェース部（コンピュータ側） １４ 通信インタフェース部（エミュレータ側） １５ エミュレーション部 １６ トレースデータ格納部 １７ シンボル情報解析部 １８ ブレークポイント設定管理部 １９ 関数実行履歴データ格納部 ２０ 関数コールスタック表示部 ２１ 実行トレース表示部（Ｃ言語レベル） ２２ 実行トレース表示部（アセンブラレベル） ２３ スタック情報解析部 ２４ Ｃ言語ソースファイル ２５ コンパイラ ２６ リンカ ２７ オブジェクトファイル ５０ ワーク用レジスタ退避領域 ５１ 引数領域 ５２ 戻りアドレス領域 ５３ ＯＬＤ ＦＰ領域 ５４ オートマティック変数領域 ５５ レジスタ変数退避領域 ５６ スタックフレームサイズ ５７ 呼び出し元関数のスタック領域の終端（＝ＯＬ
Ｄ ＦＰ） ５８ フレームポインタ ５９ スタックポインタ ６０ ｍａｉｎ関数が積んだワーク用レジスタ退避領
域 ６１ ｍａｉｎ関数が積んだ引数用レジスタ退避領域 ６２ ｍａｉｎ関数が積んだ戻りアドレス領域 ６３ ｆｕｎｃＡ関数が積んだワーク用レジスタ退避
領域 ６４ ｆｕｎｃＡ関数が積んだ引数用レジスタ退避領
域 ６５ ｆｕｎｃＡ関数が積んだ戻りアドレス領域 ７０ プログラム実行トレースの引数情報 ７１ プログラム実行トレースの返却値情報

Claims (6)

【特許請求の範囲】
1. 【請求項１】 検査対象となるソースプログラムをコン
   パイル処理によってオブジェクトコードに変換し、前記
   オブジェクトコードに従う処理を順次実行させることに
   よって前記ソースプログラムを検証するソフトウェアデ
   ィバッグ装置において、 前記ソースプログラム中の任意の関数の開始アドレスと
   終了アドレスにソフトウェアブレーク条件を設定するた
   めのブレークポイント設定管理部と、 前記関数の実行順に関数実行情報を保存する関数実行履
   歴データ格納部と、を有し、 前記ソフトウェアブレーク条件の成立時毎にスタックメ
   モリを解析することにより、前記関数実行履歴データを
   生成する手段を有することを特徴とするソフトウェアデ
   ィバッグ装置。
2. 【請求項２】 前記関数実行履歴データ格納部に登録さ
   れた情報から、関数コールスタック情報を生成する手段
   を有することを特徴とする請求項１記載のソフトウェア
   ディバッグ装置。
3. 【請求項３】 前記関数実行履歴データ格納部に登録さ
   れた情報から、高級言語レベルの実行トレース情報を生
   成する手段を有することを特徴とする請求項１記載のソ
   フトウェアディバッグ装置。
4. 【請求項４】 検査対象となるソースプログラムをコン
   パイル処理によってオブジェクトコードに変換し、前記
   オブジェクトコードに従う処理を順次実行させることに
   よって前記ソースプログラムを検証するソフトウェアデ
   ィバッグ方法において、 前記ソースプログラム中の任意の関数の開始アドレスと
   終了アドレスにソフトウェアブレーク条件を設定し、 前記ソフトウェアブレーク条件の成立時毎に、スタック
   メモリを解析することにより関数実行履歴データを生成
   し、前記関数の実行順に関数実行情報を保存する関数実
   行履歴データ格納部に格納することを特徴とするソフト
   ウェアディバッグ方法。
5. 【請求項５】 前記関数実行履歴データ格納部に登録さ
   れた情報から、関数コールスタック情報を生成すること
   を特徴とする請求項４記載のソフトウェアディバッグ方
   法。
6. 【請求項６】 前記関数実行履歴データ格納部に登録さ
   れた情報から、高級言語レベルの実行トレース情報を生
   成することを特徴とする請求項４記載のソフトウェアデ
   ィバッグ方法。