JPH05134896A - Automatic preparation device for program testing data - Google Patents

Automatic preparation device for program testing data

Info

Publication number
JPH05134896A
JPH05134896A JP3294449A JP29444991A JPH05134896A JP H05134896 A JPH05134896 A JP H05134896A JP 3294449 A JP3294449 A JP 3294449A JP 29444991 A JP29444991 A JP 29444991A JP H05134896 A JPH05134896 A JP H05134896A
Authority
JP
Japan
Prior art keywords
data
file
program
test
input
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
Application number
JP3294449A
Other languages
Japanese (ja)
Inventor
Masahide Sekiya
矢 正 英 関
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Toshiba Corp
Original Assignee
Toshiba Corp
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by Toshiba Corp filed Critical Toshiba Corp
Priority to JP3294449A priority Critical patent/JPH05134896A/en
Publication of JPH05134896A publication Critical patent/JPH05134896A/en
Pending legal-status Critical Current

Links

Landscapes

  • Debugging And Monitoring (AREA)

Abstract

PURPOSE:To shorten program testing time and to improve reliability by mecha nizing the preparation of test data flies and the verification of a processing result. CONSTITUTION:A test data file is prepared by performing various kind of definition in a data item definition means 11 and an input/output file definition means 12, defining test data preparation conditions including the number of data corresponding to the contents of the test to be executed by a data preparation condition definition means 13, and preparing the test data in a data preparation means 14 until the conditions specified by the data preparation condition definition means 13 is satisfied while checking the definition contents of the data item definition means 11 and input/output file definition means 12. When a test program 2 is executed, the contents of the file outputted by the program is checked with the contents defined by the data item definition means 11 and input/output file definition means 12 and the execution result is verified, in a execution result verification means 15.

Description

【発明の詳細な説明】Detailed Description of the Invention

【0001】[0001]

【産業上の利用分野】本発明は、計算機プログラム作成
時におけるプログラムテストを効率化するのに好適なプ
ログラムテストデータ自動作成装置に関する。
BACKGROUND OF THE INVENTION 1. Field of the Invention The present invention relates to an apparatus for automatically creating program test data, which is suitable for improving the efficiency of a program test when creating a computer program.

【0002】[0002]

【従来の技術】ファイルからデータを読み込んで所定の
処理を行なうプログラムのテストを行なう場合、プログ
ラム仕様に基づき良データのみならず不良データをも意
図的に混入させたりする必要があり、従来は、これをキ
ーボードから入力する等の方法によりテストデータファ
イルを作成していた。
2. Description of the Related Art When testing a program that reads data from a file and performs a predetermined process, it is necessary to intentionally mix not only good data but also bad data based on program specifications. A test data file was created by inputting this from the keyboard.

【0003】また、プログラムが処理結果をファイルに
書き出ししている時、出力ファイルの内容を表示装置や
印刷装置に出力し、目視によりプログラムの処理が正し
いか否かを検証していた。
Further, when the program writes the processing result to a file, the contents of the output file are output to a display device or a printing device, and it is visually verified whether or not the processing of the program is correct.

【0004】[0004]

【発明が解決しようとする課題】従来のプログラムテス
トは以上のようにして実施し、プログラムの検証を行な
っていたので、プログラム仕様に基づくテストデータの
考え出しから、手動入力によりテストデータファイルに
これを書き込むまでには多大な時間を費やしており、こ
の時間の短縮が大きな課題とされてきた。また、時間の
制約によりテストデータの件数を少なくせざるを得ない
ケースも多く、テストが不十分になってしまうという問
題がある。また、プログラムの処理結果の検証において
も、これを人間系で行なっているために、多くの時間を
要するばかりでなく、検証の見落としが発生しやすい等
の問題点がある。
Since the conventional program test is carried out as described above and the program is verified, the test data is devised based on the program specifications and manually input to the test data file. A large amount of time is spent before writing, and shortening this time has been a major issue. In addition, there are many cases in which the number of test data items must be reduced due to time constraints, which causes a problem of insufficient testing. Further, since verification of the processing result of the program is performed by a human system, not only a lot of time is required, but also there is a problem that the verification is easily overlooked.

【0005】本発明の目的は上記従来技術の問題点を解
決し、テストデータファイル作成と処理結果の検証を機
械化することにより、プログラムテスト時間の短縮と確
実なプログラムテストを可能としたプログラムテストデ
ータ自動作成装置を提供することにある。
An object of the present invention is to solve the above-mentioned problems of the prior art and to mechanize the creation of a test data file and the verification of the processing result, thereby shortening the program test time and enabling a reliable program test. To provide an automatic creation device.

【0006】[0006]

【課題を解決するための手段】上記目的を達成するため
に、本発明は、ファイル名およびそのファイルの項目
名、項目位置、データ型、データ範囲を含む属性を定義
するデータ項目定義手段と、プログラム名およびそのプ
ログラムがアクセスするファイル名とそのファイルの項
目単位にアクセスの区分を定義する入出力ファイル定義
手段と、被テストプログラムが読み込んでいるファイル
単位にテストデータ作成条件を定義するデータ作成条件
定義手段と、データ項目定義手段、入出力ファイル定義
手段、およびデータ作成条件定義手段によって定義され
た結果に基づいてテストデータファイルを作成するデー
タ作成手段と、プログラムにより得られたファイルの内
容を前記データ項目定義手段および前記入出力ファイル
定義手段に定義された結果と対比してプログラムの処理
結果を検証する実行結果検証手段と、を備えたプログラ
ムテストデータ自動作成装置を提供するものである。
In order to achieve the above object, the present invention provides a data item definition means for defining an attribute including a file name and an item name, an item position, a data type, and a data range of the file. Input / output file definition means for defining the program name, the file name accessed by the program and the access classification for each item of the file, and the data creation condition for defining the test data creation condition for each file read by the program under test The definition means, the data item definition means, the input / output file definition means, the data creation means for creating a test data file based on the results defined by the data creation condition definition means, and the contents of the file obtained by the program are described above. Defined in the data item definition means and the input / output file definition means Result and the execution result verification means for verifying the processing result of the program in contrast, there is provided a program test data automatic generation apparatus having a.

【0007】[0007]

【作用】上記手段において、本発明のプログラムテスト
データ自動作成装置は、データ項目定義手段と入出力フ
ァイル定義手段においてファイルおよびプログラムにつ
いて各種の定義を行ない、データ作成条件定義手段によ
って実行すべきプログラムテストの内容に応じてテスト
データ件数等のテストデータ作成条件を定義し、次に、
データ作成手段においてデータ項目定義手段と入出力フ
ァイル定義手段による定義内容を参照しながらデータ作
成条件定義手段によって指定された条件に達するまでテ
ストデータを作成してテストデータファイルを作成し、
被テストプログラムの実行に伴い、実行結果検証手段に
おいて、プログラムが出力したファイルの内容とデータ
項目定義手段および入出力ファイル定義手段に定義され
た内容を照合して実行結果の検証を行なう。
In the above means, the program test data automatic creation apparatus of the present invention makes various definitions for files and programs in the data item definition means and the input / output file definition means, and the program test to be executed by the data creation condition definition means. Define test data creation conditions such as the number of test data according to the contents of
In the data creating means, while referring to the definition contents by the data item defining means and the input / output file defining means, test data is created until a condition specified by the data creating condition defining means is reached to create a test data file,
As the program under test is executed, the execution result verification means verifies the execution result by collating the contents of the file output by the program with the contents defined in the data item definition means and the input / output file definition means.

【0008】このようにして、プログラムテスト時間の
大幅な短縮とプログラムの品質向上を図ることができ
る。
In this way, the program test time can be greatly shortened and the quality of the program can be improved.

【0009】[0009]

【実施例】以下、図面を参照しながら本発明の実施例を
説明する。
Embodiments of the present invention will be described below with reference to the drawings.

【0010】図1は本発明の一実施例に係るプログラム
テストデータ自動作成装置のブロック図である。装置本
体1にはCPU3、磁気ディスク装置4、表示装置5、
キーボード6、および印刷装置7が接続される。一方、
装置本体1はデータ項目定義ルーチン11、入出力ファ
イル定義ルーチン12、データ作成条件定義ルーチン1
3、データ作成ルーチン14、および実行結果検証ルー
チン15が格納される。また、磁気ディスク装置4には
データ項目情報41、入出力ファイル情報42、データ
作成条件情報43、テストデータファイル44、その他
のファイル45などが格納される。
FIG. 1 is a block diagram of a program test data automatic generation apparatus according to an embodiment of the present invention. The device body 1 includes a CPU 3, a magnetic disk device 4, a display device 5,
The keyboard 6 and the printing device 7 are connected. on the other hand,
The device body 1 includes a data item definition routine 11, an input / output file definition routine 12, and a data creation condition definition routine 1.
3, a data creation routine 14, and an execution result verification routine 15 are stored. The magnetic disk device 4 also stores data item information 41, input / output file information 42, data creation condition information 43, a test data file 44, and other files 45.

【0011】図1の装置の動作を図2のファイル単位の
データ属性の説明図、図3のプログラム単位・ファイル
単位の入出力項目の説明図、図4の作成するテストデー
タの件数の説明図に従って説明する。
The operation of the apparatus of FIG. 1 is an explanatory view of the data attribute of each file in FIG. 2, an explanatory view of the input / output item of each program / file of FIG. 3, and an explanatory view of the number of test data created in FIG. Follow the instructions below.

【0012】はじめに、システム仕様書やプログラム仕
様書等の図書を参照し、データ項目定義ルーチン11に
より図2に示すファイル名、項目名、項目位置、データ
型、データ範囲、所要区分、重複区分を入力する。ここ
で、入力された内容は磁気ディスク装置4のデータ項目
情報41に格納しておく。
First, referring to a book such as a system specification or a program specification, the data item definition routine 11 sets the file name, item name, item position, data type, data range, required section and duplicate section shown in FIG. input. Here, the input contents are stored in the data item information 41 of the magnetic disk device 4.

【0013】次に、同様の図書を参照して、入出力ファ
イル定義ルーチン12によりプログラム名およびそのプ
ログラムが読み込み、書き出しするファイル名を入力す
る。入出力ファイル定義ルーチン12は入力されたファ
イル名に該当する項目名をデータ項目情報41から検索
し表示装置5に表示する。オペレータは表示された各項
目が入力であるか出力であるか、または入出力であるか
を指定する。そして、このような操作の結果、図3に示
すような内容の定義ができあがる。この内容は入出力フ
ァイル情報42に格納しておく。そして、ここまでで基
本的情報の定義が完了する。
Next, referring to the same book, the input / output file definition routine 12 inputs the program name and the file name to be read and written by the program. The input / output file definition routine 12 retrieves the item name corresponding to the input file name from the data item information 41 and displays it on the display device 5. The operator specifies whether each item displayed is an input, an output, or an input / output. Then, as a result of such an operation, the definition of the contents as shown in FIG. 3 is completed. This content is stored in the input / output file information 42. Then, the definition of basic information is completed by this point.

【0014】次に、データ作成条件定義ルーチン13に
移り、ここではプログラム名を入力し、データ作成条件
定義ルーチン13がこのプログラムが入力または入出力
している項目名とそのファイル名を入出力ファイル情報
42から検索し、表示装置5に表示する。オペレータは
表示されたファイルや項目単位に所望するテストデータ
の良・不良件数を指定する。そして、結果的に図4に示
すような内容ができあがる。この内容はデータ作成条件
情報43に格納しておく。
Next, the process proceeds to the data creation condition definition routine 13, in which the program name is input, and the data creation condition definition routine 13 inputs the item name input or input / output by this program and the file name thereof to the input / output file. The information 42 is retrieved and displayed on the display device 5. The operator specifies the desired number of good / defective test data for each displayed file or item. As a result, the contents as shown in FIG. 4 are completed. This content is stored in the data creation condition information 43.

【0015】次に、データ作成ルーチン14は図5の処
理フロー図に示すような手順で動作する。
Next, the data creation routine 14 operates in the procedure as shown in the process flow chart of FIG.

【0016】先ず、ステップS1ではテストされるプロ
グラムの名称、すなわち被テストプログラム名を入力す
る。このプログラム名によって次のステップS2でデー
タ作成条件情報43からテストデータを作成すべきファ
イル名を全て検索し、これを記憶しておく。次に、ステ
ップS3で1ファイル単位にデータ作成条件情報43か
ら作成すべきテストデータの件数を検索し、これを記憶
しておく。そして、次のステップS4にて入出力ファイ
ル情報42およびデータ項目情報41を参照し、プログ
ラムが読み込んでいる項目のデータを自動作成してレコ
ードを編集した後、ステップS5でテストデータファイ
ル44に書き出す。良データの場合はデータ型やデータ
範囲等がデータ項目情報の内容と一致するものを、不良
データの場合は一致しないものを自動作成する。このデ
ータ自動作成からテストデータファイルへの書き出しま
での動作を、ステップS7の判断で作成すべきテストデ
ータ件数に達するまで繰り返す。同様の処理をステップ
S6の判断で全ファイル終了するまで繰り返す。以上の
ような動作の結果、テストデータファイル44の作成が
完了する。
First, in step S1, the name of the program to be tested, that is, the name of the program under test is input. With this program name, all file names for which test data should be created are searched from the data creation condition information 43 in the next step S2, and this is stored. Next, in step S3, the number of test data items to be created is retrieved from the data creation condition information 43 for each file and stored. Then, in the next step S4, the input / output file information 42 and the data item information 41 are referred to, the data of the item read by the program is automatically created and the record is edited, and then written in the test data file 44 in step S5. .. In the case of good data, data types and data ranges that match the contents of the data item information are automatically created, and in the case of bad data, those that do not match are automatically created. The operation from the automatic data creation to the writing to the test data file is repeated until the number of test data items to be created reaches the number of test data items to be created in the determination in step S7. The same process is repeated until the end of all files in the determination of step S6. As a result of the above operation, the creation of the test data file 44 is completed.

【0017】しかる後に、被テストプログラム2を実行
する。
Thereafter, the program under test 2 is executed.

【0018】次に、実行結果検証ルーチン15につい
て、図6の動作フロー図に従って説明する。
Next, the execution result verification routine 15 will be described with reference to the operation flow chart of FIG.

【0019】先ず、ステップS11で実行した被テスト
プログラム名を入力し、ステップS12で入出力ファイ
ル情報42からこのプログラムが書き出ししている項目
が存在するファイル名を検索し、これを記憶しておく。
次に、ステップS13で1ファイル単位にデータ項目情
報41からデータの属性である項目位置、データ型、デ
ータ範囲、所要区分、重複区分を検索し、これを記憶し
ておく。次に、ステップS14でテストデータファイル
44、その他のファイル45からレコードを読み込み、
ステップS15でこのレコードの内容と記憶されている
データの属性を比較して合致しているか否かを検証し、
ステップS16でその検証結果を保存しておく。そし
て、全レコードの検証が終了したらステップS18に移
り、ここで保存しておいた検証結果とデータ作成条件情
報43とから、入力データの良・不料件数と検証結果を
対比できるように編集し、表示装置5や印刷装置7に出
力する。同様の処理をステップS17を通じて全ファイ
ル終了まで繰り返す。これにより、どのファイルのどの
項目が正しくないかを検証することができる。つまり、
プログラムの処理が正しいか否かを検証することができ
ることになる。
First, the name of the program under test executed in step S11 is input, and in step S12, the file name in which the item written by this program exists is retrieved from the input / output file information 42 and stored. ..
Next, in step S13, the item position, the data type, the data range, the required section, and the overlapping section, which are the attributes of the data, are retrieved from the data item information 41 for each file and stored. Next, in step S14, the record is read from the test data file 44 and the other file 45,
In step S15, the contents of this record are compared with the attributes of the stored data to verify whether they match,
The verification result is saved in step S16. Then, when the verification of all the records is completed, the process proceeds to step S18, and the verification result and the data creation condition information 43 stored here are edited so that the number of good / unfavorable cases of the input data and the verification result can be compared, It is output to the display device 5 and the printing device 7. The same processing is repeated through step S17 until the end of all files. This allows you to verify which item in which file is incorrect. That is,
It will be possible to verify whether the processing of the program is correct.

【0020】以上述べたように、データ項目定義手段と
入出力ファイル定義手段による各種定義は図書等を参照
し、その記載内容を単純に反映させるもので、ほとんど
思考する必要がなく極めて容易にテストデータの作成を
実施することができる。また、データ作成手段によれば
大量データも極めて短時間に作成することができ、さら
に不良データを混在させることも容易である。これによ
り、テストデータ作成時間を大幅に短縮でき、またテス
ト内容を充実することも可能である。また、実行結果検
証手段を備えることによりプログラムの検証時間が短縮
できると共に人間系による検証に比べて見落としがなく
なり信頼性を高めることができる。
As described above, various definitions by the data item definition means and the input / output file definition means refer to a book or the like, and simply reflect the contents of the description, and it is extremely easy to test without any thought. Data can be created. Further, the data creating means can create a large amount of data in an extremely short time, and it is easy to mix defective data. As a result, the test data creation time can be greatly shortened and the test contents can be enhanced. Further, by providing the execution result verifying means, the verification time of the program can be shortened and the reliability can be improved as compared with the verification by the human system.

【0021】なお、上記実施例ではプログラムが書き出
ししたファイルに対して実行結果を検証しているが、表
示装置や印刷装置に出力する場合でも、出力データを一
時的にファイルに書き出しすることにより同様の検証を
行なうことができる。また、実施例では磁気ディスク装
置を用いているが、当然のことながら半導体メモリや他
のメディア等のデバイスが適用可能である。
In the above embodiment, the execution result is verified with respect to the file written by the program. However, even when output to a display device or a printing device, the output data is temporarily written to the file, and the same result is obtained. Can be verified. Further, although the magnetic disk device is used in the embodiment, it goes without saying that a device such as a semiconductor memory or another medium can be applied.

【0022】[0022]

【発明の効果】以上述べたように、本発明のプログラム
テストデータ自動作成装置によれば、テストデータのフ
ァイル作成と処理結果の検証を自動的に実施するように
構成したので、プログラムテスト時間の大幅な短縮とプ
ログラム品質の向上を図ることができる。
As described above, according to the program test data automatic creation apparatus of the present invention, the test data file creation and the processing result verification are automatically performed. Significant reduction and improvement of program quality can be achieved.

【図面の簡単な説明】[Brief description of drawings]

【図1】本発明の一実施例に係るプログラムテストデー
タ自動作成装置のブロック図。
FIG. 1 is a block diagram of a program test data automatic creation device according to an embodiment of the present invention.

【図2】ファイル単位のデータの属性の説明図。FIG. 2 is an explanatory diagram of attributes of data in file units.

【図3】プログラム単位・ファイル単位の入出力項目の
説明図。
FIG. 3 is an explanatory diagram of input / output items in program units / file units.

【図4】作成するテストデータの件数の説明図。FIG. 4 is an explanatory diagram of the number of test data items to be created.

【図5】データ作成ルーチンの動作フロー図。FIG. 5 is an operation flow chart of a data creation routine.

【図6】実行結果検証ルーチンの動作フロー図。FIG. 6 is an operation flow diagram of an execution result verification routine.

【符号の説明】[Explanation of symbols]

1 装置本体 11 データ項目定義ルーチン 12 入出力ファイル定義ルーチン 13 データ作成条件定義ルーチン 14 データ作成ルーチン 15 実行結果検証ルーチン 2 被テストプログラム 3 CPU 4 磁気ディスク装置 41 データ項目情報 42 入出力ファイル情報 43 データ作成条件情報 44 テストデータファイル 45 その他のファイル 5 表示装置 6 キーボード 7 印刷装置 1 Device Main Body 11 Data Item Definition Routine 12 Input / Output File Definition Routine 13 Data Creation Condition Definition Routine 14 Data Creation Routine 15 Execution Result Verification Routine 2 Program Under Test 3 CPU 4 Magnetic Disk Unit 41 Data Item Information 42 Input / Output File Information 43 Data Creation condition information 44 Test data file 45 Other files 5 Display device 6 Keyboard 7 Printing device

Claims (1)

【特許請求の範囲】[Claims] 【請求項1】ファイル名およびそのファイルの項目名、
項目位置、データ型、データ範囲を含む属性を定義する
データ項目定義手段と、プログラム名およびそのプログ
ラムがアクセスするファイル名とそのファイルの項目単
位にアクセスの区分を定義する入出力ファイル定義手段
と、被テストプログラムが読み込んでいるファイル単位
にテストデータ作成条件を定義するデータ作成条件定義
手段と、前記データ項目定義手段、前記入出力ファイル
定義手段、および前記データ作成条件定義手段によって
定義された結果に基づいてテストデータファイルを作成
するデータ作成手段と、プログラムにより得られたファ
イルの内容を前記データ項目定義手段および前記入出力
ファイル定義手段に定義された結果と対比してプログラ
ムの処理結果を検証する実行結果検証手段と、を備えた
プログラムテストデータ自動作成装置。
1. A file name and an item name of the file,
Data item definition means for defining attributes including item position, data type, data range, and input / output file definition means for defining a program name, a file name accessed by the program and an access classification for each item unit of the file, Data creation condition defining means for defining test data creation conditions for each file read by the program under test, and results defined by the data item defining means, the input / output file defining means, and the data creating condition defining means A data creating means for creating a test data file based on the program, and the contents of the file obtained by the program are compared with the results defined by the data item defining means and the input / output file defining means to verify the processing result of the program. Program test with execution result verification means Over data device for automatically creating.
JP3294449A 1991-11-11 1991-11-11 Automatic preparation device for program testing data Pending JPH05134896A (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP3294449A JPH05134896A (en) 1991-11-11 1991-11-11 Automatic preparation device for program testing data

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP3294449A JPH05134896A (en) 1991-11-11 1991-11-11 Automatic preparation device for program testing data

Publications (1)

Publication Number Publication Date
JPH05134896A true JPH05134896A (en) 1993-06-01

Family

ID=17807927

Family Applications (1)

Application Number Title Priority Date Filing Date
JP3294449A Pending JPH05134896A (en) 1991-11-11 1991-11-11 Automatic preparation device for program testing data

Country Status (1)

Country Link
JP (1) JPH05134896A (en)

Cited By (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPH08235025A (en) * 1995-02-24 1996-09-13 Nec Corp Program test support management device and its method
JP2010140166A (en) * 2008-12-10 2010-06-24 Hitachi Information Systems Ltd Data pattern/test data generation/storage method and system
JP2013105358A (en) * 2011-11-15 2013-05-30 Japan Research Institute Ltd System and method for comparative test on difference between new and old versions of program

Cited By (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPH08235025A (en) * 1995-02-24 1996-09-13 Nec Corp Program test support management device and its method
JP2010140166A (en) * 2008-12-10 2010-06-24 Hitachi Information Systems Ltd Data pattern/test data generation/storage method and system
JP2013105358A (en) * 2011-11-15 2013-05-30 Japan Research Institute Ltd System and method for comparative test on difference between new and old versions of program

Similar Documents

Publication Publication Date Title
US7917895B2 (en) Automated software testing and validation system
US20050204241A1 (en) Method and device for analyzing software error
CN107741903A (en) Application compatibility method of testing, device, computer equipment and storage medium
US20050229045A1 (en) Method and device for managing software error
JPH0855045A (en) Method and apparatus for coding of data in self-descriptive system
CN110750434A (en) Interface testing method and device, electronic equipment and computer readable storage medium
JPH05134896A (en) Automatic preparation device for program testing data
CN114924726A (en) Device for rapidly verifying application program interface and control method thereof
JP2000181942A (en) Automatic i/o buffer operation power source check system
JP2585460B2 (en) Test data creation method
JP3657097B2 (en) Test program generation system
JP2910548B2 (en) Data check device
JP3018886B2 (en) Probe setting method
JPS60200346A (en) Production of program test data
JPH07230391A (en) Verifier for information processor
JPH0944369A (en) Translater verification device
JPH04273341A (en) Automatic test device for program
JP2500385B2 (en) Input data management method
US20180204593A1 (en) Memory management architecture for use with a diagnostic tool
JPS6225340A (en) Inspection device
CN117251334A (en) Method, device, equipment and medium for checking chip module interface connection
JPH06138911A (en) Programming device
JPH0581072A (en) Automatic verification processing system
JPH07200356A (en) Automatic check list delete system
JPH04370883A (en) Logical simulation system