JPH10260862A

JPH10260862A - 開発支援装置

Info

Publication number: JPH10260862A
Application number: JP9066458A
Authority: JP
Inventors: Keiji Ono; 圭司小野
Original assignee: NEC IC Microcomputer Systems Co Ltd
Current assignee: NEC IC Microcomputer Systems Co Ltd
Priority date: 1997-03-19
Filing date: 1997-03-19
Publication date: 1998-09-29

Abstract

(57)【要約】【課題】最大スタック消費時のプログラム・ルートを知
ることができてプログラムの再設計部分の特定，最適化
を容易にし、かつ再帰的な関数呼び出し時のスタック消
費量を正確に把握できるようにする。【解決手段】スタック部１３１を備えたメモリ部１０
３、実行部１０４及びレジスタ１０５を含み対象とする
プログラムを実行するプログラム実行手段を設ける。プ
ログラム実行時のスタック部１３１に対する最大スタッ
ク消費量を検出し保持する検出器１０２及びスタック消
費量解析部１０１を設ける。消費パス解析部１１１，レ
ジスタ情報保持部１１２，スタック情報保持部１１３及
び関数情報保持部１１４を含みプログラム実行時にスタ
ック部１３１が使用されたときのプログラム・パス等を
解析，保持するスタック消費パス解析部１１０を設け
る。

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】本発明は開発支援装置に関
し、特に開発対象のプログラムで使用されるスタックの
使用量を検出する機能を備えた開発支援装置に関する。

【０００２】

【従来の技術】所定のプログラムを開発する場合、この
開発対象のプログラムで使用されるスタックの使用量が
重要な要素となるので、その開発支援装置には、スタッ
クの使用量を検出する機能を備えているものが多い。

【０００３】図７は従来のこの種の開発支援装置の第１
の例を示すブロック図である（例えば特開平５−２５０
２２１号公報参照）。

【０００４】この開発支援装置は、大きく分けて、実行
するプログラム等の情報を格納する入力ファイル２と、
シミュレーション及びプログラムを実行するシミュレー
タ・プログラム実行手段２００と、このシミュレータ・
プログラム実行手段２００に対する動作の指示や実行結
果等の表示を行うコンソール３とを備えて構成され、シ
ミュレータ・プログラム実行手段２００は、入力ファイ
ル２よりプログラム等の情報を入力する入力部２０１
と、入力された情報に対応し命令等のシミュレートを行
うシミュレート実行部２０４と、コンソール３から入力
される情報の内容を解析する解析部２０２と、この解析
部２０２の解析結果を受けてシミュレート実行部２０４
におけるプログラムの実行を制御しその結果を表示制御
する表示制御部２０３とを備えている。更に、シミュレ
ート実行部２０４は、プログラム実行時にスタックの使
用するメモリ領域情報を検出して出力するスタック情報
検出部２５１、スタック・ポインタの指定値を保持する
スタック指定値保持部２５２、及び命令実行時における
スタック・ポインタ値を保持するスタック値保持部２５
３を含む命令実行部２０５と、スタック・ポインタの値
を保持するメモリ／レジスタ内容保持部２０６とを備え
ている。

【０００５】このような構成とすることにより、プログ
ラムの実行時に最も多くスタックを使用したときのメモ
リ／レジスタ内容保持部２０６のメモリ領域のアドレス
値を検出し出力することにより、プログラム実行時のス
タック・サイズが容易に確認でき、かつスタック・サイ
ズの設定が正確に行えるようにしている。

【０００６】図８及び図９は従来の開発支援装置の第２
の例を説明するためのスタック使用量検出処理手順を示
すフローチャート、及びそのシステム構成を示すブロッ
ク図である（例えば特開平７−１５２５７８号公報参
照）。

【０００７】この第２の例では、対象とするプログラム
中の全関数と各関数のスタック使用量と客観数の相関関
係とを求め（ステップＳ５１）、この相関関係に基づい
てメインとなる親関数が呼び出す関数の各スタック使用
量を親関数から順次加算して加算値Ｘを求め（Ｓ５
２）、求めた加算値Ｘが、保持している最大値Ｘｍａｘ
より大きいとき加算値Ｘを最下値Ｘｍａｘとして更新し
（Ｓ５３，Ｓ５４）、次に最終関数から親関数へと順
に、加算値Ｘから各スタック使用量を減算して行き、親
関数が他の子関数を有するとき他方の子関数のスタック
使用量を加算値Ｘに加算して上記と同様に処理を行い
（Ｓ５５〜Ｓ６０）、親関数がなくなったとき保持して
いる最大値Ｘｍａｘを最大スタック使用量として表示装
置６に表示する（Ｓ６１）構成とすることにより、実際
にプログラムを実行させなくても、確実容易に最大スタ
ック使用量が検出できるようにしている。

【０００８】

【発明が解決しようとする課題】上述した従来の開発支
援装置では、最大スタック使用量（消費量）が容易に検
出できるようにし、この検出された最大スタック使用量
により正確にスタック・サイズを設定することができる
が、予め設定されたサイズのスタック両域内にスタック
使用量が収まらない場合に、どのプログラム・ルートを
通ったときにスタック使用量が最大となり、プログラム
のどの部分を再設計すればよいのか特定できないという
問題点、及びプログラム実行時に、スタックが使用され
たときの状態が保持されていないため、再帰的な関数呼
び出しがあったときのスタック消費量が正確に把握でき
ないという問題点がある。

【０００９】本発明の目的は、最大スタック消費時のプ
ログラム・ルートを知ることができてプログラムの再設
計部分の特定、最適化が容易になると共に、再帰的な関
数呼び出し時のスタック消費量を正確に把握することが
できる開発支援装置を提供することにある。

【００１０】

【課題を解決するための手段】本発明の開発支援装置
は、スタック部を含むメモリ部を備え対象とするプログ
ラムを実行するプログラム実行手段と、前記プログラム
の実行時の前記スタック部に対する最大スタック消費量
を検出し保持する最大スタック消費量検出手段と、前記
プログラムの実行時に前記スタック部が使用されたとき
のプログラム・パスを含む各種プログラム情報を解析し
保持するスタック消費パス解析手段とを有し、前記プロ
グラム実行手段に、前記プログラムの実行時に使用され
るレジスタを含み、前記スタック消費パス解析手段に、
前記スタック部が使用されたときに、このスタック部の
内容を保持するスタック情報保持部と、前記レジスタの
内容を複写し保持するレジスタ情報保持部と、前記プロ
グラムより得られた各関数の諸情報を保持する関数情報
保持部と、前記スタック情報保持部，レジスタ情報保持
部及び関数情報保持部の保持内容を解析してスタック消
費パスを解析する消費パス解析部と、この消費パス解析
部によるスタック消費パスの解析時に使用される関数名
カウンタ，ワーク・カウンタ及び関数名保持エリアとを
含んで構成される。

【００１１】また、前記最大スタック量の検出処理手順
に、前記検出手段の検出条件を前記スタック部の初期ア
ドレスに設定する第１の手順と、前記プログラムを実行
する第２の手順と、前記プログラムの実行が終了したか
どうか判断し、終了であれば処理手順を終了する第３の
手順と、前記判断の結果が未終了であれば前記スタック
部の使用状況をチェックし、それまでに消費されたスタ
ック消費量よりも多くのスタック領域を消費しているか
どうか判断し、その判断結果がそれまでに消費されたス
タック消費量よりも小さければ前記第２の手順に分岐す
る第４の手順と、前記第４の手順の判断結果が、前記ス
タック情報保持部に既に保持されているスタック情報量
が前記スタック部に記録されているスタック消費量より
も大であれば前記スタック部の内容を前記スタック情報
保持部に複写する第５の手順と、プログラム・カウンタ
の値とスタック・ポインタの値とを前記レジスタ情報保
持部に複写する第６の手順と、前記検出手段の検出条件
を、現検出条件からスタック走査１回分を減算した値に
変更し前記第２の手順に分岐する第７の手順とを含んで
構成される。

【００１２】また、前記関数情報保持部に保持される情
報を、前記プログラムに含まれる全関数の、関数名、関
数スタートアドレス、関数エンドアドレス、引数サイズ
情報、及び自動変数サイズ情報と、前記全関数の数とを
含む構成とし、前記スタック消費パス解析手段による処
理手順に、前記関数名カウンタの値を“０”に初期化す
る第１の手順と、前記ワーク・カウンタを“０”に初期
化する第２の手順と、前記全関数の数と前記ワーク・カ
ウンタの値とを比較する第３の手順と、前記比較の結果
が、前記ワーク・カウンタの値が前記全関数の数以上の
場合はエラーメッセージを出力し、処理手順を終了する
第４の手順と、前記比較の結果が、前記ワーク・カウン
タの値が前記全関数の数より小さい場合は前記ワーク・
カウンタの値が示す関数の関数情報を前記関数情報保持
部より取得する第５の手順と、前記プログラム・カウン
タの値が、前記関数スタートアドレスの値と前記関数エ
ンドアドレスの値との間でなければ前記ワーク・カウン
タの値をインクリメントして前記第３の手順に分岐する
第６の手順と、前記プログラム・カウンタの値が、前記
関数スタートアドレスの値と前記関数エンドアドレスの
値との間でなければ前記ワーク・カウンタの値をインク
リメントして前記第３の手順に分岐する第６の手順と、
前記プログラム・カウンタの値が、前記関数スタートア
ドレスの値と前記関数エンドアドレスの値との間であれ
ば前記関数情報保持部に保持されている前記関数名を前
記関数名カウンタが示す前記関数名保持エリアの位置に
保持する第７の手順と、この第７の手順の後、前記関数
カウンタの値をインクリメントする第８の手順と、前記
レジスタ情報保持部の前記スタック・ポインタの値を、
前記スタック・ポインタの値から前記自動変数サイズと
前記引数サイズの値を減算した値に１を加算した値に変
更する第９の手順と、前記スタック部の初期アドレスの
値と前記スタック・ポインタの値とを比較し前記スタッ
ク・ポインタの値が、前記スタック部の初期アドレスの
値以上の場合は前記プログラムが実際に動作した通過パ
スを表示処理し処理手順を終了する第１０の手順と、こ
の第１０の手順の後、前記プログラマブル・カウンタの
値を、前記スタック・ポインタの値に変更し前記第２の
手順に分岐する第１１の手順とを含んで構成される。

【００１３】

【発明の実施の形態】次に本発明の実施の形態について
図面を参照して説明する。

【００１４】図１は本発明の一実施の形態を示すブロッ
ク図である。

【００１５】この実施の形態は、大きく分けて、実行す
るプログラム等のファイル情報を格納する入力ファイル
２と、この入力ファイル２からのプログラム実行時に消
費されるスタック消費量やスタック消費パスの解析等を
行うスタック情報解析部１と、このスタック情報解析部
１に対する動作の指示や解析結果等の表示を行うコンソ
ール３とを備えて構成され、スタック情報解析部１は、
入力ファイル２から読出されたプログラム等のファイル
情報を入力する入力部１１と、この入力部１１からのプ
ログラムを実行してスタック消費量やスタック消費パス
の解析等を行うスタック情報処理部１２と、このスタッ
ク情報処理部１２の処理結果のコンソール３への伝達制
御、コンソール３の指示に従ってスタック情報処理部１
２の動作の制御を行う表示制御部１３とを含んで構成さ
れる。

【００１６】また、スタック情報処理部１２は、入力部
２からのプログラムを保持すると共に、プログラム実行
時に使用されるスタック部１３１を含むメモリ部１０３
と、このメモリ部１０３に保持されているプログラムを
実行する実行部１０４と、プログラム実行時に使用され
プログラムカウンタＰＣ及びスタックポインタＳＰを含
むレジスタ１０５と、スタック部１３１が使用されたか
否かを検出条件を参照して検出する検出器１０２と、ス
タック部１３１のメモリ消費量（スタック消費量）を算
出するスタック消費量解析部１０１と、スタック部１３
１が使用されたときのパス等を解析し保持するスタック
消費パス解析部１１０とを含んで構成され、更に、スタ
ック消費パス解析部１１０は、検出器１０２でスタック
部１３１の使用が検出された際に、スタック部１３１の
内容を保持するスタック情報保持部１１３と、レジスタ
１０５の内容を複写し保持するレジスタ情報保持部１１
２と、入力部１１を介して入力されたプログラムより得
られた関数の諸情報を保持する関数情報保持部１１４
と、スタック情報保持部１１３，関数情報保持部１１４
及びレジスタ情報保持部１１２の内容を解析してスタッ
ク消費パスを解析する消費パス解析部１１１と、その解
析の際に使用され関数名カウンタ１１５，ワーク・カウ
ンタ１１６及び関数名保持エリア１１７とを含んで構成
される。

【００１７】次に、この実施の形態における、最大スタ
ック消費量の検出動作について、図２に示されたフロー
チャートを併せて参照し説明する。

【００１８】まず、検出器１０２の検出条件として、ア
ドレス値をスタック部１３１の初期アドレスに設定手順
（Ｓ１）後、入力部１１を介して入力されメモリ部１０
３に保持されたプログラムを実行部１０４により実行し
（Ｓ２）、プログラム実行終了か否かの判断を行う（Ｓ
３）。プログラム実行が終了していればスタック情報処
理部１２の処理を終了（Ｓ８）。プログラム実行が終了
していなければ、検出器がスタック領域内情報部の新た
な領域にライトした条件検出をしたか否かヒットの判断
を行う（Ｓ４）。検出していればスタック部１３１の初
期アドレスから検出器１０２の検出条件のアドレスの範
囲をスタック情報保持部１１３に複写（Ｓ５）し、レジ
スタ１０５内のプログラムカウンタＰＣ及びスタックポ
インタＳＰの内容をレジスタ情報保持部１１２に複写す
る（Ｓ６）。

【００１９】次に、検出器１０２の検出条件を、減検出
条件のスタック部１３１のアドレスから１ワード分減じ
たアドレスとして再設定し（Ｓ７）、再度、プログラム
実行を行う手順Ｓ２に戻る。これらの処理をプログラム
実行終了（Ｓ８）まで繰り返し行い、スタック消費量解
析部１０１にて、検出器１０２による初期アドレス及び
プログラム実行終了時点での検出器１０２の検出条件の
（検出アドレス−１ワード）の計算式により最大スタッ
ク消費量を算出し表示制御部１３を介してコンソール３
の表示部に表示する。

【００２０】図３はスタック消費量検出動作時の各状態
におけるスタック部１３１及びスタック情報保持部１１
３の内容のイメージを示す模式図である。

【００２１】図３（ａ）は、図２のフローチャートにお
ける、検出器１０２の検出条件をスタック部１３１の初
期アドレスに設定時（Ｓ１）の状態イメージ図であり、
図３（ｂ）は、同フローチャートにおける、検出器１０
２がヒットし（Ｓ４）、スタック情報をスタック情報保
持部１１３に複写時（Ｓ５）の状態イメージ図である。

【００２２】図３（ｃ）は、同フローチャートにおける
検出器１０２の検出条件を（検出条件−１ワード）に変
更した時（Ｓ７）の状態イメージ図であり、図３（ｄ）
は、再度、同フローチャートにおける、検出器１０２が
ヒットし、スタック情報をスタック情報保持部１１３に
複写時（Ｓ５）の状態イメージ図である。

【００２３】図３（ｅ）は、同フローチャートにおける
検出器１０２がヒットしない場合のイメージ図であり、
図３（ｆ）は、同フローチャートにおける、スタック情
報が増えても検出器１０２がヒットしない場合のイメー
ジ図である。

【００２４】図３（ｇ）は、再々度、同フローチャート
における、検出器１０２がヒットし、スタック情報をス
タック情報保持部１１３に複写時（Ｓ５）の状態イメー
ジ図であり、図３（ｈ）は、同フローチャートにおけ
る、終了時（Ｓ８）の状態イメージ図である。

【００２５】次に、スタック消費パス解析動作につい
て、図４に示された関数情報保持部１１４に保持される
関数情報のデータ構造、図５に示された関数コール毎の
スタック情報のデータ構造、及び図６に示されたスタッ
ク消費パス解析処理動作のフローチャートを併せて参照
し説明する。

【００２６】プログラム実行が終了した時点で、関数名
カウンタ１１５の値を“０”に初期化し（ステップＳ１
１）、ワーク・カウンタ１１６の値を“０”に初期化し
（Ｓ１２）、次に、関数情報保持部１１４に保持されて
いるプログラム内の全関数の数ＦＴＮとワーク・カウン
タ１１６の値を比較（Ｓ１３）し、ワーク・カウンタ１
１６の値の方が大きいか等しければ、エラーメッセージ
表示処理（Ｓ１５）を行い終了する（Ｓ１６）。ワーク
・カウンタ１１６の値の方が小さければ、ワーク・カウ
ンタ１１６の値番めの関数情報を取得する（Ｓ１４）。
この取得した関数情報より関数スタート・アドレスＦＳ
Ａ及び関数エンド・アドレスＦＥＡとレジスタ情報保持
部１１２に保持されているプログラム・カウンタの値
（ＰＣ）とを比較し（Ｓ１７）、プログラム・カウンタ
の値（ＰＣ）が関数スタート・アドレスＦＳＡ及び関数
エンド・アドレスＦＥＡ以内でなければワーク・カウン
タ１１６の値を＋１（Ｓ１８）してワーク・カウンタ１
１６の値番めの関数情報によりプログラム内の全関数の
数（ＦＴＮ）とワーク・カウンタ１１６の値とを比較す
る処理（Ｓ１４）に戻る。

【００２７】レジスタ情報保持部１１２に保持されてい
るプログラム・カウンタの値（ＰＣ）が内であれば、関
数情報保持部１１４で保持している関数名ＦＮＡを関数
名保持エリア１１７内の関数カウンタ１１５の値が示す
位置に保持し（Ｓ１９）、関数名カウンタ１１５の値を
インクリメントし（Ｓ２０）レジスタ情報保持部１１２
内のスタック・ポインタの値（ＳＰ）をこのスタック・
ポインタの値（ＦＰ）−（関数情報保持部１１４内の自
動変数のサイズＡＮＳ＋引数サイズＨＳ）＋１に変更
（Ｓ２１）し、スタック部１３１の初期化アドレスとレ
ジスタ情報保持部１１２内のスタック・ポインタの値
（ＳＰ）とを比較し（Ｓ２２）、スタック・ポインタの
値（ＳＰ）が大きいか等しければプログラム通過パスを
表示処理し（Ｓ２３）終了（Ｓ２４）する。

【００２８】スタック・ポインタの値（ＳＰ）が小さけ
れば、このスタック・ポインタの値（ＳＰ）が示すスタ
ック部の内容をレジスタ情報保持部１１２のプログラム
・カウンタ（ＰＣ）に設定し（Ｓ２１５）、ワーク・カ
ウンタ１１６の値を“０”に初期化する処理（Ｓ１２）
に戻る。

【００２９】このように本発明においては、最大スタッ
ク消費量が検出でき、また、最大スタック消費時及びス
タック使用時のプログラムのルート（パス）に関する諸
情報が保持され、これらを知ることができるので、スタ
ック部１３１のスタックサイズ内にスタック消費量が納
まらない場合に、どのプログラム・ルートを通ったとき
にそうなったかを知ることができ、プログラムの再設計
する部分を特定できてその部分を最適な設計とすること
ができる。また、再帰的な関数呼び出しの場合でも、ス
タック消費量を正確に把握することができる。

【００３０】

【発明の効果】以上説明したように本発明は、最大スタ
ック消費量が検出でき、また最大スタック消費時を含む
スタック使用時のプログラムのルートに関する諸情報を
保持してこれら諸情報を出力するようにしたので、スタ
ックサイズ内にスタック消費量が納まらない場合に、ど
のプログラム・ルートを通ったときにそうなったかを知
ることができ、プログラムの再設計を必要とする部分を
特定できてその部分を含め、プログラムを最適な状態に
設計することができ、また、再帰的な関数呼び出しの場
合でも、スタック消費量を正確に把握することができる
効果がある。

【図面の簡単な説明】

【図１】本発明の一実施の形態を示すブロック図であ
る。

【図２】図１に示された実施の形態の最大スタック消費
量の検出動作を説明するためフローチャートである。

【図３】図１に示された実施の形態のスタック消費量検
出動作時の各状態におけるスタック部及びスタック情報
保持部の内容を示すイメージ図である。

【図４】図１に示された実施の形態の関数情報保持部に
保持される情報の内容を示す図である。

【図５】図１に示された実施の形態の関数コール毎のス
タック情報のデータ構造を示す図である。

【図６】図１に示された実施の形態のスタック消費パス
解析処理動作を説明するためのフローチャートである。

【図７】従来の開発支援装置の第１の例のブロック図で
ある。

【図８】従来の開発支援装置の第２の例を説明するため
のスタック使用量検出処理手順を示すフローチャートで
ある。

【図９】従来の開発支援装置の第２の例のブロック図で
ある。

【符号の説明】

１スタック情報解析部２入力ファイル３コンソール５キーボード６表示装置７インターフェース部８演算処理装置９メモリ１４入力部１２スタック情報処理部１３表示制御部１０１スタック消費量解析部１０２検出部１０３メモリ部１０４実行部１０５レジスタ１１０スタック消費パス解析部１１１消費パス解析部１１２レジスタ情報保持部１１３スタック情報保持部１１４関数情報保持部１１５関数名カウンタ１１６ワーク・カウンタ１１７関数名保持エリア１３１スタック部２００シミュレータ・プログラム実行手段２０１入力部２０２解析部２０３制御／表示部２０４シミュレート実行部２０５命令実行部２０６メモリ／レジスタ内容保持部２５１スタック情報検出部２５２スタック指定保持部２５３スタック値保持部Ｓ１〜Ｓ８，Ｓ１１〜Ｓ２５，Ｓ５１〜Ｓ６１ステ
ップ

Claims

【特許請求の範囲】

【請求項１】スタック部を含むメモリ部を備え対象と
するプログラムを実行するプログラム実行手段と、前記
プログラムの実行時の前記スタック部に対する最大スタ
ック消費量を検出し保持する最大スタック消費量検出手
段と、前記プログラムの実行時に前記スタック部が使用
されたときのプログラム・パスを含む各種プログラム情
報を解析し保持するスタック消費パス解析手段とを有す
ることを特徴とする開発支援装置。
【請求項２】前記プログラム実行手段に、前記プログ
ラムの実行時に使用されるレジスタを含み、前記スタッ
ク消費パス解析手段に、前記スタック部が使用されたと
きに、このスタック部の内容を保持するスタック情報保
持部と、前記レジスタの内容を複写し保持するレジスタ
情報保持部と、前記プログラムより得られた各関数の諸
情報を保持する関数情報保持部と、前記スタック情報保
持部，レジスタ情報保持部及び関数情報保持部の保持内
容を解析してスタック消費パスを解析する消費パス解析
部と、この消費パス解析部によるスタック消費パスの解
析時に使用される関数名カウンタ，ワーク・カウンタ及
び関数名保持エリアとを含む構成とした請求項１記載の
開発支援装置。
【請求項３】前記最大スタック量の検出処理手順に、
前記検出手段の検出条件を前記スタック部の初期アドレ
スに設定する第１の手順と、前記プログラムを実行する
第２の手順と、前記プログラムの実行が終了したかどう
か判断し、終了であれば処理手順を終了する第３の手順
と、前記判断の結果が未終了であれば前記スタック部の
使用状況をチェックし、それまでに消費されたスタック
消費量よりも多くのスタック領域を消費しているかどう
か判断し、その判断結果がそれまでに消費されたスタッ
ク消費量よりも小さければ前記第２の手順に分岐する第
４の手順と、前記第４の手順の判断結果が、前記スタッ
ク情報保持部に既に保持されているスタック情報量が前
記スタック部に記録されているスタック消費量よりも大
であれば前記スタック部の内容を前記スタック情報保持
部に複写する第５の手順と、プログラム・カウンタの値
とスタック・ポインタの値とを前記レジスタ情報保持部
に複写する第６の手順と、前記検出手段の検出条件を、
現検出条件からスタック走査１回分を減算した値に変更
し前記第２の手順に分岐する第７の手順とを含む構成と
した請求項２記載の開発支援装置。
【請求項４】前記関数情報保持部に保持される情報
を、前記プログラムに含まれる全関数の、関数名、関数
スタートアドレス、関数エンドアドレス、引数サイズ情
報、及び自動変数サイズ情報と、前記全関数の数とを含
む構成とし、前記スタック消費パス解析手段による処理
手順に、前記関数名カウンタの値を“０”に初期化する
第１の手順と、前記ワーク・カウンタを“０”に初期化
する第２の手順と、前記全関数の数と前記ワーク・カウ
ンタの値とを比較する第３の手順と、前記比較の結果
が、前記ワーク・カウンタの値が前記全関数の数以上の
場合はエラーメッセージを出力し、処理手順を終了する
第４の手順と、前記比較の結果が、前記ワーク・カウン
タの値が前記全関数の数より小さい場合は前記ワーク・
カウンタの値が示す関数の関数情報を前記関数情報保持
部より取得する第５の手順と、前記プログラム・カウン
タの値が、前記関数スタートアドレスの値と前記関数エ
ンドアドレスの値との間でなければ前記ワーク・カウン
タの値をインクリメントして前記第３の手順に分岐する
第６の手順と、前記プログラム・カウンタの値が、前記
関数スタートアドレスの値と前記関数エンドアドレスの
値との間でなければ前記ワーク・カウンタの値をインク
リメントして前記第３の手順に分岐する第６の手順と、
前記プログラム・カウンタの値が、前記関数スタートア
ドレスの値と前記関数エンドアドレスの値との間であれ
ば前記関数情報保持部に保持されている前記関数名を前
記関数名カウンタが示す前記関数名保持エリアの位置に
保持する第７の手順と、この第７の手順の後、前記関数
カウンタの値をインクリメントする第８の手順と、前記
レジスタ情報保持部の前記スタック・ポインタの値を、
前記スタック・ポインタの値から前記自動変数サイズと
前記引数サイズの値を減算した値に１を加算した値に変
更する第９の手順と、前記スタック部の初期アドレスの
値と前記スタック・ポインタの値とを比較し前記スタッ
ク・ポインタの値が、前記スタック部の初期アドレスの
値以上の場合は前記プログラムが実際に動作した通過パ
スを表示処理し処理手順を終了する第１０の手順と、こ
の第１０の手順の後、前記プログラマブル・カウンタの
値を、前記スタック・ポインタの値に変更し前記第２の
手順に分岐する第１１の手順とを含む構成とした請求項
２記載の開発支援装置。