JPS62166445A - デバツグ支援装置 - Google Patents

Abstract

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

Description

【発明の詳細な説明】 〔産業上の利用分野〕 この発明は、マイクロプログラムのためのデバッグ支援
装置に関する。

〔従来の技術〕

従来この種のデバッグ支援装置は、テストケースに対応
するデータを入力し、実際に演算処理を行ない、その結
果として生じた値を判断して、そのテストケースについ
て、マイクロプログラムが正常に動作しているのか否か
を調べていた。

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

上述した従来のデバッグ支援装置では、実際にデータを
入力したテストケースしか検証できないため、網羅的な
チェックを行なうためには、膨大な量のテストデータを
入力しなければならないという欠点がある。

〔問題点−を、解決す７ゐための手段〕この発明のデバ
ッグ支援装置は、マイクロ命令毎に構成コマンド表と行
先及び来光のマイクロ命令表を記憶する手段と、トレー
ス開始条件を判定してトレース開始マイクロ命令を検出
する手段と、マイクロ命令毎に保持されている行来先表
に従って全ての実行パスをトレースするためのＦＩＬＯ
（Ｆｉｒｓｔ−Ｉｎ　Ｌａ５ｔ−Ｏｕｔ）スタックと、
実行／Ｆス毎のトレース終了条件を判定する手段と、ト
レース開始条件に該当するマイクロ命令からトレース終
了条件に該当するマイクロ命令までの実行パス上のマイ
クロ命令が満足すべき条件である中間チェック条件を判
定する手段と、トレース終了条件に該当するマイクロ命
令が満足すべき条件である終了チェック手段を判定する
手段を有している。

〔実施例〕

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

第１図はこの発明の一実施例の構成要素とその間の情報
の大きな流れを示している。

マイクロプログラム記憶手段１は、マイクロ命令毎にそ
の構成３７７１表と行来先表を保持しており、ポインタ
２は、マイクロプログラム記憶手段ｌの読出しアドレス
を保持しておシ、トレース開始条件に該当するマイクロ
命令を検出するために１づつカウントアツプされる。ポ
インタ３も同様に、マイクロプログラム記憶手段１の読
出しアドレスを保持しているが、実行パス上のマイクロ
命令の読出しのために使用される。レジスタ４はマイク
ロプログラム記憶手段１から読み出された１マイクロ命
令分の情報（コマンド表及び行来先表）を保持する。Ｆ
ＩＬＯ（Ｆｉｒｓｔ−Ｉｎ　Ｌａ５ｔ−Ｏｕｔ）スタッ
ク５はレジスタ４の行来先表を登録し、実行／？スの制
御を行なうために使用される。ポインタ６はスタック５
の読出し及び書込みアドレスを保持する。

判定手段７〜１０は、それぞれ記憶手段１１〜１４に格
納されている開始条件、終了条件、中間チェック条件及
び終了チェック条件を夫々レジスタ４内のコマンド表に
対して評価し、その結果（真又は偽）をそれぞれトレー
ス制御手段１５へ報告する。トレース制御手段１５は第
２図に示す処理手順に従って他の構成要素を制御し、誤
シ検出時にはメツセージ表示手段１６へエラーメツセー
ジを出力する。

第２図は、第１図の実施例の処理手順を示すフローチャ
ートである。まず、ポインタ２及び３の初期設定を行な
い（ステップ２１）トレース開始条件のマイクロ命令の
検索をマイクロプログラム記憶手段１の先頭に位置付け
ると同時に、残シの実行パスを保有するＦＩＬＯスタッ
ク５を空にする。

次にポインタ２のカウントアツプを行ない（ステラｆ２
２）、もしマイクロプログラム記憶手段１内の全てのマ
イクロ命令に対してトレース開始条件の判定を行なった
のであれば、終了する（ステップ２３）。終了でなけれ
ば、ポインタ２が示すマイクロ命令情報の取り出しを行
ない（ステップ２４）、開始条件を満足するかどうかの
判定を行なう（ステラｆ２５）。その判定結果が偽であ
れば、ステップ２２へ分岐し、次のマイクロ命令の処理
を行なう。ステップ２５で真の場合、もし、あれば行先
（来光）をスタック５へ登録する（ステップ２６）。行
先を登録すると順方向トレース、来光を登録すると逆方
向トレースとなる。次にスタック５が空かどうか判定し
くステップ２７）、空であれば次のトレース開始条件の
マイクロ命令の検索のためにステップ２２へ移動する。

空でない場合、スタックの最後尾をポインタ３ヘセツト
しくステップ２８）、ポインタ３のアドレスで実行パス
上のマイクロ命令情報の取シ出しを行ない（ステラｆ２
９）、終了条件に該当するかどうか判定する（ステップ
３０）。それが真であれば終了チェック条件の判定を行
ない、（ステラｆ３２）、条件を満足しなければメツセ
ージ表示を行なう（ステップ３４）。ステップ３０で偽
の場合は、中間チェック条件の判定を行ない（ステップ
３１）、その条件を満足しなければメツセージ表示を行
なう（ステップ３３）。

〔発明の効果〕

以上説明したようにこの発明は、実際の値を入力するの
ではなく、マイクロ命令を実行順序あるいは逆順にトレ
ースし、マイクロ命令間におけるその使用構成コマンド
の組合せを判定することによシ、マイクロ命令間の制約
条件や単純な論理的一貫性（あるレジスタの値を参照す
る時は、その前に値がセットされていなければならない
等）の検証を、テストデータを用意することなく、網羅
的に行なうことができる効果がある。

【図面の簡単な説明】

第１図はこの発明の一実施例の構成要素とその間の情報
の大きな流れを示す図、第２図はこの実施例の処理手順
を示すフローチャートである。 １・・・マイクロプログラム記憶手段、２，３．６・・
・Ｉインタ、４・・・レジスタ、５・・・ＦＩＬＯ（Ｆ
ｉｒｓｔ−ＩｎＬａｓｔ−Ｏｕｔ　）スタック、７〜１
０−・・判定手段、１１〜１４・・・開始条件、終了条
件、中間チェック条件及び終了チェック条件の記憶手順
、１５・・・トレース制御手段、１６・・・メツセージ
表示手段。

Claims (1)

【特許請求の範囲】
1. （１）マイクロプログラムのデバッグを支援する装置に
   おいて、 マイクロ命令毎に構成コマンド表及び行先・来先表を記
   憶する手段と、 実行順序あるいは逆順にマイクロ命令の構成コマンド表
   に対するトレース開始条件を判定してトレース開始マイ
   クロ命令を検出する手段と、実行パス毎のトレース終了
   条件を判定する手段と、 トレース過程のマイクロ命令の満足すべき条件である中
   間チェック条件を判定する手段と、トレース終了条件を
   満たしたマイクロ命令の満足すべき条件である終了チェ
   ック条件の判定をする手段と、 マイクロ命令毎に保持されている行来先表に従って全て
   の実行パスをトレースするためのＦＩＬＯスタックとを
   備えるデバッグ支援装置。