JPH01100642A - 計算機システムのテストカバレージ方式 - Google Patents

Abstract

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

Description

【発明の詳細な説明】 〔産業上の利用分野〕 本発明は、計算機システムのテストカバレージ方式に関
し、特に、計算機システムにおけるマイクロプログラム
を効率よく試験するための評価を与える計算機システム
のテストカバレージ方式に関する。

〔従来の技術〕

情報処理装置の大規模化に伴い、情報処理装置のテスト
を行うための論理シミュレーションに要する時間が膨大
になっている。このため、論理シミュレーションに対し
ては、その論理シミュレーションの結果で、十分な試験
が実施できているかの評価を与えるためのテストカバレ
ージ方式が要望されている。

従来、マイクロプログラムの論理シミュレーションのテ
ストカバレージ方式については、本出願人による特願昭
５９−２４８１１１号の提案がある。このテストカバレ
ージ方式においては、実行したマイクロプログラムのア
ドレスをサイクルごとに順次格納した通過情報をもとに
、カバレージチエツク情報の更新を行い、カバレージ情
報を集めるようにしている。

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

ところで、上述のテストカバレージ方式では、通過情報
の中の同一パスについて重複した情報が数多く含まれて
おり、カバレージチエツク情報の更新処理に多くの時間
を要すると共に、同一パスについて重複した情報が数多
く含まれることにより、通過情報の量が膨大になり、そ
のデータ処理が多くなるという問題があった。

本発明の目的は、採取する通過情報を必要最小限に抑え
ることにより、効率よくカバレージチエツク情報の更新
処理を行うことにある。

本発明の前記ならびにその他の目的と新規な特徴は、本
明細書の記述及び添付図面によって明らかになるであろ
う。

［問題点を解決するための手段］ 上記目的を達成するために本発明においては、カバレー
ジチエツク情報として採取する通過情報として、マイク
ロプログラムの各ステップを識別するステップ識別名と
、各ステップに対して分岐成功パスを実行したのか分岐
不成功パスを実行したのかを示す分岐情報のみを用いる
。

すなわち、本発明においては、マイクロプログラムのス
テップ間のパスのパス識別名と該パスの通過有無の対応
表を格納する格納手段と、計算機システムの試験の結果
データとして格納されたマイクロプログラムのステップ
識別名と該ステップの分岐条件と分岐条件に対応した分
岐有無を示す分岐情報に基づいてパスを判定し、前記格
納手段の中の対応表の通過有無を更新してカバレージ情
報を集める手段とを有することを特徴とする。

〔作用〕

前記手段によれば、カバレージチエツク情報として採取
する通過情報として、マイクロプログラムの各ステップ
を識別するステップ識別名と、各ステップに対して分岐
成功パスを実行したのか分岐不成功パスを実行したのか
を示す分岐情報が用いられる。そして、カバレージチエ
ツク情報を得るためのデータ領域として、マイクロプロ
グラムのステップ間のパスのパス識別名と該パスの通過
有無の対応表を格納する格納手段が設けられ、計算機シ
ステムの試験の結果データとして格納されたマイクロプ
ログラムのステップ識別名と該ステップの分岐条件と分
岐条件に対応した分岐有無を＝３− 示す分岐情報に基づいてパスを判定し、前記格納手段の
中の対応表の通過有無を更新してカバレージ情報を集め
る。

ここでは、計算機システムの試験の結果データとしては
、計算機システムのメモリ上にある全マイクロプログラ
ムのステップ識別名と該ステップの分岐条件と分岐条件
に対応した分岐有無を示す分岐情報が集められるだけで
あり、また、カバレージチエツク情報を得るためのデー
タ領域としては、マイクロプログラムのステップ間のパ
スのパス識別名と該パスの通過有無の対応表を格納する
格納領域が設けられるだけである。これにより、少ない
データ領域、少ない採取データにより、効率よく、試験
の結果を評価するテストカバレージ情報が得られる。

〔実施例〕

以下、本発明の一実施例を図面を用いて詳細に説明する
。

第１図は、本発明の一実施例にかかるテストカバレージ
システムにおける処理の流れを概略的に示す概括的な処
理ブロック図である。第１図において、計算機システム
８では、テストプログラム１１を入力して、計算機シス
テム８の論理およびマイクロプログラムを試験する。こ
の試験の結果データをテストカバレージシステムに入力
して、カバレージ情報を得る。第１図において、破線で
囲んだ部分が、本発明の一実施例にかかるテストカバレ
ージシステムの処理部分である。以下、この破線で囲ん
だ部分のテストカバレージシステムの処理について説明
する。

まず、アドレス情報作成処理１で、マイクロプログラム
ソースコードファイル５からのデータを入力として、ア
ドレス情報ファイル６を作成する。

アドレス情報ファイル６のデータから、カバレージチエ
ツク情報作成処理２により、カバレージチエツク情報フ
ァイル７が作成される。一方、カバレージチエツク情報
更新処理３では、計算機システム８におけるランダムア
クセスメモリ（以下ＲＡＭと略称する）内のマイクロプ
ログラム分岐情報を入力として、カバレージチエツク情
報更新処理３によりカバレージチエツク情報ファイル７
を更新する。このカバレージチエツク情報ファイル７の
データは、カバレージチエツク情報表示出力処理４によ
り、所望する色々な出力形式で端末装置９や印刷装置１
０に表示出力される。なお、ここでは、計算機システム
８内のＲＡＭ内のマイクロプログラム分岐情報は、初期
化させない限り残っている。

第２図は、第１図に示したデータの流れの処理ブロック
図における各処理の処理順序を示したフローチャートで
ある。第２図に示すように、まず、アドレス情報作成処
理１を行い、次に、カバレージチエツク情報作成処理２
を行い、その次に、カバレージチエツク情報更新処理３
を行い、続いて、カバレージチエツク情報表示出力処理
４を行うようにして、処理を実行する。

次に、これらの各処理について詳細に説明する。

第３図は、アドレス情報作成処理１を詳細に説明する図
である。アドレス情報作成処理１に入力されるマイクロ
プログラムソースコードファイル５には、マイクロプロ
グラム機能の処理が記述されている。アドレス情報作成
処理１では、マイクロプログラムソースコードファイル
５の中から、マイクロプログラムアドレス、その分岐ア
ドレスＡＤＤＲＡ、ＡＤＤＲＢを抽出して、アドレス情
報ファイル６にアドレス情報テーブル３０１を作成する
。アドレス情報テーブル３０１には、各々のマイクロプ
ログラムステップに対応して、自マイクロプログラムア
ドレス３０２と次に実行する可能性を持つマイクロプロ
グラムアドレスＡ　Ｄ　Ｄ　ＲＡ３０３゜Ａ　Ｄ　Ｄ　
ＲＢ　３０４を抽出して格納する。ここでのマイクロプ
ログラムは２分岐のアドレスを有するもので、次のマイ
クロプログラムアドレスとしては、各々１アドレスおよ
びび２アドレスを有するものであり、それに対応して、
各々ＡＤＤＲＡ３０３とＡ　Ｄ　Ｄ　ＲＢ　３０４に格
納する。このような処理によって、各マイクロプログラ
ムアドレスとその分岐可能性を持つ次マイクロプログラ
ムアドレスを対応づけて格納したアドレス情報テーブル
３０１が作成される。

第４図は、カバレージチエツク情報作成処理２を詳細に
説明する図である。このカバレージチエツク情報作成処
理２では、アドレス情報作成処理１により作成したアド
レス情報テーブル３０１のデータを入力して、カバレー
ジテーブル４０１を作成する。すなわち、カバレージチ
エツク情報作成処理２では、アドレス情報ファイル６の
アドレス情報テーブル３０１からのデータを入力して、
自マイクロプログラムアドレスと次に実行する可能性を
持つ次マイクロプログラムアドレスとを組合せて、１つ
のマイクロプログラムパスとしてパス識別名を付けて、
各々のマイクロプログラムパスを登録して、カバレージ
テーブル４０１を作成し、カバレージチック情報ファイ
ルフに格納する。この結果、カバレージチエツク情報フ
ァイルフのカバレージテーブル４０１には、各々のマイ
クロプログラムパスがパス識別名を付けて登録され、登
録されるマイクロプログラムパス４０２に対して、その
通過有無を記録する領域４０３が設けられる。この通過
有無を記録する領域４０３には、最初は初期値とじて値
ｒＯＪが格納される。

第５図は、このカバレージチエツク情報作成処理２を示
すフローチャートである。次に第５図を参照して、カバ
レージチエツク情報作成処理２を詳細に説明する。

まず、ステップ６０１において、アドレス情報ファイル
６のアドレス情報テーブル３０１の１データを読み、次
にステップ６０２で、データが存在するか否かを判定す
る。データが存在しない場合は処理を終了する。データ
が存在する場合は、ステップ６０３に進んで、読み込ん
だデータのマイクロプログラムアドレスのステップにＡ
ＤＤＲＡが存在するか判定する。ＡＤＤＲＡが存在しな
い場合には、ステップ６０７に進んで、当該マイクロプ
ログラムアドレスと１＊＊申＊５を組合せて、これをパ
ス識別名として、カバレージチエツク情報ファイル７に
おけるカバレージテーブル４０１にマイクロプログラム
パス４０２として登録する。そして、再びステップ６０
１に戻り、次のデータの処理を行うべく、ステップ６０
１で、アドレス情報ファイル６のアドレス情報テーブル
３０１から次の１データを読む。

一方、ステップ６０３の判定処理において、ＡＤＤＲＡ
が存在する場合には、ステップ６０４に進んで、当該マ
イクロプログラムアドレスとＡＤＤＲＡを組合せて、こ
れをパス識別名として、カバレージチエツク情報ファイ
ル７のカバレージテーブル４０１にマイクロプログラム
パス４０２として登録する。次にステップ６０５に進ん
で、更に、ＡＤＤＲＢが存在するか否かを判定し、ＡＤ
ＤＲＢが存在する場合は、ステップ６０６に進む。ステ
ップ６０６では、当該マイクロプログラムアドレスとＡ
ＤＤＲＢを組合せて、これをパス識別名として、カバレ
ージテーブル４０１にマイクロプログラムパス４０２と
して格納する。ステップ６０５で、ＡＤＤＲＢが存在し
ない場合、および、ステップ６０６の処理が終了した場
合、ステップ６０１に戻り、次のデータの処理を行うべ
く、アドレス情報ファイル６のアドレス情報テーブル３
０１から次の１データを読み、続いて、ステップ６０２
からの処理を行う。このようなステップ６０１〜ステツ
プ６０７までの処理をアドレス情報ファイル６のデータ
が無くなるまで行い、マイクロプログラムパスを抽出し
て、そのパス識別名を登録して、マイクロプログラムパ
ス４０２とその通過有無の領域４０３とのカバレージテ
ーブル４０１が作成される。

第６図は、カバレージチエツク情報更新処理３およびカ
バレージチエツク情報表示出力処理４を詳細に説明する
図である。第６図において、計算機システム８のＲＡＭ
５０１におけるマイクロプログラム分岐情報テーブル５
０２には、全てのマイクロプログラムアドレス３０２を
格納しておき、計算機システム８がテストプログラム１
１により試験を行い、その試験の結果、実行した各マイ
クロプログラムアドレス３０２に対して、分岐条件と分
岐条件に対応した分岐有無を示す分岐情報として、ＮＥ
ＸＴＡ５０３．ＮＥＸＴＢ５０４に値「１」を登録して
、マイクロプログラム分岐情報テーブル５０２を作成す
る。カバレージチエツク情報更新処理３では、計算機シ
ステム８のＲＡＭ５０１におけるマイクロプログラム分
岐情報テーブル５０２のマイクロプログラムアドレス３
０２と分岐した方向の情報であるＮＥＸＴＡ５０３．Ｎ
ＥＸＴＢ５０４のデータを入力として、カバレージチエ
ツク情報ファイル７のカバレージテーブル４０１におけ
るマイクロプログラムパス４０２の分岐元アドレスと比
較し、一致マイクロプログラムアドレスに対するマイク
ロプログラムパスニツイテ、ＮＥＸＴＡ５０３．ＮＥＸ
ＴＢ５０４に登録した情報から、対応した通過有無の領
域４０３に値「１」を登録し、順次に通過有無の領域４
０３のデータを更新する。計算機システム８のＲＡ　Ｍ
２Ｏ３のマイクロプログラム分岐情報テーブル５０２に
おけるマイクロプログラムアドレス３０２には、存在す
る全てのマイクロプログラムアドレス３０２が格納され
ており、そのデータ量は一定量となっている。また、こ
のマイクロプログラムアドレス３０２に対する分岐情報
のＮＥＸＴＡ５０３．ＮＥ　Ｘ　Ｔ　Ｂ　５０４は、分
岐する毎に各々に値「１」を格納する。ここでの初期値
は値「０」である。カバレージチエツク情報表示出力処
理４では、このようにして得られたカバレージチエツク
情報・ファイル７を入力として、そのデータを所望する
色々な出力形式で端末装置９および印刷装ｗ１０から表
示出力する。

第７図は、カバレージチエツク情報更新処理３を示すフ
ローチャートである。次に第７図を参照して、カバレー
ジチエツク情報作成処理３を詳細に説明する。

まず、ステップ７０１において、計算機システム８のＲ
Ａ　Ｍ　５０１におけるマイクロプログラム分岐情報テ
ーブル５０２の１データを読む。次にステップ７０２に
おいてデータが存在するか判定し、データが存在しない
場合は、処理を終了する。ステップ７０２の判定におい
て、データが存在する場合は、ステップ７０３に進み、
読み出したデータのマイクロプログラムアドレスに対す
るＮＥＸＴＡ５０３またはＮ　Ｅ　Ｘ　Ｔ　Ｂ　５０４
の内の少なくとも１つが、値「１」かを判定する。ここ
で、ＮＥ　ＸＴＡ５０３またはＮＥＸＴＢ５０４（７）
内の値「１」が１つもない場合には、このデータの処理
を終り、ステツブ７０１に戻って、再びマイクロプログ
ラム分岐情報テーブル５０２から次の１データを読む。

また、ステップ７０３の処理において、読み出したデー
タのマイクロプログラムアドレスに対するＮＥＸＴＡ５
０３またはＮ　Ｅ　Ｘ　Ｔ　Ｂ　５０４の内の少なくと
も１つが値「１」の場合は、ステップ７０４に進んで、
読み出したマイクロプログラムアドレスと、カバレージ
チエツク情報ファイル７のカバレージテーブル４０１に
おけるマイクロプログラムパス４０２の分岐元アドレス
（例えば、マイクロプログラムパスＯ−１に対してはア
ドレス０）とが、一致するマイクロプログラムパスを検
索する。次にステップ７０５で、一致したマイクロプロ
グラムパスが１パスかを判定し、このマイクロプログラ
ムパスが１パスの場合には、ステップ７０６に進み、該
当するマイクロプログラムパスに対する通過有無の領域
４０３に値「１」を格納して更新する。−方、ステップ
７０５の判定で、一致したマイクロプログラムパスが１
パスでない場合には、２パスであるので、更にステップ
７０７においてＮＥＸＴＡの値が「１」かを判定し、Ｎ
ＥＸＴＡの値が「１」の場合には、ステップ７０８で該
当する第１の一致マイクロプログラムパスに対する通過
有無の領域４０３に値「１」を格納して更新する。次に
、ステップ７０９でＮＥＸＴＢの値が「１」かを判定し
、ＮＥＸＴＢの値が「１」の場合には、ステップ７１’
Ｏで該当する第２の一致マイクロプログラムパス４０２
に対する通過有無の領域４０３に値「１」を格納し更新
する。この処理を終ると、ステップ７０１に戻り、再び
マイクロプログラム分岐情報テーブル５０２から次の１
データを読み、同様な処理を行い、ステップ７０２〜ス
テツプ７１０の処理を繰り返し行う。

この処理を行うことにより、カバレージテーブル４０１
のマイクロプログラムパス４０２に対する通過有無の領
域４０３のデータが更新される。

この処理の結果のカバレージテーブル４０１において、
通過有無の領域４０３のデータが値「１」を持つマイク
ロプログラムパス４０２は、そのパスが通過されて、試
験されたことを示し、値ｒＯＪを持つマイクロプログラ
ムパス４０２は、パスが通過されず、試験されていない
ことを示している。

以上、説明したように、本実施例によれば、マイクロプ
ログラムパスの規則性を利用して、全てのテストプログ
ラムによる試験終了時において。

一定量のデータ領域で、１回の上述のデータ処理を行う
ことによりテストカバレージ情報を効率良く得ることが
できる。また、カバレージチエツク情報表示出力処理４
により、所望する色々な出力形式で端末装置９および印
刷装置１０から表示出力することによって、計算機シス
テムのマイクロプログラムの通過範囲を効率良く正確に
把握することができる。

以上、本発明を実施例にもとづき具体的に説明したが、
本発明は、前記実施例に限定されるものではなく、その
要旨を逸脱しない範囲において種々変更可能であること
は言うまでもない。

〔発明の効果〕

以上、説明したように、本発明によれば、マイクロプロ
グラムパスの規則性を利用して、少ないデータ領域、少
ない採取データにより、効率よく、試験の結果を評価す
るテストカバレージ情報が得られる。

【図面の簡単な説明】

第１図は、本発明の一実施例にかかるテストカバレージ
システムにおける処理の流れを概略的に示す概括的な処
理ブロック図、 第２図は、第１図に示した処理ブロック図における各処
理の処理順序を示したフローチャート、第３図は、アド
レス情報作成処理を説明するための図、 第４図は、カバレージチエツク情報作成処理を説明する
ための図、 第５図は、カバレージチエツク情報作成処理を示すフロ
ーチャート、 第６図は、カバレージチエツク情報更新処理およびカバ
レージチエツク情報表示出力処理を説明するための図、 第７図は、カバレージチエツク情報更新処理を示すフロ
ーチャートである。 １・・・アドレス情報作成処理、２・・・カバレージチ
エツク情報作成処理、３・・・カバレージチエツク情報
更新処理、４・・・カバレージチエツク情報表示出力処
理、５・・・マイクロプログラムソースコードファイル
、６・・・アドレス情報ファイル、７・・・カバレージ
チエツク情報ファイル、８・・・計算機システム、９・
・・端末装置、１０・・印刷装置、１１・・・テストプ
ログラム。 第２［！１ 第３図 第４図 第５（￥１

Claims (1)

【特許請求の範囲】
1. １、マイクロプログラムのステップ間のパスのパス識別
   名と該パスの通過有無の対応表を格納する格納手段と、
   計算機システムの試験の結果データとして格納されたマ
   イクロプログラムのステップ識別名と該ステップの分岐
   条件と分岐条件に対応した分岐有無を示す分岐情報に基
   づいてパスを判別し、前記格納手段の中の対応表の通過
   有無を更新してカバレージ情報を集める手段とを有する
   ことを特徴とする計算機システムのテストカバレージ方
   式。