JPH04111024A - 計算機システムのテスト項目自動抽出方式 - Google Patents

Abstract

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

Description

【発明の詳細な説明】 ［産業上の利用分野］ 本発明は、計算機システムの論理検証技術に関し、特に
計算機システムを制御するマイクロプログラムを効率良
く検証するために好適な計算機システムのテスト項目自
動抽出方式に適用して有効な技術に関する。

［従来の技術］ 情報処理装置の大規模化に伴い、情報処理装置のテスト
を行うために要する時間が膨大になってきている。この
ために、計算機システムに対しては、充分な試験が実施
できているか否かの評価を行う手段としてテストカバレ
ージ方式がある。

特に、マイクロプログラムのテストカバレージ方式につ
いては、たとえば特開平１−１００６４２号公報などに
記載されるように、カバレージチエツク情報の更新処理
に要する時間を低減するために、実行したマイクロプロ
グラムのアドレスと、サイクル毎に順次格納した通過情
報とを必要最小限にとどめる方式を採用し、カバレージ
システム全体としての高速処理化を実現したものである
。

［発明が解決しようとする課題］ ところが、前記のような従来技術においては、マイクロ
プログラムの未検Ｕ１部がマイクロプログラムバスとい
う形式で表示出力されるにとどまり、その未検証部に対
するテスト条件が与えられないという問題がある。

言うまでもなく、検証プログラムの目的は、計算機シス
テムの論理品質の保証であり、論理不良を完全に取り去
ることにある。このことは、マイクロプログラムにおい
ても同様であり、未検証部の存在があってはならない。

たとえば、仮に検証プログラムの実行後、マイクロプロ
グラムの未検証部が存在するならば、その検証結果を基
にマイクロプログラムのフローチャートを解析し、必要
なテスト項目を検証プログラムへフィードバックする必
要がある。そのためには、未検証部の未通過バスを通過
させるためのテスト条件の抽出は欠くことのできない作
業となる。

従って、従来の方式においては、検証プログラム実行後
のマイクロプログラムにおける未通過バスのテスト条件
を抽出するたｔに、表示出力された情報を基にマイクロ
プログラムのフローチャートと照らし合わせながら、一
つ一つ抽出していくという人手作業が必要であり、それ
に多くの時間を要するという問題がある。

そこで、本発明の目的は、自動的に未検証部の未通過バ
スに対する分岐条件を表示出力させることによって、検
証プログラムに必要不可欠なテスト項目の追加を容易に
し、効率の良いマイクロプログラムの論理検証が可能と
される計算機システムのテスト項目自動抽出方式を提供
することにある。

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

［ｌ！Ｉ題を解決するための手段］ 本願において開示される発明のうち、代表的なものの概
要を簡単に説明すれば、下記のとおりである。

すなわち、本発明の計算機システムのテスト項目自動抽
出方式は、少なくとも計算機システムと、この計算機シ
ステムを制御するマイクロプログラムと、このマイクロ
プログラムを論理検証する検証プログラムとを備え、検
証プログラムに追加すべきマイクロプログラムの未検証
部を検証するテスト項目を自動的に抽出するテスト項目
自動抽出方式であって、マイクロプログラムのステップ
間のバスの識別名と、このバスの分岐条件とを対応させ
て表示出力する出力手段を備えたものである。

Ｅ作用コ 前記した計算機システムのテスト項目自動抽出方式によ
れば、マイクロプログラムのステップ間のバスに対応さ
せて分岐条件を表示出力する出力手段を備えることによ
り、この出力手段にマイクロプログラムの未検証部のバ
スの識別名と、この未検証部のバスの分岐条件とを対応
させて出力することができる。

これにより、自動的に出力された未検証部のバスおよび
この分岐条件に基づいて、検証プログラムにマイクロプ
ログラムの未検証部を検証するためのテスト項目を容易
に追加することができる。

［実施例］ 第１図は本発明の計算機システムのテスト項目自動抽出
方式の一実施例である計算機システムおよびテスト項目
自動抽出装置における処理の流れを概略的に示す処理ブ
ロック図、第２図は本実施例のテスト項目自動抽出装置
における処理順序を示すフロー図、第３図は第２図の処
理順序における分岐情報作成処理を詳細に示す説明図、
第４図は第２図の分岐通過情報作成処理を詳細に示す説
明図、第５図はｊＪ２図の分岐通過情報更新処理および
分岐通過情報表示出力処理を詳細に示す説明図、第６図
は本実施例におけるフィードバック作業を示す説明図、
第７図は本実施例におけるマイクロプログラムを示すフ
ロー図である。

まず、第１図により本実施例の計算機システムおよびテ
スト項目自動抽出装置の構成を説明する。

本実施例の計算機システムおよびテスト項目自動抽出装
置は、たとえば計算機システム１と、計算機システム１
を制御するマイクロプログラム２と、マイクロプログラ
ム２を論理検証する検証プログラム３と、検証プログラ
ム３に追加すべきテスト項目を抽出するテスト項目自動
抽出装置４とから構成され、マイクロプログラム２の未
検証部を検証するテスト項目が自動的に抽出されるよう
になっている。

計算機システム１には、たとえば内部にランダムアクセ
スメモリ　（以下ＲＡＭと称する）１１が内蔵され、書
き換え可能にマイクロプログラム２などの情報が記憶さ
れている。また、ＲＡＭＩＩ内には、第５図に示すよう
にマイクロプログラム分岐情報テーブルｌｌａが設けら
れている。

マイクロプログラム２は、たとえばマイクロプログラム
ソースコードファイル２１に格納されるとともに、計算
機システム１のＲＡＭＩＩ内に記憶され、計算機システ
ム１の各装置の動作を制御するものである。また、マイ
クロプログラムソースコードファイル２１内には、第３
図に示すようにマイクロプログラムテーブル２１ａが設
けられている。

検証プログラム３は、たとえば磁気テープ３１などに記
憶され、マイクロプログラム２を論理検証するものであ
る。

テスト項目自動抽出装置４は、マイクロプログラムアド
レス、次ステツプのマイクロプログラムアドレスおよび
分岐条件を格納する分岐情報ファイル４１と、マイクロ
プログラムバス、通過有無および分岐条件を格納する分
岐通過情報ファイル４２と、所定の出力形式で分岐条件
をテスト項目として表示出力する端末装置（出力手段）
４３および印刷装置（出力手段）４４とから構成され、
検証プログラム３に必要不可欠なマイクロプログラム２
の未検証部を検証するテスト項目を自動的に抽出するも
のである。

また、分岐情報ファイル４１または分岐通過情報ファイ
ル４２には、それぞれ第３図または第４図に示すように
分岐情報テーブル４１ａまたは分岐通過情報テーブル４
２ａが設けられている。

次に、本実施例の作用について説明する。

以上の構成における計算機システム１およびテスト項目
自動抽出装置４は、第１図のような流れに基づいて処理
が実行される。

まず、マイクロプログラムソースコードファイル２１か
らのデータを人力として、分岐情報作成処理１０１によ
り分岐情報ファイル４１が作成される。そして、この分
岐情報ファイル４１のデータから、分岐通過情報作成処
理１０２により分岐通過情報ファイル４２が作成される
。

一方、計算機システム１におけるＲＡＭＩＩ内のマイク
ロプログラム分岐情報を入力として、分岐通過情報更新
処理１０３により分岐通過情報ファイル４２が更新され
る。そして、この分岐通過情報ファイル４２のデータは
、分岐通過情報表示出力処理１０４により所望する色々
な出力形式で端末装！ｆ４３および印刷族！ｆ４４に表
示出力される。

さらに、表示出力された情報をもとに、フィードバック
作業１０５では、検証プログラム３ヘテスト項目の追加
を行う。なお、計算機システム１内のＲＡＭＩＩ内のマ
イクロプログラム分岐情報は、初期化されない限り保存
されている。

この場合に、テスト項目自動抽出装置４においては第２
図に示すように、始ｔに分岐情報作成処理１０１を行い
、続いて分岐通過情報作成処理１０２、分岐通過情報更
新処理１０３を行った後に、さらに分岐通過情報表示出
力処理１０４の順序で処理を実行する。

次に、テスト項目自動抽出装置４における各処理１０１
〜１０４をそれぞれ第３図〜第５図に基づいて、また人
手作業によるフィードバック作業１０５を第６図により
詳細に説明する。

始めに、第３図は分岐情報作成処理１０１を詳細に示す
ものであり、分岐情報作成処理１０１は、マイクロプロ
グラムソースコードファイル２１を入力として分岐情報
ファイル４１を作成する処理である。

すなわち、マイクロプログラムソースコードファイル２
１のマイクロプログラムテーブル２１ａに格納された、
各々マイクロプログラムアドレス毎の自マイクロプログ
ラムアドレス３０１、次に実行する可能性を持つマイク
ロプログラムアドレス（以下ＡＤＤＲＡ、ＡＤＤＲＢと
称する）３０２．３０３、分岐条件３０４、さらにその
マイクロプログラムアドレス３０１で実行すべき演算処
理３０５の中から、演算処理３０５を除いた残りの自マ
イクロプログラムアドレス３０１、ＡＤＤＲＡ３０２、
ＡＤＤＲＢ　３０３および分岐条件３０４を分岐情報フ
ァイル４１内の分岐情報テーブル４１Ｈに格納して分岐
情報ファイル４１を作成する。

通常、分岐条件３０４が成立した時は、ＡＤＤＲＢ３０
３に分岐する。すなわち、マイクロプログラムアドレス
３０１の「０」で分岐条件３０４でｒ　Ａ　Ｊが成立す
れば、次に実行されるのはマイクロプログラムアドレス
３０１の「２」である。

この場合に、マイクロプログラムアドレス３０１の「１
」は、分岐条件３０４が存在しないので分岐アドレスＡ
ＤＤＲＢ３０３も存在せず、次に実行されるのはマイク
ロプログラムアドレス３０１の「３」である。

次に、第４図は分岐通過情報作成処理１０２を詳細に示
すものであり、分岐通過情報作成処理１０２は、分岐情
報ファイル４１を入力として、分岐通過情報ファイル４
２を作成する処理である。

すなわち、上記分岐情報作成処理１０１により作成され
た分岐情報テーブル４１ａをもとに、分岐通過情報ファ
イル４２内に分岐通過情報テーブル４２ａを作成する。

この時、分岐情報テーブル４１ａに格納された自マイク
ロプログラムアドレス３０１と、ＡＤＤＲＡ３０２およ
びＡＤＤＲＢ３０３とを組み合わせて作ったマイクロプ
ログラムバス４０１、それに対応する通過有無４０２お
よび分岐条件３０４を、分岐通過情報ファイル４２内の
分岐通過情報テーブル４２ａに格納して分岐通過情報フ
ァイル４２を作成する。

この場合に、通過有無４０２には初期値として「０」が
登録される。また、分岐条件３０４の存在するマイクロ
プログラムアドレス３０１では、自マイクロプログラム
アドレス３０１と、ＡＤＤＲＡ３０２およびＡＤＤＲＢ
３０３とを組み合わせたマイクロプログラムバス４０１
に対してその分岐条件３０４を対応させて格納する。

続いて、第５図は分岐通過情報更新処理１０３および分
岐通過情報表示出力処理１０４を詳細に示すものである
。

まず、分岐通過情報更新処理１０３において、計算機シ
ステム１のＲＡＭＩＩ内にあるマイクロプログラム分岐
情報テーブルＩｌａに、全てのマイクロプログラムアド
レス３０１を格納しておき、計算機システム１が検証プ
ログラム３により試験された結果、実行した各マイクロ
プログラムアドレス３０１に対して、分岐条件３０４と
これに対応した分岐有無を示す分岐情報としてのＮＥＸ
ＴＡ５０１、ＮＥＸＴＢ５０２＋１：　Ｎ」を登録して
、マイクロプログラム分岐情報テーブルｌｌａを作成す
る。

そして、このマイクロプログラム分岐情報テーブルｌｌ
ａのデータを入力として、分岐通過情報ファイル４２の
分岐通過情報テーブル４２ａのデータを更新する。すな
わち、分岐通過情報更新処理１０３は、分岐通過情報フ
ァイル４２内の分岐通過情報テーブル４２ａにおけるマ
イクロプログラムバス４０１の分岐元のマイクロプログ
ラムアドレス３０１と比較し、一致するマイクロプログ
ラムアドレス３０１に対するマイクロプログラムバス４
０１について、ＮＥＸＴＡ５０１、ＮＥＸＴＢ５０２に
登録した情報から対応した通過有無４０２の領域にｒｌ
」を登録し、順次に通過有無４０２の領域のデータを更
新する。

この場合に、通過有無４０２は、検証プログラム３によ
る試験が行われる毎に更新されるもので、更新されるま
で以前のデータは保持されている。

たとえば、通過有無４０２が「０」のマイクロプログラ
ムバス４０１は、まだ−度も通過しておらず、試験され
ていないマイクロプログラムバス４０１であることを示
している。

次に、分岐通過情報表示出力処理１０４は、分岐通過情
報テーブル４２ａを入力とし、所望する色々な出力形式
で端末装置１Ｉ４３および印刷袋Ｗｔ４４に分岐条件３
０４をテスト項目として出力する処理である。すなわち
、マイクロプログラムバス４０１に対して分岐条件３０
４が存在する時は、その分岐条件３０４を成立させるこ
とによりこのマイクロプログラムバス４０１が通過可能
となる。

たとえば、マイクロプログラムバス４０１の「０−２」
からマイクロプログラムバス４０１の「２−３」へと流
れる処理については、テスト条件として「Ａ」とｒｎｏ
　ｔＢ」、またマイクロプログラムバス４０１のｒＯ−
２Ｊからマイクロプロクラムバス４０１の７２−４Ｊへ
と流れる処理については、テスト条件として「ＡＪと「
Ｂ」とを表示出力する。この場合に、マイクロプログラ
ム２に相当するフローチャートは第７図のようになり、
実線部分が通過されたマイクロプログラムバス４０１を
示し、点線部分がまだ通過されていないマイクロプログ
ラムバス４０１を示している。

最後に、フィードバック作業１０５について、第６図に
より詳細に説明する。この場合に、フィードバック作業
１０５は人手作業で行われる。

まず、端末装［４３および印刷装置４４に表示出力され
た情報をもとに、全マイクロプログラムバス４０１に対
する通過有無４０２を分析する（ステップ６０１）。そ
の結果、マイクロプログラム２の未検証部である未通過
のマイクロプログラムバス４０１が存在しない場合には
、フィードバック作業１０５を終了する。

一方、未通過のマイクロプログラムバス４０１が存在す
る場合には、新しく抽出されたテスト項目を検証プログ
ラム３に追加する（ステップ６０２）。たとえば、この
場合には分岐条件３０４のｒ　Ａ　Ｊ、ｒｎｏｔＢ」、
およびｒＢＪを成立させるテスト項目を追加することに
よって、マイクロプログラムバス４０１のｒｏ−２Ｊ、
ｒ２−３Ｊおよびｒ２−４Ｊがそれぞれ通過可能となる
。

そして、追加された検証プログラム３を用いて再度論理
検証を行い（ステップ６０３）　、再び以上の処理を未
検証部が存在しなくなるまで繰り返して実行する。これ
により、従来の人手作業により行われていた未通過のマ
イクロプログラムバス４０１の分岐条件抽出処理（ステ
ップ６０４）と、テスト項目作成処理（ステップ６０５
）とを削除することができる。

従って、本実施例の計算機システム１およびテスト項目
自動抽出装置４によれば、マイクロプログラム２のステ
ップ間のマイクロプログラムバス４０１と、このマイク
ロプログラムバス４０１に対応する分岐条件３０４とを
出力する出力手段である端末装置４３および印刷装［４
４を備えることにより、この端末装置１４３および印刷
装置４４にマイクロプログラム２の未検証部の未通過バ
スと、この未通過バスの分岐条件とを対応させて自動的
に出力させることができるので、この出力情報に基づい
て検証プログラム３にマイクロプログラム２の未検［Ｅ
ｓを検証するためのテスト項目を容易に追加することが
できる。

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

たとえば、本実施例のテスト項目自動抽出装置４につい
ては、計算機システム１を制御するマイクロプログラム
２の論理検証を行うために好適なテスト項目自動抽出方
式である場合について説明したが、本発明は前記実施例
に限定されるものではなく、たとえばサービスプログラ
ムなどの他のプログラムについてのテスト項目自動抽出
装置についても広く適用可能である。

［発明の効果］ 本願において開示される発明のうち、代表的なものによ
って得られる効果を簡単に説明すれば、下記のとふりで
ある。

すなわち、マイクロプログラムのステップ間のバスの識
別名と、このバスの分岐条件とを対応させて出力する出
力手段を備えることにより、この出力手段にマイクロプ
ログラムの未検証部のバスの識別名と、この未検証部の
バスの分岐条件とを対応させて出力することができるの
で、自動的に出力された未検証部のバスおよびこの分岐
条件に基づいて、検証プログラムに必要不可欠なマイク
ロブログラムの未検ＩＥ部を検証するためのテスト項目
を容易に追加することが可能である。

この結果、従来のような人手作業によるテスト項目の抽
出が不要となり、人件費および工数の削減が可能になる
と同時に、効率良くマイクロプログラムの信頼性を向上
させることができる。

【図面の簡単な説明】

第１図は本発明の計算機システムのテスト項目自動抽出
方式の一実施例である計算機システムおよびテスト項目
自動抽出製蓋における処理の流れを概略的に示す処理ブ
ロック図、 第２図は本実施例のテスト項目自動抽出装置にふける処
理順序を示すフロー図、 第３図は第２図の処理順序における分岐情報作成処理を
詳細に示す説明図、 第４図は第２！！ｌの分岐通過情報作成処理を詳細に示
す説明図、 第５図は第２図の分岐通過情報更新処理および分岐通過
情報表示出力処理を詳細に示す説明図、第６図は本実施
例におけるフィードバック作業を示す説明図、 第７図は本実施例におけるマイクロプログラムを示すフ
ロー図である。 １・・・計算機システム、２・・・マイクロプログラム
、３・・・検証プログラム、４・・・テスト項目自動抽
出装置、１１・・・ランダムアクセスメモリ　（ＲＡＭ
）　、１１　ａ・・・マイクロプログラム分岐情報テー
ブル、２１・・・マイクロプログラムソースコードファ
イル、２１ａ・・・マイクロプログラムテーブル、３１
・・・磁気テープ、４１・・・分岐情報ファイル、４１
ａ・・・分岐情報テーブル、４２・・・分岐通過情報フ
ァイル、４２ａ・・・分岐通過情報テーブル、４３・・
・端末装置（出力手段）、４４・・・印刷装置（出力手
段）。 代理人　弁理士　　筒　井　大　和 第１図 第 図 ４（Ｊｌ ４（Ｊｚ ｊ（Ｊ４ 第 図

Claims (1)

【特許請求の範囲】
1. １、少なくとも計算機システムと、該計算機システムを
   制御するマイクロプログラムと、該マイクロプログラム
   を論理検証する検証プログラムとを備え、前記検証プロ
   グラムに追加すべき前記マイクロプログラムの未検証部
   を検証するテスト項目を自動的に抽出する計算機システ
   ムのテスト項目自動抽出方式であって、前記マイクロプ
   ログラムのステップ間のバスの識別名と、該バスの分岐
   条件とを対応させて表示出力する出力手段を備え、該出
   力手段に前記マイクロプログラムの未検証部のバスの識
   別名と、該未検証部のバスの分岐条件とを対応させて出
   力することを特徴とする計算機システムのテスト項目自
   動抽出方式。