JPH021578A - 試験項目生成装置 - Google Patents

Abstract

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

Description

【発明の詳細な説明】 〔産業上の利用分野〕 本発明は、陶埋検証を実施する際の試験項目生成に係シ
、特に大規模なｍ埋検証の試験項目生成に好適な試験項
目生成装置に関する。

〔従来の技術〕

従来、論理検証を実施する際の試験項目は、論理設計者
又は、検査担当者がその経験等に基づき人手によシ抽出
されていた。

なお、関連する技術としては特開昭ｄｊ−７０６４１号
が挙げられる。

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

上記従来技術では、大規模な論理に対して試験項目を人
為的に作成する為Ｋ、試験項目作成者の経験及び知識に
検証精度が依存してしまう。また完全な論理検証項目を
全て抽出する事は、困難であった。

本発明の目的は、論理仕様に記載されている機能項目か
ら、機械的に当該論理検証に必要な試験項目生成装置を
提供することにある。

〔課題を解決するための手段〕

本発明によればｍ記目的は、論理情報を関連する項目単
位に分割しデータを階層構造化する手段と、上記階層構
造化されたデータをｎ次元仮想窒間上のベクトル列とし
てマツピンクする手段と、抽出条件に従い当該ベクトル
列を抽出する手段とを有する事により達成される。

〔作用〕

一前Ｊピ手段によれば、設計仕様の項目を利用して指定
された項目の有効な試験項目のｎ次元マツプを仮想空間
上に作成し、ｎ次元マツプから、試験項目を機械的に生
成し、有効な試験項目のみ詳細かつ正確に効率良く自動
生成する。

それによって、試験項目を基に試験プログラムを作成す
れば、恨証梢度向上が図れる。

〔芙施例〕

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

第１図は、本発明にかかる試験項目自動生成装置におけ
る処理の流れを概略的に示す処理ブロック図である。

まず、端末装置制御処理１では、オペレータの指示によ
シ、試験項目及びデータの試験項目ファイル乙の作成、
又は、マツプ作成処理２を行う。

次に、マツプ作成処理２では、試験項目ファイル６と試
験項目条件ファイル７を入力し、オペレータの指示のあ
った試験項目に対し、組合せ項目を認識した有効な項目
のｎ次元マツプ（マトリクス〕を仮想空間上に作成する
。次に、試験項目最適化処理３では、オペレータ指示に
よシ、最適化条件ファイル８を入力し、ｎ次元マツプで
作成した試験項目及びデータの最適化を行い、より有効
な項目を作成する。陶、最適化はオペレータ指示のあっ
た場合に行う。更Ｋ、試験項目表示／出力処理４では、
試験項目及びデータを端末装置５及び印刷装置ｔ９へ表
示出力する。

第２図は、第１図に示した処理ブロック図における各処
理順序を示したフローチャートである。

第２図に示すように、まず、オペレータによ）入力され
た指示から、マツプ作成か判定（２０１）を行い、ｒＮ
ＯＪの場合は、オペレータが項目入力を行い、入力され
た項目を項目ごとに階層化し試験項目ファイルへ書込み
（２１１）　ｆ：行う。「ＹＥＳＪの場合は、オペレー
タの指定項目について試験項目ファイルの読込み（２０
２）　、試験項目条件ファイルの読込み（２０３）を行
い、試験項目と試験項目条件の比較（２０４）を行い条
件や組合せ項目を認識した有効な試験項目のｎ次元マツ
プを仮想全問上に作成（２０５）する。次に、最適化条
件ファイルの読込み（２０６）を行い、マツプの項目と
最適化条件との比較（２０７）を行い、条件を認識し、
よシ最適な試験項目を作成する。次に、上記で作成した
試験項目を表示を行い（２０８）、オペレータ指定によ
シ印刷するか判定（２０９）　Ｌ、ｒＹＥｓＪの場合は
、印刷（２１０）　ｌ、、終了する。

「ＮＯ」の場合は、印刷せず終了する。

第３図は、試験項目ファイル６の説明図である。

試験項目ファイル６は、試験項目テーブル３０１があシ
、オペレータによ多入力された項目を第１項。

第２項・・・・・・第０項まで、ｎ階層化し格納する。

具体的には第１項は、試験項目テーブル−６０１の「先
行制御」、「命令Ｊ、’ｒｃＪであシ、第１項「先行制
御」の第２項は、ｒＡｌ」、ｒ分岐制御」であシ、第２
項「分岐制御」の第３項は、ｒＴｅｒｇｅｔ　Ｉ　Ｊ　
、　ｒＴｅｒｇｅｔ　２　Ｊ　、　＝”−、ｒＴｅｒｇ
ｅｔ　ｎＪである。その他の項目も同様である。

第４図は、試験項目条件ファイル７の説明図である。

試験項目条件ファイル７は、試験項目条件テーブル４０
１があシ、項目４０２と条件４０３が格納されている。

具体的には、項目４０２が分岐制御の場合、条件４０３
は、Ｔｅｒｇｅｔ　ｘ　〉１０は、あシ得なイコとを示
す。又、項目４０２が命令　Ｃの組合せの場合、条件４
０３は、分岐命令　Ｃ１１は、あシ得ないことを示す。

第５図は、試験項目のｎ次元マツプを説明するための図
である。

ｎ次元マツプは、項目数に応じ、仮想空間上に作成する
。

作成時は、まず、試験項目ファイル６の試験項目テーブ
ル３０１と試験項目条件ファイル７の試験項目条件テー
ブル４０１を読込み、組合せ試験項目を認識し、有効な
試験項目のみを作成する。具体的には、命令　先行制御
の組合せの試験項目作成時、試験項目ファイル６の試験
項目テーブル３０１から、先行制御と命令を読込み、尚
に、試験項目条件ファイル７の試験項目条件テーブル４
０１を読込む。試験項目として、命令と先行制御の項目
を命令を第１次項、先行制御を第２次項として、第１項
のｎ次元マツプ、第２項のｎ次元マツプ、・・・第０項
のｎ次元マツプと組合せるが、分岐制御の条件としてｒ
　Ｔｅｒｇｅｔ　ｘ　＞　１０　Ｊは作成しないことか
ら、第５項のｎ次元マツプの分岐制御はｒＴｅｒｇｅｔ
υからｒ　Ｔｅｒｇｅｔ　１０　Ｊまでの項目とする。

又、分岐制御は、命令と組合せる場合、分岐命令以外の
命令は、試験項目として有効でな・いことから、分岐命
令のみであることを認識し、有効な試験項目のみを抽出
し、ｎ次元マツプを作成する。

第６図は、試験項目テーブル６０１を説明するための図
である。

試験項目テーブル６０１は、ｎ次元マツプによシ徂合せ
た項目を格納している。試験項目テーブル６０１に示し
た例は、命令　先行制御の分岐制御の試験項目であシ、
図の様に各データを組合せた試験項目を作成する。

第７図は、最適化条件ファイル８を説明するための図で
ある。

最適化条件ファイルには、最適化条件テーブル７０１が
格納されておシ、よシ最適な試験項目を作成するための
ものである。

試験項目を最適化するかどうかは、オペレータの指示に
よる。

最適化条件テーブル７０１には、有効フラグ７０２゜項
目７０３２条件７０４がある。具体的には、有効フラグ
７０２が「１」９項目７０３が「分岐制御」１条件７０
４がｒ　Ｔｅｒｇｅｔ　１　、　Ｔａｒｇｅｔ　５　Ｊ
の場合、分岐制御の試験項目では、Ｔｅｒｇｅｔ　１　
、　Ｔｅｒｇｅｔ　５が有効であることを示す。無効時
は、有効フラグ７０２が「０」である。

最適化条件ファイルのデータによシ、試験項目テーブル
６０１のデータの内、よシ最適な試験項目を抽出する。

上記で作成した試験項目テーブルを、端末装置。

印刷装置に表示／出力することによって、試験プログラ
ム作成の試験項目を詳細かつ正確に効率良く自動生成で
きる。

以上、本発明の実施例にもとづき具体的に説明したが、
本発明は、ｍ１記実施例に限定されるものではなく、そ
の要旨を逸脱しない範囲において棟々変更であることは
言うまでもない◎ 〔発明の効果〕 以上、説明したように、本発明によれば、組合せ項目を
認識し、有効な項目のｎ次元のマツプを仮想壁間上に作
シ出し、組合せ、又、最適化することによシ、従来にな
く詳細かつ正確な試験項目を効率よく自動生成できる効
果がある。

これにより、試験プログラムの試験精度を向上させるこ
とが可能となる。

【図面の簡単な説明】

第１図は、本発明の一実施例にかかる試験項目自動生成
装置における処理ブロック図、第２因は第１図に示した
処理ブロック因におけるフローチャート、第６図は、試
験項目ファイルの説明図、第４図は、試験項目条件ファ
イルの説明図、第５図は、マツプ作成処理におけるマツ
プ図、第６図は、試験項目テーブルの説明図、第７図は
、最適化条件ファイルの説明図である。 １・・・端末装置制御処理、２・・・マツプ作成処理、
３・・・試験項目最適化処理、４・・・試験項目表示／
出力処理、５・・・端末装置、６・・・試験項目ファイ
ル、７・・・試験項目条件ファイル、８・・・最適化条
件ファイル、９・・・印刷装置。

Claims (1)

【特許請求の範囲】
1. １、論理検証において、論理情報を関連する項目単位に
   分割しデータを階層構造化する手段と、上記階層構造化
   されたデータをｎ次元仮想空間上のベクトル列としてマ
   ッピングする手段と、抽出条件に従い当該ベクトル列を
   抽出する手段とを有し、当該論理検証に必要な試験項目
   を自動抽出することを特徴とする試験項目生成装置。