JPS59114649A - 処理装置の検査方法 - Google Patents
処理装置の検査方法Info
- Publication number
- JPS59114649A JPS59114649A JP58213423A JP21342383A JPS59114649A JP S59114649 A JPS59114649 A JP S59114649A JP 58213423 A JP58213423 A JP 58213423A JP 21342383 A JP21342383 A JP 21342383A JP S59114649 A JPS59114649 A JP S59114649A
- Authority
- JP
- Japan
- Prior art keywords
- test
- instructions
- instruction
- processing device
- testing
- 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/22—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing
- G06F11/26—Functional testing
Landscapes
- Engineering & Computer Science (AREA)
- General Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Computer Hardware Design (AREA)
- Quality & Reliability (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Test And Diagnosis Of Digital Computers (AREA)
- Debugging And Monitoring (AREA)
Abstract
(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。
め要約のデータは記録されません。
Description
【発明の詳細な説明】
〔技轡分野〕
本発明は、限られた又は部分的な命令セットしか持たな
い処理装置のアーキテクチャの完全性を検査するための
方法に関する。より具体的には本発明は最小の酷令セッ
ト又は単一の命令を制御し実行きせ、その実行結果を捕
捉することによって、命令セットの完全性の検査を行う
方法に関する。
い処理装置のアーキテクチャの完全性を検査するための
方法に関する。より具体的には本発明は最小の酷令セッ
ト又は単一の命令を制御し実行きせ、その実行結果を捕
捉することによって、命令セットの完全性の検査を行う
方法に関する。
所定の処理装置のために新しく作成されるか又は大幅に
修正された命令セットは、テストを行ってそれが適性に
実行される事を検査しなければそれを信頼する事かで沙
ない。従来、そのような命令セットのアーキテクチャの
完全性を検査するためのソフトウェアは、テストされる
処理装置に存在する膨大なプログラムとして書がれてぃ
た。この方法では、テストを初める前に命令セット及び
入出力機構が完全に実体化きれている事が必要である。
修正された命令セットは、テストを行ってそれが適性に
実行される事を検査しなければそれを信頼する事かで沙
ない。従来、そのような命令セットのアーキテクチャの
完全性を検査するためのソフトウェアは、テストされる
処理装置に存在する膨大なプログラムとして書がれてぃ
た。この方法では、テストを初める前に命令セット及び
入出力機構が完全に実体化きれている事が必要である。
過去において命令は個別にテストされたが、そのような
テストは一般的に操作員のコンソールを経て手動的に入
力されるハンド・ループを用いる必要があった。しかし
ながら、おおくのマイクロコードのテストの努力から得
られた多くの異なったドライバは、例え同じ命令セット
の異なったコード部分をテストする場合でとえも、その
ようなテストを標準化し又は結果を信頼する事を困難に
した。ざらにこの非自動的な手動的入力検査方法はしば
しば非マイクロコード・エラーが入力生じ従って効率的
なテストを行えなかった。
テストは一般的に操作員のコンソールを経て手動的に入
力されるハンド・ループを用いる必要があった。しかし
ながら、おおくのマイクロコードのテストの努力から得
られた多くの異なったドライバは、例え同じ命令セット
の異なったコード部分をテストする場合でとえも、その
ようなテストを標準化し又は結果を信頼する事を困難に
した。ざらにこの非自動的な手動的入力検査方法はしば
しば非マイクロコード・エラーが入力生じ従って効率的
なテストを行えなかった。
このように、アーキテクチャの検査及び/又は診断に関
する先行技術は、完全−な命令セット及びI10ルーチ
ンが書かれた後にマイクロコード又はハードウェアの問
題点を発見するための自動的及び半自動的手段及び方法
に関するものである。
する先行技術は、完全−な命令セット及びI10ルーチ
ンが書かれた後にマイクロコード又はハードウェアの問
題点を発見するための自動的及び半自動的手段及び方法
に関するものである。
デバッグは一般にその性質上連続的なこま切れの努力で
あり、最初のバグの発見から関連のあるバグが見つかり
、全ての可能性を尽すには大きなテスト・ドライバ・プ
ログラムが必要である。米国特許第4268902号及
び第4321066号はそのような先行技術の典型例で
ある。これらの特許は共に、完全な命令セット及び完全
なI10能力を有する完全に動作できる上位計算機にサ
ービス(又は診断)・プロセッサを取り付けて、命令セ
ットをテストもしくは診断し又は具体的な上位計算機の
エラーの原因を発見する診断法及びデバッグ法に関する
ものである。同様の方式が米国特許第3618028号
及び第3825901号に詳述されている。
あり、最初のバグの発見から関連のあるバグが見つかり
、全ての可能性を尽すには大きなテスト・ドライバ・プ
ログラムが必要である。米国特許第4268902号及
び第4321066号はそのような先行技術の典型例で
ある。これらの特許は共に、完全な命令セット及び完全
なI10能力を有する完全に動作できる上位計算機にサ
ービス(又は診断)・プロセッサを取り付けて、命令セ
ットをテストもしくは診断し又は具体的な上位計算機の
エラーの原因を発見する診断法及びデバッグ法に関する
ものである。同様の方式が米国特許第3618028号
及び第3825901号に詳述されている。
不幸なことに、それらの先行技術を用いると、新規な又
は大幅に修正きれた命令セットの動作の検査は、命令セ
ットが完成し完全なI10能力が与えられるまでは行う
事がで営ない。ざらに開発段階、特にその初期における
誤まりはしばしば開発作業全体に影響を与え且つその作
業が完了し検査が行なわれるまで、それは発見されない
。従って単に誤まった命令を訂正するだけでなく、その
影響を受けた誤まりを含む全てのコードわ訂正し又は、
書き直す余分の時間が贅やされる。゛〔発明の目的及び
概要〕 従って本発明の目的は、初期の開発の誤りの影響の伝播
を避けるために単一の命令又はその小ざ査することによ
って、アーキテクチャの誤りを除去し適正なマイクロコ
ード動作を検査する方法を提供することである。
は大幅に修正きれた命令セットの動作の検査は、命令セ
ットが完成し完全なI10能力が与えられるまでは行う
事がで営ない。ざらに開発段階、特にその初期における
誤まりはしばしば開発作業全体に影響を与え且つその作
業が完了し検査が行なわれるまで、それは発見されない
。従って単に誤まった命令を訂正するだけでなく、その
影響を受けた誤まりを含む全てのコードわ訂正し又は、
書き直す余分の時間が贅やされる。゛〔発明の目的及び
概要〕 従って本発明の目的は、初期の開発の誤りの影響の伝播
を避けるために単一の命令又はその小ざ査することによ
って、アーキテクチャの誤りを除去し適正なマイクロコ
ード動作を検査する方法を提供することである。
本発明によれば、各命令の完全なテストおよび全ての変
更の適切な逆行テスト用テスト・パッケージの完全なテ
ストを保証するために、トップダウン式にマイクロコー
ドを作成できる。
更の適切な逆行テスト用テスト・パッケージの完全なテ
ストを保証するために、トップダウン式にマイクロコー
ドを作成できる。
ラムを利用して、マイクロコードの動作上の完全性を検
査できる。
査できる。
本発明においては、検査を制御するために設けられたサ
ポート処理装置が、じっざいの、あるいはシミュレート
きれたI10サービスを提供する。
ポート処理装置が、じっざいの、あるいはシミュレート
きれたI10サービスを提供する。
本発明によれば、サポート処理装置およびテストを受け
る処理装置が共通のメモリを共有している、命令セット
またはその一部の動作上の完全性を検査する方法が提供
される。
る処理装置が共通のメモリを共有している、命令セット
またはその一部の動作上の完全性を検査する方法が提供
される。
本発明の目的は、テスト処理装置によって制御される最
小(のテスト・ドライバが、テストされる命令を実行す
るに必要なデータをロードするという、検査方法によっ
て達成される。この命令の実行後、テスト・ドライバは
実行結果を捕捉し、適正に使用するように指示する。検
査を行う際の補助手段として、テスト・ドライバには制
御をテスト処理装置に戻きせる無効コマンドが設けられ
ている。テスト・ドライバは、実際のあるいはシミュレ
ートきれたI10能力を提供するサポート処理装置の制
御のもとでロードされ動作する。動作時に、マイクロコ
ードを作成きれるべぎ処理装置は共有メモリを介して命
令ごとにテストきれ、誤りの伝播を回避するため、マイ
クロコードの修正が同じ態様で行なわれる。
小(のテスト・ドライバが、テストされる命令を実行す
るに必要なデータをロードするという、検査方法によっ
て達成される。この命令の実行後、テスト・ドライバは
実行結果を捕捉し、適正に使用するように指示する。検
査を行う際の補助手段として、テスト・ドライバには制
御をテスト処理装置に戻きせる無効コマンドが設けられ
ている。テスト・ドライバは、実際のあるいはシミュレ
ートきれたI10能力を提供するサポート処理装置の制
御のもとでロードされ動作する。動作時に、マイクロコ
ードを作成きれるべぎ処理装置は共有メモリを介して命
令ごとにテストきれ、誤りの伝播を回避するため、マイ
クロコードの修正が同じ態様で行なわれる。
命令のテストをサポートする、あるいは処理装置のアー
キテクチャを検査するための必要な、本発明による基本
構成を、第1図に示す。この基本構成には、テスト・サ
ポート・テステム(TSS)10、およびテスト・サポ
ート・システム10とテストを受ける処理装置(PUT
)14とによって、これらの間で共有されているメモリ
12が含まれている。TSSIOには、テスト制御プロ
グラム(TCP)を含み、PUT14と共有される記憶
域に適合し、かつ実際のあるいはシミュレートきれた入
出力(I 10)サポートを保持するのに充分な記憶域
が設けられている。典型的なものとして、I10サポー
トは処理きれるテスト・ケースを含むためのディスケッ
ト・サポート、制御情報を入力し、テスト結果を見るた
めの、ビデオ端末であることが好ましい端末サポート、
およびテスト・ケースの実行結果のハード・コピーのレ
ポートを提供するのに使用きれる印刷装置のサポートを
含んでいる。上記の他に、TSSloとPUT14の間
の双方向通信を用意とするための、プロセッサ間通信バ
ス16が設けられている。最後に、PUT14には、こ
れ自体のハウスキーピング機能を提供するのに最小限の
能力が与えられている。したがって、PUT14はその
制御、汎用レジスタおよび浮動小数点レジスタをロード
、格納、または操作することができる。
キテクチャを検査するための必要な、本発明による基本
構成を、第1図に示す。この基本構成には、テスト・サ
ポート・テステム(TSS)10、およびテスト・サポ
ート・システム10とテストを受ける処理装置(PUT
)14とによって、これらの間で共有されているメモリ
12が含まれている。TSSIOには、テスト制御プロ
グラム(TCP)を含み、PUT14と共有される記憶
域に適合し、かつ実際のあるいはシミュレートきれた入
出力(I 10)サポートを保持するのに充分な記憶域
が設けられている。典型的なものとして、I10サポー
トは処理きれるテスト・ケースを含むためのディスケッ
ト・サポート、制御情報を入力し、テスト結果を見るた
めの、ビデオ端末であることが好ましい端末サポート、
およびテスト・ケースの実行結果のハード・コピーのレ
ポートを提供するのに使用きれる印刷装置のサポートを
含んでいる。上記の他に、TSSloとPUT14の間
の双方向通信を用意とするための、プロセッサ間通信バ
ス16が設けられている。最後に、PUT14には、こ
れ自体のハウスキーピング機能を提供するのに最小限の
能力が与えられている。したがって、PUT14はその
制御、汎用レジスタおよび浮動小数点レジスタをロード
、格納、または操作することができる。
上記の基本構成、以下で詳述する特定の検査環境を与え
、追加の命令がPUT14のレパートリ−に加えられる
と仮定して、以下で「新しい」命令のテスト方法を説明
する。この説明を行うために、PUT14がIBM社の
システム/370のアーキテクチャを有する処理装置装
置であり、かつ追加きれる例示命令が”MVCIN”で
あると想定する。本明細書において使用する「限定され
た命令セット」なる語は、比較的限られた、すなわち完
全でない命令のセットを指すものである。実際には、以
下の説明中で、テストを受ける処理装置の限定された命
令セットは1つの命令である。
、追加の命令がPUT14のレパートリ−に加えられる
と仮定して、以下で「新しい」命令のテスト方法を説明
する。この説明を行うために、PUT14がIBM社の
システム/370のアーキテクチャを有する処理装置装
置であり、かつ追加きれる例示命令が”MVCIN”で
あると想定する。本明細書において使用する「限定され
た命令セット」なる語は、比較的限られた、すなわち完
全でない命令のセットを指すものである。実際には、以
下の説明中で、テストを受ける処理装置の限定された命
令セットは1つの命令である。
なお念のために説明すれば、”MVCIN”は逆転移動
、すなわち命令によって指定される第二オペランドを命
令によって指定される第一オペランドの位置に置き、第
二オペランドのバイトの左から右への順序が格納時に逆
にされるという記憶載量転送をあたえるものである。第
一オペランドのアドレスは、第一オペランドの左端のバ
イトを指す。第二オペランドのアドレスは、第二オペラ
ンドの右端のバイトを指す。あたかも第二オペランドが
右から左へ処理きれ、第一オペランドが左から右へ処理
きれているかのような結果が得られる。第二オペランド
は低位メモリから高位メモリへ循環し、第一オペランド
は高位メモリから低位メモリへ循環し、第1オペランド
は高位メモリから低位メモリへ変更されない。
、すなわち命令によって指定される第二オペランドを命
令によって指定される第一オペランドの位置に置き、第
二オペランドのバイトの左から右への順序が格納時に逆
にされるという記憶載量転送をあたえるものである。第
一オペランドのアドレスは、第一オペランドの左端のバ
イトを指す。第二オペランドのアドレスは、第二オペラ
ンドの右端のバイトを指す。あたかも第二オペランドが
右から左へ処理きれ、第一オペランドが左から右へ処理
きれているかのような結果が得られる。第二オペランド
は低位メモリから高位メモリへ循環し、第一オペランド
は高位メモリから低位メモリへ循環し、第1オペランド
は高位メモリから低位メモリへ変更されない。
以下の説明は、逆転移動命令の動作をテスト・ケースし
、検査するために用いられるテスト・プログラムのもの
である。命令によって予期され、実行され、かつもたら
されるあらゆる条件に対処するには、多くのテスト・ケ
ースを開発しなければならない。TSSlo内の制御プ
ログラムTCPは、したがって、下記のレコードのそれ
ぞれを読み取り、各レコードのデータが正しいことを確
認しなければならない。ついで、データは、テスト・ケ
ースを実行した結果として、以後の処理のために共有メ
モリ12に格納される。
、検査するために用いられるテスト・プログラムのもの
である。命令によって予期され、実行され、かつもたら
されるあらゆる条件に対処するには、多くのテスト・ケ
ースを開発しなければならない。TSSlo内の制御プ
ログラムTCPは、したがって、下記のレコードのそれ
ぞれを読み取り、各レコードのデータが正しいことを確
認しなければならない。ついで、データは、テスト・ケ
ースを実行した結果として、以後の処理のために共有メ
モリ12に格納される。
テスト・ケース・プログラム例
1 、 Z’0OOO1’GEN、MVCIN2、*逆
転移動:最後のバイトをオーバーラツプきせて16バイ
トを転送する。
転移動:最後のバイトをオーバーラツプきせて16バイ
トを転送する。
3 、 *****ネ*掌**@ @ z z @ @
z @ @ * *@ **@ **z *6 *z
1.@* z * *4、*以下のレコードは実行のた
めにテスト・ケースを準備するために使用される。
z @ @ * *@ **@ **z *6 *z
1.@* z * *4、*以下のレコードは実行のた
めにテスト・ケースを準備するために使用される。
5 、 m寧ネ66 :: * * * * * *
@@ * * *ネ***ネ*ネネ** * * *t
;* * *tE6 、 I’E80F1200121
E’ *命令7 、 Gl (0000800
0) * GPR初期設定8 、 Sへ’
8200°L’16’XAAA、、、AAA’ +i
+記憶装置初期設定 9 、3A’8210’L’1B’X555.、.55
5’ *記憶装置初期設定 10 、 P’0O08000000005000’
*P S Wセット11、・RESULTS=
*実行開始12 、 fi****ネ**
ネ*** @ *f; * :f、* : **f、*
:、ネ****ネ*****ネ13、*以下のレコー
ドは実行結果に対して比較を行うために使用される。
@@ * * *ネ***ネ*ネネ** * * *t
;* * *tE6 、 I’E80F1200121
E’ *命令7 、 Gl (0000800
0) * GPR初期設定8 、 Sへ’
8200°L’16’XAAA、、、AAA’ +i
+記憶装置初期設定 9 、3A’8210’L’1B’X555.、.55
5’ *記憶装置初期設定 10 、 P’0O08000000005000’
*P S Wセット11、・RESULTS=
*実行開始12 、 fi****ネ**
ネ*** @ *f; * :f、* : **f、*
:、ネ****ネ*****ネ13、*以下のレコー
ドは実行結果に対して比較を行うために使用される。
14、*ネ**ネネ*****ネ*ネ9969*ネ**
*****ネネ:: * * * : * *15 、
SA’8200’L’16’X555.、.5AA’
16 、 SA’8210°L’16°X555.、.
555゜17 、 SA’88’L’4’X0OO20
0001B 、END 19.9@@g*9gp*@***@*@H*@@@@
(4@@@@*9**:@@@テスト・ケースの最初の
行ないしレコードは、制御レコードであって、これは新
しいテスト・ケースの起動、および新しいテスト・ケー
ス独自のテスト条件をセット・アップする必要がある場
合にはこれを示すものである。つぎ04つの行は、テス
ト・ケースの性質および意図を説明するコメントないし
内部ドキュメンテーションである。テスト・ケースの行
6は逆転移動命令の16進表記であり、これはPSWレ
コードの命令アドレス・フィールドにあたえられるアド
レスにしたがって、メモリに入れられる。行7はPUT
10の汎用レジスタ(GPR)が初期設定される、1
6進値’ 000080000 ’を示す。行8および
9は、共有メモリ12の記憶位置を上記の16ピツトの
16進値に初期設定する。より具体的に言えば、これら
のレコードは記憶域の位置8200−820Fを°AA
A、、、AAA ’という16進値で、また位置821
0−821F ’ 555、、.555°という16進
値で初期設定する。行10はプログラム状況ワード(P
SW)をセットするものであり、これはメモリのどこに
命令が置かれているかを示すものである。この場合には
、PSWの命令アドレスを使用して、命令のアドレスを
探し出す。記憶域内のPSWの位置は、テスト制御プロ
グラム(後出参照)中のラベル°PSWADDI’のP
SWロード命令によって支持されるアドレスを確立する
ために用いられる。行11のRESULTS=レコード
は、実行が進められ得ること、およびテストフケースが
充分に初期設定されたことを、制御プログラムに示す。
*****ネネ:: * * * : * *15 、
SA’8200’L’16’X555.、.5AA’
16 、 SA’8210°L’16°X555.、.
555゜17 、 SA’88’L’4’X0OO20
0001B 、END 19.9@@g*9gp*@***@*@H*@@@@
(4@@@@*9**:@@@テスト・ケースの最初の
行ないしレコードは、制御レコードであって、これは新
しいテスト・ケースの起動、および新しいテスト・ケー
ス独自のテスト条件をセット・アップする必要がある場
合にはこれを示すものである。つぎ04つの行は、テス
ト・ケースの性質および意図を説明するコメントないし
内部ドキュメンテーションである。テスト・ケースの行
6は逆転移動命令の16進表記であり、これはPSWレ
コードの命令アドレス・フィールドにあたえられるアド
レスにしたがって、メモリに入れられる。行7はPUT
10の汎用レジスタ(GPR)が初期設定される、1
6進値’ 000080000 ’を示す。行8および
9は、共有メモリ12の記憶位置を上記の16ピツトの
16進値に初期設定する。より具体的に言えば、これら
のレコードは記憶域の位置8200−820Fを°AA
A、、、AAA ’という16進値で、また位置821
0−821F ’ 555、、.555°という16進
値で初期設定する。行10はプログラム状況ワード(P
SW)をセットするものであり、これはメモリのどこに
命令が置かれているかを示すものである。この場合には
、PSWの命令アドレスを使用して、命令のアドレスを
探し出す。記憶域内のPSWの位置は、テスト制御プロ
グラム(後出参照)中のラベル°PSWADDI’のP
SWロード命令によって支持されるアドレスを確立する
ために用いられる。行11のRESULTS=レコード
は、実行が進められ得ること、およびテストフケースが
充分に初期設定されたことを、制御プログラムに示す。
行15および16は既知の正しい結果であり、これらは
共有メモリ12に格納され、命令の実行が適正であった
か否かを検査するため、命令の実行結果と比較される。
共有メモリ12に格納され、命令の実行が適正であった
か否かを検査するため、命令の実行結果と比較される。
これらはテスト・ケースの実行後の記憶域の状態を現わ
す。テスト・ケースの行17は、予期きれる割り込みコ
ードおよび命令の長きであって、テストきれる命令の実
行後の比較に使用される。行18はテスト・ケース・プ
ログラムの終了を現わし、結果の比較およびレポートを
開始できることを示している。上記したように、アステ
リスクで始まるテスト・ケース・プログラムのすべての
行は、テスト・ケース・プログラム自体を内部でドキュ
メント化するために使用されるコメントないし区分線を
示している。
す。テスト・ケースの行17は、予期きれる割り込みコ
ードおよび命令の長きであって、テストきれる命令の実
行後の比較に使用される。行18はテスト・ケース・プ
ログラムの終了を現わし、結果の比較およびレポートを
開始できることを示している。上記したように、アステ
リスクで始まるテスト・ケース・プログラムのすべての
行は、テスト・ケース・プログラム自体を内部でドキュ
メント化するために使用されるコメントないし区分線を
示している。
被テスト処理装置制御プログラム(PUTCP)は、P
UTレジスタを初期設定ないしロードする機能を提供す
るために、利用きれる。記憶域のあらゆる初期設定用件
を、共有メモリ12によって満たすことかできるのは明
らかである。しかしながら、PUT14の内容をロード
するのに必要とされるテスト・サポート・システムの助
けは、最小限のものにすぎない。PUT14のレジスタ
を格納するための機構もPUTCPに存在しており、以
下で詳述されることに留意されたい。
UTレジスタを初期設定ないしロードする機能を提供す
るために、利用きれる。記憶域のあらゆる初期設定用件
を、共有メモリ12によって満たすことかできるのは明
らかである。しかしながら、PUT14の内容をロード
するのに必要とされるテスト・サポート・システムの助
けは、最小限のものにすぎない。PUT14のレジスタ
を格納するための機構もPUTCPに存在しており、以
下で詳述されることに留意されたい。
PUTCPには、テストをざらに進めるために、PUT
14上で動作可能な命令が含まれている。本例において
、マイクロコードの作成きれる処理装置は、IBM
S/370であり、これは16個の汎用および制御レジ
スタをロードする必要がある。したがって、これらの用
件がPUTCPによって満たぎれなければならないが、
その他の点では、この制御プログラムに包含される命令
の数は、最小限のものとなる。
14上で動作可能な命令が含まれている。本例において
、マイクロコードの作成きれる処理装置は、IBM
S/370であり、これは16個の汎用および制御レジ
スタをロードする必要がある。したがって、これらの用
件がPUTCPによって満たぎれなければならないが、
その他の点では、この制御プログラムに包含される命令
の数は、最小限のものとなる。
PUT#御プログラムを共有メモリ12にロードする他
に、テスト・サポート・システム10はPUT14の適
正な実行を確保するために、他の幾つかのメモリ域をセ
ットしなければならない。
に、テスト・サポート・システム10はPUT14の適
正な実行を確保するために、他の幾つかのメモリ域をセ
ットしなければならない。
たとえば、あるPUTCPにおいては、メモリ位置0の
再起動psw、およびメモリ位置60の5VCPSWが
、最小限これらの適切な値に初期設定されると仮定され
ている。したがって、例えばSVC割り込みアドレスが
新しいsvc pswのアドレスでなければならず、
また000400°が新しい再起動PSWのアドレスで
なければならない。これを行う必要があるのは、テスト
手順中に一回だけである。他のCPUの重要な区域を、
誤まった実行のなhらかのトレースを提供する値に初期
設定すると役立つ事がわかった。それゆえ、すべての新
しいPSWのアドレスをSVC割り込みアドレスに初期
設定し、後でデバッグに使用できるレジスタの値を確実
に格納するのが賢明である。
再起動psw、およびメモリ位置60の5VCPSWが
、最小限これらの適切な値に初期設定されると仮定され
ている。したがって、例えばSVC割り込みアドレスが
新しいsvc pswのアドレスでなければならず、
また000400°が新しい再起動PSWのアドレスで
なければならない。これを行う必要があるのは、テスト
手順中に一回だけである。他のCPUの重要な区域を、
誤まった実行のなhらかのトレースを提供する値に初期
設定すると役立つ事がわかった。それゆえ、すべての新
しいPSWのアドレスをSVC割り込みアドレスに初期
設定し、後でデバッグに使用できるレジスタの値を確実
に格納するのが賢明である。
動作時に、新たに付は加えられた命令のテストおよび検
査は、第2図に略示する態様で進められる。テスト・ケ
ースがディスケットから読み取られ、各レコードはテス
ト・サポート・システム(TSS)10によって、正し
ぎが検査される。
査は、第2図に略示する態様で進められる。テスト・ケ
ースがディスケットから読み取られ、各レコードはテス
ト・サポート・システム(TSS)10によって、正し
ぎが検査される。
レコードのいずれかが誤まっているとわかった場合には
、テスト・ケースがバイパスされ、このことについての
適切な警報が出される。テスト・ケースの例においては
、最初のレコードは制御レコードであり、これはTSS
loに、新しいテスト・ケースの始まり、およびこのテ
スト・ケース独自のテスト条件をセット・アップする必
要がある場合には、この必要性を示す。いったんPUT
14の記憶域が最小限の制御プログラムおよびテスト・
ケースのデータによって初期設定されると、これはPU
Tが実行を開始するのに適したものとなる。本例のS/
370 P U Tにおいて、制御は、プログラムを再
起動きせることによって、PUTに渡される。PUT1
4が制御を有している間、TSSIOはPUTCPの実
行が終わり、制御が戻されるのを待つ。
、テスト・ケースがバイパスされ、このことについての
適切な警報が出される。テスト・ケースの例においては
、最初のレコードは制御レコードであり、これはTSS
loに、新しいテスト・ケースの始まり、およびこのテ
スト・ケース独自のテスト条件をセット・アップする必
要がある場合には、この必要性を示す。いったんPUT
14の記憶域が最小限の制御プログラムおよびテスト・
ケースのデータによって初期設定されると、これはPU
Tが実行を開始するのに適したものとなる。本例のS/
370 P U Tにおいて、制御は、プログラムを再
起動きせることによって、PUTに渡される。PUT1
4が制御を有している間、TSSIOはPUTCPの実
行が終わり、制御が戻されるのを待つ。
記憶域アドレスOに置かれているPSWがついで呼び出
され、psw命令アドレスによって支持されたアドレス
において、命令が実行を開始する。最小限度のPUTC
Pの入口点がそのアドレスに存在する。つぎに、汎用レ
ジスタが、テストケースのレコードがロードされている
記憶域からのデータを用いて、初期設定される。同様に
、制御レジスタも、テスト・ケースのレコードがロード
されている記憶域によって、初期設定される。
され、psw命令アドレスによって支持されたアドレス
において、命令が実行を開始する。最小限度のPUTC
Pの入口点がそのアドレスに存在する。つぎに、汎用レ
ジスタが、テストケースのレコードがロードされている
記憶域からのデータを用いて、初期設定される。同様に
、制御レジスタも、テスト・ケースのレコードがロード
されている記憶域によって、初期設定される。
制御はついで、PSWロード命令’LPSW“を介して
、記憶域内のテスト・ケース命令に渡キれる。その後、
テスト・ケース命令に渡される。その後、テスト・ケー
ス命令が実行される。TSS制御プログラムによって、
テスト・ケースの終りに置かれている、最後に実行され
る命令は、監視プログラム呼び出し命令’ svc ’
である。この命令が実行されると、監視プログラム呼び
出しPSWがロードきれ、ついでSVC割り込みアドレ
スにおいて、実行が行なわれる。SVC割り込みアドレ
スにおいて、汎用レジスタは制御レジスタと同様に、共
有メモリ12に格納される。
、記憶域内のテスト・ケース命令に渡キれる。その後、
テスト・ケース命令に渡される。その後、テスト・ケー
ス命令が実行される。TSS制御プログラムによって、
テスト・ケースの終りに置かれている、最後に実行され
る命令は、監視プログラム呼び出し命令’ svc ’
である。この命令が実行されると、監視プログラム呼び
出しPSWがロードきれ、ついでSVC割り込みアドレ
スにおいて、実行が行なわれる。SVC割り込みアドレ
スにおいて、汎用レジスタは制御レジスタと同様に、共
有メモリ12に格納される。
検査の最終段階において、制御がT’−S S 10へ
戻される。そのためにはマイクロコードが、ある特定の
命令を、PUT14から制御を戻すことを要求するもの
として認識する必要がある。テスト制御プログラムに多
数の命令を書き込んだりこれらの命令に応答したりする
ことなく制御を戻すのに最も効率のよい方法は、PUT
14を異常な命令に対して、予測可能な態様で反応きせ
ることであることが、判明した。より具体的に言えば、
それに出会ったときにPUT14に制御を放棄きせるよ
うな無効命令が使用きれる。プログラム中でこの命令が
読み出きれると所望通りに制御が戻される。
戻される。そのためにはマイクロコードが、ある特定の
命令を、PUT14から制御を戻すことを要求するもの
として認識する必要がある。テスト制御プログラムに多
数の命令を書き込んだりこれらの命令に応答したりする
ことなく制御を戻すのに最も効率のよい方法は、PUT
14を異常な命令に対して、予測可能な態様で反応きせ
ることであることが、判明した。より具体的に言えば、
それに出会ったときにPUT14に制御を放棄きせるよ
うな無効命令が使用きれる。プログラム中でこの命令が
読み出きれると所望通りに制御が戻される。
いったん、制御がTSSloへ戻されると、所定の値と
の実行結果の比較が開始きれ、かかる結果に関するレポ
ートが得られる。最初TSSIOによって、その後汎用
レジスタおよび制御レジスタに関するPUT14による
実行によって、データが格納される共有メモリの領域は
、TSSloに知られている。ざらに、TSSIOはア
ーキテクチャ上重要な領域も知っているが、その領域は
テストきれる命令の実行によって変更されないことを保
証する値にTSS自身によりセットきれるか又はクリア
されるものである。この知識を用いて、テスターはテス
ト・ケースを実行することによって定時きれる結果即ち
本例においてはレコード15ないし17を、PUTの汎
用レジスタおよび制御レジスタに実際に存在するものと
比較し初める。アーキテクチャ上重要な部分も、内部に
何の変更もなされていないことを確認するために、比較
きれる。実際の結果と予測されていた結果との間のすべ
ての相違は、その出力によって、ユーザーの希望に応じ
て、システムのプリンタ、TSSのCRT、ディスケッ
トまたは磁気テープのよって、レポートきれる。
の実行結果の比較が開始きれ、かかる結果に関するレポ
ートが得られる。最初TSSIOによって、その後汎用
レジスタおよび制御レジスタに関するPUT14による
実行によって、データが格納される共有メモリの領域は
、TSSloに知られている。ざらに、TSSIOはア
ーキテクチャ上重要な領域も知っているが、その領域は
テストきれる命令の実行によって変更されないことを保
証する値にTSS自身によりセットきれるか又はクリア
されるものである。この知識を用いて、テスターはテス
ト・ケースを実行することによって定時きれる結果即ち
本例においてはレコード15ないし17を、PUTの汎
用レジスタおよび制御レジスタに実際に存在するものと
比較し初める。アーキテクチャ上重要な部分も、内部に
何の変更もなされていないことを確認するために、比較
きれる。実際の結果と予測されていた結果との間のすべ
ての相違は、その出力によって、ユーザーの希望に応じ
て、システムのプリンタ、TSSのCRT、ディスケッ
トまたは磁気テープのよって、レポートきれる。
本発明を本発明の好ましい実施例について説明してきた
が、本発明の精神および範囲から逸脱することなく、本
発明の改変を行えることは、当該分野の技術者には容易
に明らかとなろう。したがって、本発明を好ましい実施
例に関する上記の説明の特定形に限定することは、意図
されるところではない。むしろ、本発明は特許請求の範
囲のみによって限定きれるとみなきれるべきであり、特
許請求の範囲のみが本発明の範囲を確定するものである
。
が、本発明の精神および範囲から逸脱することなく、本
発明の改変を行えることは、当該分野の技術者には容易
に明らかとなろう。したがって、本発明を好ましい実施
例に関する上記の説明の特定形に限定することは、意図
されるところではない。むしろ、本発明は特許請求の範
囲のみによって限定きれるとみなきれるべきであり、特
許請求の範囲のみが本発明の範囲を確定するものである
。
第1図は、本発明にしたがって使用されるようになされ
た命令セット検査構成を簡略化して示す略図である。 第2図は、第1図に示す構成を用いた本発明方法にした
がって命令セットの例をテストする際のフローチャート
を簡略化して示す略図である。
た命令セット検査構成を簡略化して示す略図である。 第2図は、第1図に示す構成を用いた本発明方法にした
がって命令セットの例をテストする際のフローチャート
を簡略化して示す略図である。
Claims (1)
- 【特許請求の範囲】 限られた命令セットを有する被テスト処理装置を、検査
を行うのに最小限のサイズのテスト・ドライバを用いて
検査する方法において、上記被テスト処理装置と通信す
るように接続きれたテスト・サポート処理装置と、 入出力機構と、 テスト・ケースを読み取り、かつテストされる命令用の
データでメモリを初期設定するためのテ人 →ト制御プログラムと、 上記被テスト処理装置と上記テスト処理装置と段とを準
備し、 上記被テスト処理装置の上記限られた命令セットの命令
のひとつをテストするに十分なデータを含んでいる上記
テスト制御プログラムを、上記テスト・サポート処理装
置を用いて上記共有メモリにロードし、 させ、 一上記テスト・サポート処理装置を用いて、上記命令の
実行の結果を所望の結果と比較する段階を含む検査方法
。
Applications Claiming Priority (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US06/449,929 US4520440A (en) | 1982-12-15 | 1982-12-15 | Test verification of processor architecture having a partial instruction set |
US449929 | 1982-12-15 |
Publications (1)
Publication Number | Publication Date |
---|---|
JPS59114649A true JPS59114649A (ja) | 1984-07-02 |
Family
ID=23786049
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP58213423A Pending JPS59114649A (ja) | 1982-12-15 | 1983-11-15 | 処理装置の検査方法 |
Country Status (4)
Country | Link |
---|---|
US (1) | US4520440A (ja) |
EP (1) | EP0111952B1 (ja) |
JP (1) | JPS59114649A (ja) |
DE (1) | DE3381450D1 (ja) |
Families Citing this family (18)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US5115502A (en) * | 1984-11-02 | 1992-05-19 | Tektronix, Inc. | Method and apparatus for determining internal status of a processor using simulation guided by acquired data |
US4755995A (en) * | 1985-12-20 | 1988-07-05 | American Telephone And Telegraph Company, At&T Bell Laboratories | Program update in duplicated switching systems |
US4811345A (en) * | 1986-12-16 | 1989-03-07 | Advanced Micro Devices, Inc. | Methods and apparatus for providing a user oriented microprocessor test interface for a complex, single chip, general purpose central processing unit |
US5263153A (en) * | 1987-01-22 | 1993-11-16 | National Semiconductor Corporation | Monitoring control flow in a microprocessor |
JPH0362202A (ja) * | 1989-07-31 | 1991-03-18 | Japan Electron Control Syst Co Ltd | 制御プログラム開発装置 |
US5925125A (en) * | 1993-06-24 | 1999-07-20 | International Business Machines Corporation | Apparatus and method for pre-verifying a computer instruction set to prevent the initiation of the execution of undefined instructions |
EP0685794A1 (en) * | 1994-06-01 | 1995-12-06 | Advanced Micro Devices, Inc. | System for generating floating point test vectors |
US5802071A (en) * | 1995-11-17 | 1998-09-01 | Fang; I Liang | Micro-controller with a built-in test circuit and method for testing the same |
US5978946A (en) * | 1997-10-31 | 1999-11-02 | Intel Coporation | Methods and apparatus for system testing of processors and computers using signature analysis |
US20030093258A1 (en) * | 2001-11-14 | 2003-05-15 | Roman Fishstein | Method and apparatus for efficient simulation of memory mapped device access |
US7343520B2 (en) * | 2003-04-01 | 2008-03-11 | Raytheon Company | Common built in test (BIT) software architecture |
US20050159925A1 (en) * | 2004-01-15 | 2005-07-21 | Elias Gedamu | Cache testing for a processor design |
US20050172182A1 (en) * | 2004-01-15 | 2005-08-04 | Elias Gedamu | Optimal operational voltage identification for a processor design |
US20050172178A1 (en) * | 2004-01-15 | 2005-08-04 | Elias Gedamu | Cache-testable processor identification |
US7350113B2 (en) * | 2004-05-11 | 2008-03-25 | International Business Machines Corporation | Control method, system, and program product employing an embedded mechanism for testing a system's fault-handling capability |
US20110087861A1 (en) * | 2009-10-12 | 2011-04-14 | The Regents Of The University Of Michigan | System for High-Efficiency Post-Silicon Verification of a Processor |
US20130191689A1 (en) | 2012-01-20 | 2013-07-25 | International Business Machines Corporation | Functional testing of a processor design |
CN110688304B (zh) * | 2019-08-30 | 2021-04-27 | 中国科学院信息工程研究所 | 处理器指令集的完备性检测方法、装置与电子设备 |
Citations (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPS5135096A (ja) * | 1974-09-20 | 1976-03-25 | Hitachi Ltd | Denryokugaikan |
Family Cites Families (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US3544777A (en) * | 1967-11-06 | 1970-12-01 | Trw Inc | Two memory self-correcting system |
US4231087A (en) * | 1978-10-18 | 1980-10-28 | Bell Telephone Laboratories, Incorporated | Microprocessor support system |
JPS5582359A (en) * | 1978-12-18 | 1980-06-21 | Toshiba Corp | Microprogram test unit |
US4312066A (en) * | 1979-12-28 | 1982-01-19 | International Business Machines Corporation | Diagnostic/debug machine architecture |
-
1982
- 1982-12-15 US US06/449,929 patent/US4520440A/en not_active Expired - Fee Related
-
1983
- 1983-11-15 JP JP58213423A patent/JPS59114649A/ja active Pending
- 1983-11-23 EP EP83201660A patent/EP0111952B1/en not_active Expired
- 1983-11-23 DE DE8383201660T patent/DE3381450D1/de not_active Expired - Fee Related
Patent Citations (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPS5135096A (ja) * | 1974-09-20 | 1976-03-25 | Hitachi Ltd | Denryokugaikan |
Also Published As
Publication number | Publication date |
---|---|
US4520440A (en) | 1985-05-28 |
EP0111952A3 (en) | 1987-04-29 |
DE3381450D1 (de) | 1990-05-17 |
EP0111952B1 (en) | 1990-04-11 |
EP0111952A2 (en) | 1984-06-27 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JPS59114649A (ja) | 処理装置の検査方法 | |
US10139876B2 (en) | Efficient reboot of an operating system executed in a virtual machine | |
US5636366A (en) | System and method for preserving instruction state-atomicity for translated program | |
US6925584B2 (en) | Systems and methods for testing processors | |
US7409330B2 (en) | Method and system for software debugging using a simulator | |
US5428618A (en) | Debugger apparatus and method having an event history recording capability | |
US5680584A (en) | Simulator system for code execution and debugging within a multi-architecture environment | |
TWI544410B (zh) | 利用執行單步驟以進行編碼診斷 | |
EP0141744B1 (en) | Method and apparatus for self-testing of floating point accelerator processors | |
JP2796041B2 (ja) | 入出力装置の診断方法 | |
Addy | A case study on isolation of safety-critical software | |
JP3102568B2 (ja) | ソフトウエア開発装置 | |
JPH03294934A (ja) | 高級プログラム言語用デバッガ | |
JPS6214240A (ja) | プログラム検査方式 | |
JPH064333A (ja) | ブレークポイント設定装置 | |
JP2967741B2 (ja) | Cpu互換性テスト装置 | |
JPS5930153A (ja) | 擬似障害設定処理方式 | |
JPS6225340A (ja) | 検査装置 | |
JPS62192824A (ja) | 処理装置アクセス方式 | |
JPH03271837A (ja) | Mt系テストプログラム・テスト方式 | |
JPS6158049A (ja) | エラ−検出方式 | |
JPS603032A (ja) | 情報処理装置 | |
JPH05241821A (ja) | データ処理装置 | |
JPS6049442A (ja) | マイクロ診断方式 | |
JPH03252826A (ja) | テストデータ処理方式 |