JPH08212103A - マルチスレッド・プロセッサのテスト・データ作成方法 - Google Patents

Abstract

(57)【要約】 【目的】 単一スレッド・プロセッサの実行環境上で、
マルチスレッド・プロセッサ検証用のテスト・データを
作成すること。 【構成】 まず共有メモリ領域を共有領域初期値ファイ
ルにダンプし、次に夫々のスレッドに対して順に、局所
メモリ領域を割り付けた後、局所メモリ領域を局所領域
初期値ファイルにダンプする。そしてスレッドを実行し
た後、再び局所メモリ領域を局所領域期待値ファイルに
ダンプし、全てのスレッドの命令コードの実行を終えた
時点で、共有メモリ領域を共有領域期待値ファイルにダ
ンプする。こうするとマルチスレッド・プロセッサの検
証作業の正確さを向上し、検証作業の時間も短縮でき
る。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は、複数の独立な命令流の
命令を並列実行するマルチスレッド・プロセッサＬＳＩ
を設計・検証する際に用いるマルチスレッド・プロセッ
サのテスト・データ作成方法に関するものである。

【０００２】

【従来の技術】近年、大規模なマイクロプロセッサＬＳ
Ｉが開発され、その検証作業には多大のコストが必要と
なってきている。従来、マイクロプロセッサ検証用のテ
スト・プログラムはアセンブラ言語を用いて（又は機械
語で直接）人手で作成されていた。そのテスト・プログ
ラムを動作させるための初期値データも人手で用意する
必要がある。さらに困難なことには、その初期値データ
を用いてテスト・プログラムを動作させた後の結果デー
タ、すなわち期待値データも人手で作成しなければなら
ず、作成時間および正確さの点で大きな費用を要するも
のであった。

【０００３】一方、開発されるマイクロプロセッサＬＳ
Ｉの規模及び複雑度は肥大化の一途をたどり、人手のみ
によるテスト・プログラムの作成では間に合わなくなっ
てきた。ＬＳＩ開発と並行してソフトウェア開発を行な
うために作成された命令レベル・シミュレータ（命令セ
ットに関するシュミレータ）を用いることで、期待値デ
ータの作成については自動化が達成された。特に、既存
の命令セットに対する互換プロセッサを開発する場合に
は、コンパイラなどのプログラム開発環境もすでに整っ
ており、高級言語で記述された大規模な実用的プログラ
ムをＬＳＩ検証の時点でテスト・プログラムとして用い
ることも可能である。

【０００４】さらに、メモリ領域のダンプ（データのは
き出し）や実行トレース（各コマンドがどのように実効
されかを記録していくこと）などの、プログラム実行を
制御できるソフトウェア機能を備えれば、実機上でテス
ト・プログラムを実行することにより、命令レベル・シ
ミュレータを用いる場合よりも、より容易に且つ高速に
期待値データを作成することが可能である。

【０００５】

【発明が解決しようとする課題】しかしながら上記のよ
うなプロセッサ検証手法は、既存のアーキテクチャとほ
ぼ同様のアーキテクチャを踏襲する場合にのみ可能であ
る。新規に開発したアーキテクチャをもつプロセッサに
対しては、ソフトウェア的な資産を持たないため、その
検証作業においては、初期のそれと同様、多大の費用が
要求されるという問題点が有った。

【０００６】本発明のテスト・データ作成方法が対象と
するプロセッサは、命令セット・アーキテクチャが既存
の命令セットと互換性を有するものであって、命令実行
方式には、例えば特開平３−１３４８８２号に開示され
たアーキテクチャを採用するものである。特開平３−１
３４８８２号に開示されたプロセッサは、プログラム・
カウンタを複数個持ち、それぞれのプログラム・カウン
タでシーケンス制御される独立な命令流（これをスレッ
ドと呼ぶ）を並列に実行するものである。

【０００７】しかしながら従来から開発されてきたプロ
セッサは、単一スレッドの実行を対象としたものであ
り、特開平３−１３４８８２号に開示されるようなマル
チスレッド実行を対象としたものは存在しない。ソフト
ウェア的な環境も整っていない状態で、マルチスレッド
・プロセッサの検証を単一スレッド・プロセッサの場合
のように効率良く行なうことは困難であり、このような
マルチスレッド・アーキテクチャを対象としたプロセッ
サのテスト方法に関する報告はこれまでにも見当たらな
い。

【０００８】本発明はこのような従来の問題点に鑑みて
なされたものであって、単一スレッド・プロセッサの実
行環境上でマルチスレッド・プロセッサ検証用のテスト
・データを自動的に作成し、マルチスレッド・プロセッ
サ検証作業の正確さを向上すると共に、検証作業時間の
短縮を実現するマルチスレッド・プロセッサのテスト・
データ作成方法を実現することを目的とする。

【０００９】また本発明は、単一スレッド・プロセッサ
の環境上で実行されるテスト・データ作成時のプログラ
ムを、マルチスレッド・プロセッサの機能シミュレータ
（又は論理シミュレータ）上で、そのまま検証に使用す
る能力を備えたマルチスレッド・プロセッサのテスト・
データ作成方法を実現することを目的とする。

【００１０】

【課題を解決するための手段】本願の請求項１の発明
は、本来独立な複数のプログラム・セグメントをリンク
して１つのプログラムとして実機上で実行し、テスト用
の初期値データと期待値データを作成するマルチスレッ
ド・プロセッサのテスト・データ作成方法であって、全
てのプログラム・セグメントの実行に先だってまず共有
メモリ領域を共有領域初期値ファイルにダンプし、次に
プログラム・セグメントの夫々に対して局所メモリ領域
を互いに重ならないように割り付け、プログラム・セグ
メントの夫々に対して順に局所メモリ領域のデータを局
所領域初期値ファイルにダンプし、実機上でリンクされ
た複数のプログラム・セグメントを実行し、共有領域初
期値ファイル及び局所領域初期値ファイルを用いて仮想
的なマルチスレッド・プロセッサを実行し、プログラム
・セグメントを実行した後再び局所メモリ領域のデータ
を局所領域期待値ファイルにダンプし、最後に、全ての
プログラム・セグメントの実行を終えた時点で共有メモ
リ領域を共有領域期待値ファイルにダンプし、実機上で
得られた期待値ファイルと仮想のマルチスレッド・プロ
セッサで得られた実行結果ファイルとを照合することを
特徴とするものである。

【００１１】本願の請求項２の発明は、夫々のプログラ
ム・セグメント実行中のメモリ参照アドレスをトレース
して夫々のトレース・ファイルに記録し、夫々の局所領
域初期値ファイル内のメモリ・ダンプ結果に対して、ト
レース・ファイルに記録されていないアドレスのメモリ
・セル内容をフラッシュして局所領域初期値ファイルを
更新し、夫々の局所領域期待値ファイル内のメモリ・ダ
ンプ結果に対して、トレース・ファイルに記録されてい
ないアドレスのメモリ・セル内容をフラッシュして局所
領域期待値ファイルを更新することを特徴とするもので
ある。

【００１２】本願の請求項３の発明は、最初のプログラ
ム・セグメントを実行する前にある局所メモリ領域上の
変数をセットし、夫々のプログラム・セグメントの実行
を終了した時点で変数の値を調べ、セットされていれば
局所メモリ領域を局所領域期待値ファイルにダンプし、
フラッシュされていれば停止命令を実行することを特徴
とするものである。

【００１３】

【作用】このような特徴を有する本願の請求項１の発明
によれば、局所メモリ領域については、プログラム・セ
グメントの夫々に対して局所メモリ領域を互いに重なら
ないように割り付けた後に、プログラム・セグメントの
夫々に対して順に、局所メモリ領域のダンプ、実行、局
所メモリ領域の再ダンプを行なう。このため、各プログ
ラム・セグメントの実行の際に、互いの局所メモリ領域
に対するメモリ・アクセスが重なることなく、各プログ
ラム・セグメント実行の前後におけるメモリ領域の内容
が記録保存される。全てのプログラム・セグメントの実
行に先だってまず共有メモリ領域をダンプし、また、共
有メモリ領域については、本来独立な複数のプログラム
・セグメントをリンクして、１つのプログラムとして実
機上で実行する。また共有領域初期値ファイル及び局所
領域初期値ファイルを用いて仮想のマルチスレッド・プ
ロセッサのプログラムを実行する。全てのプログラム・
セグメントの実行を終えた時点で、再び共有メモリ領域
をダンプするため、全てのプログラム・セグメントの実
行開始時点及び終了時点でのメモリ領域の内容を記録保
存する。次に実機上で得られた期待値ファイルと仮想の
マルチスレッド・プロセッサで得られた実行結果ファイ
ルを照合する。

【００１４】又本願の請求項２の発明によれば、夫々の
プログラム・セグメント実行中のメモリ参照アドレスを
トレースして、夫々のトレース・ファイルに記録する。
また局所領域のメモリ・ダンプ結果に対してトレース・
ファイルに記録されていないアドレスのメモリの内容を
フラッシュしてダンプ結果を更新する。このため実行中
に参照されなかったメモリの内容はフラッシュされ、参
照されたメモリ・セルの内容のみが残ることとなる。

【００１５】更に本願の請求項３の発明によれば、最初
のプログラム・セグメントを実行する前に、ある局所メ
モリ領域上の変数をセットし、夫々のプログラム・セグ
メントの実行を終了した時点でその変数の値を調べる。
そして、セットされていれば局所メモリ領域のデータを
局所領域期待値ファイルにダンプし、フラッシュされて
いれば停止命令を実行する。このためテスト・データ作
成時には、変数に値がセットされていればダンプを行な
い、検証時には変数の値がフラッシュされていれば停止
命令が実行される。

【００１６】

【実施例】以下本発明のマルチスレッド・プロセッサの
テスト・データ作成方法の一実施例について、図面を参
照しながら説明する。図２は本実施例におけるテスト・
データ作成環境を示す階層図ある。図２において、ハー
ドウェアであるワークステーション（ＷＳ）２１は、オ
ペレーティング・システム（ＯＳ）２２の下で動作する
プロセッサである。テスト・データ作成ツール２３、Ｖ
ｅｒｉｌｏｇシミュレータ２４、Ｖｅｒｉｌｏｇで記述
されたマルチスレッド・プロセッサ２５、テスト・プロ
グラム（実行可能形式）２６ａ、テスト・プログラム
（Ｖｅｒｉｌｏｇ用に変換された形式）２６ｂは、夫々
ＯＳ２２の上で動作するものである。

【００１７】一般にＷＳ２１は、ＯＳ２２と呼ばれる基
本ソフトウェアによりハードウェアが管理されたもので
あり、この上で種々のアプリケーション・プログラムが
実行される。本実施例では、開発するマルチスレッド・
プロセッサの命令セットがＷＳ２１の命令セットと同一
であるものとし、さらに、マルチスレッド・プロセッサ
はハードウェア記述言語であるＶｅｒｉｌｏｇ（米国Ca
ndens Design Sstems社）を用いて設計されているもの
とする。

【００１８】テスト・プログラム２６ａは高級言語また
はアセンブラ言語で記述され、コンパイラまたはアセン
ブラによって実行可能形式に翻訳されたものである。こ
れをテスト・データ作成ツール２３の制御のもとで実行
する。ＯＳ２２に例えばＵＮＩＸを使用する場合には、
親プロセスのテスト・プログラム２６ａをその子プロセ
スとして実行し、テスト・データ作成ツール２３はＵＮ
ＩＸのｐｔｒａｃｅシステム・コールを用いてテスト・
プログラム２６ａの実行を制御できる。この機構によ
り、テスト・プログラム２６ａの実行をトレースしてト
レース・ファイルに記録したりメモリ・ダンプを行な
う。

【００１９】一方、Ｖｅｒｉｌｏｇで記述されたマルチ
スレッド・プロセッサ２５は、Ｖｅｒｉｌｏｇシミュレ
ータ２４によってマルチスレッド・プロセッサの機能を
仮想的に実現できる。テスト・プログラム２６ａの命令
コード部分をＶｅｒｉｌｏｇシミュレータ２４に入力で
きるデータ形式に変換したものがテスト・プログラム２
６ｂである。Ｖｅｒｉｌｏｇシミュレータ２４上の仮想
マルチスレッド・プロセッサ２５でテスト・プログラム
２６ｂを実行した結果と、テスト・プログラム２６ａの
実行結果とが一致していれば、マルチスレッド・プロセ
ッサ２５のＶｅｒｉｌｏｇ記述は正しいことになる。

【００２０】図１は本実施例におけるテスト・データ作
成方法のフローチャートである。図１において、ステッ
プ１１ａ，１１ｂ，１２ａ，１２ｂ，１５ａ，１５ｂの
処理はテスト・データ作成ツール２３が担当して処理す
るものであり、その他のステップ１３，１４，１６ａ，
１６ｂ，１６ｃの処理はテスト・プログラム２６ａに組
み込まれたものである。

【００２１】図３は本実施例におけるテスト・プログラ
ム実行の流れを摸式的に示すものである。図３におい
て、初期値ファイルとして共有領域初期値ファイル３
１、スレッド１の局所領域初期値ファイル３２、スレッ
ド２の局所領域初期値ファイル３３が設けられている。
また期待値ファイルとして共有領域期待値ファイル３
４、スレッド１の局所領域期待値ファイル３５、スレッ
ド２の局所領域期待値ファイル３６が設けられている。
更に実行結果ファイルとして、共有領域実行結果ファイ
ル３７、スレッド１の局所領域実行結果ファイル３８、
スレッド２の局所領域実行結果ファイル３９が設けられ
ている。簡単のためここでは２つのスレッドを並列実行
するのもとしているが、任意数のスレッドに拡張できる
ことは自明である。

【００２２】スレッドとして実行する複数のプログラム
・セグメントはコンパイル時にリンクし、１つのプログ
ラム２６ａとしてＷＳ２１上で逐次実行される。このと
き、図１におけるステップ１３、１６ａ、１６ｂ、１６
ｃの処理を担当するルーチンをライブラリとして一緒に
リンクしておく。まず、スレッド１の実行を開始する直
前で、テスト・プログラム２６ａの共有メモリ領域のデ
ータを共有領域初期値ファイル３１にダンプする（ステ
ップ１１ａの処理）。次に、スレッド１の使用する局所
メモリ領域の割り付け（ステップ１３の処理）を行な
う。

【００２３】スレッドが使用する共有データのメモリ領
域は、リンク時にそれぞれ割り当てられるのでここでは
特に考慮する必要はないが、局所データに対するメモリ
領域はプログラム実行時に動的に割り付けるため、スレ
ッドのプログラム・セグメントを実行する前に、スレッ
ド間で局所データのメモリ領域に重なりが生じないよう
に割り付け直す必要がある。この割り付け方法について
は後述する。

【００２４】スレッド１に対する局所メモリ領域の割り
付けを行なった後、この割り付けた局所メモリ領域のデ
ータを局所領域初期値ファイル３２にダンプする（ステ
ップ１２ａの処理）。実際には、スレッド１に局所的な
実行環境情報として、局所メモリ領域以外にレジスタの
内容などをダンプする必要があるが、ここでは省略す
る。そしてスレッド１の実行を開始し（ステップ１４の
処理）、スレッド１のプログラム・セグメントを実行す
る。そしてスレッド１の実行直後に、再び局所メモリ領
域のデータを局所領域期待値ファイル３５にダンプする
（ステップ１２ｂの処理）。

【００２５】次に、スレッド２に対して同様の処理を行
ない、局所領域初期値ファイル３３および局所領域期待
値ファイル３６を得る。また、スレッド２のプログラム
・セグメントを実行し終えた時点で、共有メモリ領域の
データを共有領域期待値ファイル３４にダンプする（ス
テップ１１ｂの処理）。

【００２６】Ｖｅｒｉｌｏｇシミュレータ２４によって
実現される仮想マルチスレッド・プロセッサ２５上で
は、上記のようにして生成されたファイル３１、３２、
３３からメモリ上の初期イメージを作成し、スレッド１
およびスレッド２を並列に実行する。シミュレーション
（実行）終了時に、共有メモリ領域のデータを共有領域
実行結果ファイル３７に、スレッド１の局所メモリ領域
のデータを局所領域実行結果ファイル３８に、スレッド
２の局所メモリ領域のデータを局所領域実行結果ファイ
ル３９に夫々ダンプする。そして、期待値ファイル３
４、３５、３６と実行結果ファイル３７、３８、３９と
をそれぞれ比較することで、マルチスレッド・プロセッ
サ２５のＶｅｒｉｌｏｇ記述を検証する。

【００２７】次に、局所メモリ領域の割り付けのステッ
プ１３について説明する。大抵の高級言語では、データ
領域を共有領域と局所領域とに分けて使用する。共有領
域はコンパイル時に割り付けられるのに対して、局所領
域は実行時に割り付けられるもので、スタック領域とも
呼ばれる。スタック領域は一般にサブルーチン内でのみ
使用されるデータを記憶するための領域であり、プログ
ラム実行の時間的経過とともに使用領域のサイズも変化
する。

【００２８】この領域内のデータは、一般に、プロセッ
サ内に保持されているスタック・ポインタあるいはフレ
ーム・ポインタからの相対アドレスでアドレッシングさ
れるため、図１におけるステップ１３の処理では、この
スタック・ポインタ（又はフレーム・ポインタ）の値を
書き換えることでスタック領域の割り付けを行なう。こ
の様子を図４に示す。図４においてスレッド１のメモリ
空間４１ａは、共有メモリ領域４１ｂと局所メモリ領域
４１ｃを有している。スレッド２のメモリ空間４２ａ
は、共有メモリ領域４２ｂと局所メモリ領域４２ｃを有
している。テスト・プログラム２６ａのメモリ空間４３
ａは、上から順にスレッド１の局所メモリ領域４１ｃ、
スレッド２の局所メモリ領域４２ｃ、スレッド２の共有
メモリ領域４２ｂ、スレッド１の共有メモリ領域４１ｂ
を有している。

【００２９】一般に局所メモリ領域は、プログラム実行
前に初期化されない。従って、メモリ上のごみデータも
一緒に局所領域初期値ファイルや局所領域期待値ファイ
ルにダンプされてしまう。これは局所領域期待値ファイ
ルと局所領域実行結果ファイルとを比較する際の障害と
なるため、スレッドの実行（ステップ１４の処理）を行
なう間、その実行中にアクセスされたデータのアドレス
をトレースする。このトレース結果をもとに、局所領域
初期値ファイルや局所領域期待値ファイル中のデータで
実際に参照されたアドレスのデータのみを残し、参照さ
れていないアドレスについてはその内容をすべて０にフ
ラッシュすることにより、局所領域実行結果ファイルと
の比較の際の障害を取り除く。

【００３０】以上のように本実施例によれば、すべての
プログラム・セグメントの実行に先だって、まず共有メ
モリ領域のデータを共有領域初期値ファイルにダンプ
し、次にプログラム・セグメントの夫々に対して局所メ
モリ領域を互いに重ならないように割り付ける。そして
この後、プログラム・セグメントの夫々に対して順に、
局所メモリ領域のデータを局所領域初期値ファイルにダ
ンプしてプログラム・セグメントを実行する。そして再
び局所メモリ領域のデータを局所領域期待値ファイルに
ダンプし、最後に、全てのプログラム・セグメントの実
行を終えた時点で、共有メモリ領域のデータを共有領域
期待値ファイルにダンプすることにより、単一スレッド
・プロセッサの実行環境上で自動的にマルチスレッド・
プロセッサ検証用のテスト・データを作成することがで
きる。

【００３１】最後に、スレッドの終了に関するトリック
について説明する。まず、最初に局所メモリ領域上の変
数ｆｌａｇを１にセットする（ステップ１６ａの処
理）。各スレッドはこの変数を参照してはならない。テ
スト・データ作成時には変数ｆｌａｇの値は１のままで
あるので、ステップ１６ｂにおける判定では常にステッ
プ１２ｂ側へ制御が流れる。しかし、トレース結果によ
る局所領域初期値ファイルの更新で、Ｖｅｒｉｌｏｇシ
ミュレーション時には、変数ｆｌａｇの値は０にフラッ
シュされてしまっている。従って、ステップ１６ｂにお
ける判定では常にステップ１６ｃ側へ制御が流れ、各ス
レッドは夫々実行すべきプログラム・セグメントの実行
を終えると、停止命令を実行して停止する。なお、変数
ｆｌａｇを共有メモリ領域上に持つことでも同様の処理
は可能であるが、この場合には変数ｆｌａｇの参照にレ
ジスタが使用され、シミュレーションに若干の影響があ
る。

【００３２】以上のように本実施例によれば、最初のプ
ログラム・セグメントを実行する前に、ある局所メモリ
領域上の変数をセットし、夫々のプログラム・セグメン
トの実行を終了した時点で変数の値を調べ、セットされ
ていれば局所メモリ領域のデータを局所領域期待値ファ
イルにダンプし、フラッシュされていれば停止命令を実
行することにより、単一スレッド・プロセッサ環境上で
実行されるテスト・データ作成時のプログラムをマルチ
スレッド・プロセッサの機能シミュレータ（あるいは論
理シミュレータ）上でそのまま使用しながら、早く終了
したスレッドによるメモリ更新を抑制・制御して、プロ
セッサのＶｅｒｉｌｏｇ記述に検証のための余分な記述
を含めることなく、正しく検証作業を行なうことができ
る。なお、本発明は上記実施例に限定されるものではな
く、本発明の趣旨に基づいて種々の変形が可能であり、
これらを本発明の範囲から排除するものではない。

【００３３】

【発明の効果】以上のように本願の請求項１の発明によ
れば、単一スレッド・プロセッサの実行環境上で自動的
にマルチスレッド・プロセッサ検証用のテスト・データ
を作成することができる。このためマルチスレッド・プ
ロセッサ検証作業の正確さの向上、及び検証作業時間の
短縮を実現することができる。

【００３４】又本願の請求項２の発明によれば、上記の
発明の効果に加えて、単一スレッド・プロセッサ環境上
でプログラムの実行をする際に、局所メモリ領域上に残
されたゴミ・データを除去できる。このため生成した局
所領域期待値ファイルの内容と、マルチスレッド・プロ
セッサの機能シミュレーション（又は論理シミュレーシ
ョン）結果とを単純に比較して、一致しているか否かを
調べるだけでマルチスレッド・プロセッサの動作確認を
行なうことができる。

【００３５】又本願の請求項３の発明によれば、上記の
発明の効果に加えて、機能シミュレーション（又は論理
シミュレーション）には各スレッドが夫々のプログラム
・セグメントの実行を終えると停止命令を実行される。
このため、スレッド間で実行終了時間のばらつきが存在
しても、早く終了したスレッドがメモリを更新すること
がなく、生成した局所領域期待値ファイルの内容とシミ
ュレーション結果とを比較することで、正しくマルチス
レッド・プロセッサの検証を行なうことができる。

【図面の簡単な説明】

【図１】本発明の実施例におけるテスト・データ作成方
法のフローチャートである。

【図２】本実施例におけるテスト・データ作成環境のソ
フトウェア階層図である。

【図３】本実施例におけるテスト・プログラム実行の摸
式図である。

【図４】本実施例におけるテスト・プログラムのメモリ
空間マップを示す図である。

【符号の説明】

２１ ワークステーション ２２ オペレーティング・システム ２３ テスト・データ作成ツール ２４ Ｖｅｒｉｌｏｇシミュレータ ２５ マルチスレッド・プロセッサのＶｅｒｉｌｏｇ記
述 ２６ａ，２６ｂ テスト・プログラム ３１ 共有領域初期値ファイル ３２ スレッド１の局所領域初期値ファイル ３３ スレッド２の局所領域初期値ファイル ３４ 共有領域期待値ファイル ３５ スレッド１の局所領域期待値ファイル ３６ スレッド２の局所領域期待値ファイル ３７ 共有領域実行結果ファイル ３８ スレッド１の局所領域実行結果ファイル ３９ スレッド２の局所領域実行結果ファイル ４１ａ スレッド１のメモリ空間 ４１ｂ スレッド１の共有メモリ領域 ４１ｃ スレッド１の局所メモリ領域 ４２ａ スレッド２のメモリ空間 ４２ｂ スレッド２の共有メモリ領域 ４２ｃ スレッド２の局所メモリ領域 ４３ａ テスト・プログラムのメモリ空間

Claims (3)

【特許請求の範囲】
1. 【請求項１】 本来独立な複数のプログラム・セグメン
   トをリンクして１つのプログラムとして実機上で実行
   し、テスト用の初期値データと期待値データを作成する
   マルチスレッド・プロセッサのテスト・データ作成方法
   であって、 全ての前記プログラム・セグメントの実行に先だってま
   ず共有メモリ領域を共有領域初期値ファイルにダンプ
   し、 次に前記プログラム・セグメントの夫々に対して局所メ
   モリ領域を互いに重ならないように割り付け、 前記プログラム・セグメントの夫々に対して順に局所メ
   モリ領域のデータを局所領域初期値ファイルにダンプ
   し、 実機上でリンクされた複数のプログラム・セグメントを
   実行し、 共有領域初期値ファイル及び局所領域初期値ファイルを
   用いて仮想的なマルチスレッド・プロセッサを実行し、 前記プログラム・セグメントを実行した後再び局所メモ
   リ領域のデータを局所領域期待値ファイルにダンプし、 最後に、全ての前記プログラム・セグメントの実行を終
   えた時点で共有メモリ領域を共有領域期待値ファイルに
   ダンプし、 実機上で得られた期待値ファイルと仮想のマルチスレッ
   ド・プロセッサで得られた実行結果ファイルとを照合す
   ることを特徴とするマルチスレッド・プロセッサのテス
   ト・データ作成方法。
2. 【請求項２】 夫々の前記プログラム・セグメント実行
   中のメモリ参照アドレスをトレースして夫々のトレース
   ・ファイルに記録し、 夫々の前記局所領域初期値ファイル内のメモリ・ダンプ
   結果に対して、前記トレース・ファイルに記録されてい
   ないアドレスのメモリ・セル内容をフラッシュして前記
   局所領域初期値ファイルを更新し、 夫々の前記局所領域期待値ファイル内のメモリ・ダンプ
   結果に対して、前記トレース・ファイルに記録されてい
   ないアドレスのメモリ・セル内容をフラッシュして前記
   局所領域期待値ファイルを更新することを特徴とする請
   求項１記載のマルチスレッド・プロセッサのテスト・デ
   ータ作成方法。
3. 【請求項３】 最初の前記プログラム・セグメントを実
   行する前にある局所メモリ領域上の変数をセットし、 夫々の前記プログラム・セグメントの実行を終了した時
   点で前記変数の値を調べ、セットされていれば局所メモ
   リ領域を局所領域期待値ファイルにダンプし、フラッシ
   ュされていれば停止命令を実行することを特徴とする請
   求項２記載のマルチスレッド・プロセッサのテスト・デ
   ータ作成方法。