JPS63257839A - 試験プログラムのデバツグ方式 - Google Patents

試験プログラムのデバツグ方式

Info

Publication number
JPS63257839A
JPS63257839A JP62091946A JP9194687A JPS63257839A JP S63257839 A JPS63257839 A JP S63257839A JP 62091946 A JP62091946 A JP 62091946A JP 9194687 A JP9194687 A JP 9194687A JP S63257839 A JPS63257839 A JP S63257839A
Authority
JP
Japan
Prior art keywords
input
test program
output processing
pseudo
output
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
JP62091946A
Other languages
English (en)
Inventor
Osamu Omoto
大本 修
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.)
NEC Corp
Original Assignee
NEC 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 NEC Corp filed Critical NEC Corp
Priority to JP62091946A priority Critical patent/JPS63257839A/ja
Publication of JPS63257839A publication Critical patent/JPS63257839A/ja
Pending legal-status Critical Current

Links

Landscapes

  • Debugging And Monitoring (AREA)
  • Test And Diagnosis Of Digital Computers (AREA)

Abstract

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

Description

【発明の詳細な説明】 〔産業上の利用分野〕 本発明は情報処理システムの周辺装置に対して試験を行
なう試験プログラムのデバッグ方式に関し、特にシミュ
レート手段を使用したデバッグ方式に関する。
〔従来の技術〕
−aに、プログラムを新規に開発した場合、あるいは既
に開発されたプログラムを改造して新たなプログラムを
作成した場合などにおいて、そのプログラムが所期の目
的を達成するか否か、ハゲが存在しないか否かを調べる
為に、デバッグが実施される。
このようなデバッグは、そのプログラムが動作する環境
で使用される装置が現実に存在すれば、通常はその装置
を使って行なわれる。しかし、装置開発期間の短縮化や
デバッグ用情弗処理システムの縮小化等の理由で実際の
装置を使用してデバッグすることが困難な場合もある。
そのような場合には、一般に、対象装置を擬似するシミ
ュレーション用プログラムを開発して用いることが多く
、これらのシミュレーション用プログラムは大別すると
次のような方式に分けられる。
■ デバッグ対象プログラムが実行される処理装置上で
動作するプログラムにシミュレーション用プログラムを
リンクさせる方式。
■ デバッグ対象プログラムが実行される処理装置シス
テム八に接続される別の処理装置システムBで動作し、
システムAの入出力命令がすべてシステムBに対して実
行され、システムBが対象装置をシミュレートする方式
上述したシミュレーション用プログラムは何れの方式を
採るにしても、従来は、デバッグをある程度正確に行な
う為にシミュレーション対象となる装置を正確にシミュ
レートしており、従って膨大なステップ数を必要として
いた。
〔発明が解決しようとする問題点〕
ところで、情報処理システムにおいては、周辺装置に対
して試験を行なう試験プログラムが使用されているが、
そのような試験プログラムのデバッグも、他の種類のプ
ログラムのデバッグと同様に対象となる周辺装置が実在
しない場合等には、試験対象となる周辺装置と同等の機
能を擬似するシミュレーション用プログラムを用いてデ
バッグを行なっていた。この為にシミュレーション用プ
ログラムの開発に多大な時間を要し、試験プログラムの
デバッグを速やかに行なうことが困難であるという問題
があった。また、試験プログラムの試験対象となる周辺
装置は多種多機能である他、その機能も同種の装置であ
っても機種毎に異なることから、開発するシミュレーシ
ョン用プログラムも雑多なものとなる問題があった。更
に、新規な周辺装置が開発される度にシミュレーション
用プログラムを大幅に改造しなければならない問題点も
あった。
本発明はこのような従来の問題点を解決したものであり
、その目的は、周辺装置の試験を行なう試験プログラム
に好適なデバッグ方式を提供することにある。
c問題点を解決するための手段〕 本発明の試験プログラムのデバッグ方式は、各入出力処
理ルーチンが複数のマクロ命令で記述されると共に、マ
クロ命令のパラメータ部に試験結果の期待値を持ち、周
辺装置を試験して得られた実際値と前記期待値との比較
により前記周辺装置を試験する試験プログラムのデバッ
グ方式において、 前記試験プログラムを構成する各入出力処理ルーチンに
独自の入出力処理番号を付与しておくと共に、 擬似障害の対象とする入出力処理ルーチンの前記入出力
処理番号、擬似データを含む擬似障害に関する情報を指
定する擬似障害情報指定手段と、前記試験プログラムが
試験する周辺袋Uをシミュレートするシミュレート手段
とを設け、該シミュレート手段は、前記試験プログラム
のシミュレート動作要求時、実行される各入出力処理ル
ーチン毎に、該入出力処理ルーチンに対して擬似障害が
指定されているか否かを前記擬似障害情報指定手段から
指定された入出力処理番号に応じて判別し、擬似障害の
指定がない入出力処理ルーチンに関しては、該入出力処
理ルーチンを構成するマクロ命令のパラメータ部で指示
された期待値を前記実際値とし、擬似障害の指定がある
入出力処理ルーチンに関しては、前記擬似障害情報指定
手段から指定された擬似データを前記実際値とする構成
を有する。
〔発明の原理と作用〕
本発明の試験プログラムのデバッグ方式は、試験プログ
ラムの持つ特徴を有効に利用することにより、周辺装置
を擬似するシミュレート手段を節易なものとし、また多
種多様な周辺装置の擬似に対処している。即ち、試験プ
ログラムは他のプログラムと異なり、周辺装置の入出力
動作結果の期待値を有しており、その期待値と実際値と
の比較により周辺装置の試験を行なうものである。従っ
て、期待値通りの実際値が周辺装置から返ってきたとき
にそれに合った動作を試験対象プログラムが正常に行な
っているか否かを調べる際には、周辺装置のシミュレー
ト手段は周辺装置の全ての動作を正確にシミュレートす
る必要はなく、その期待値を実際値として返すシミュレ
ーションを行なえば済む。これによって、シミュレート
手段を簡易なものとすることができる。
また、周辺装置に障害が発生したことを想定し、そのと
きに試験プログラムがそれに合った動作を正常に行なう
か否かを調べる際にも、周辺装置に障害が発生したと等
価な擬似障害を正確にシミュレートする仕組みをシミュ
レート手段自体に組込むのではなく、起こそうとする擬
似障害の種類に合った周辺装置からの応答内容つまり擬
似データを外部のフロッピーディスク装置やコンソール
等の擬似障害情報指定手段からシミュレート手段に与え
、シミュレート手段はこの擬似データを周辺NWからの
実際値とするシミュレーションを行なうように構成すれ
ば、シミュレート手段を簡易なものとすることができる
と共に、多種多様な周辺装置の擬似が容易に実現できる
ことになる。更に、実装置では容易に設定できないよう
な装置状態も簡単に設定することができる。
〔実施例〕
次に本発明の実施例について図面を参照して説明する。
第1図は本発明のデバッグ方式を適用した情報処理シス
テムの一例を示すブロック図である。この情報処理シス
テムは、中央処理装置2と、主記憶装置4と、共通バス
6と、周辺制御装置8と、周辺制御装置8に接続され擬
似障害(以下、擬障と略す)の対象とする入出力処理ル
ーチンを指示する起動番号、擬障データ等の入出力を行
なうオペレータインクフェイスを実現するフロッピーデ
ィスク装置81およびコンソール82とから構成される
主記憶装置4には、デバッグの対象となる試験プログラ
ム41と、試験プログラムモニタ42とがフロッピーデ
ィスク装置81からロードされている。
試験プログラム41は複数の入出力処理ルーチンを含み
、各入出力処理ルーチンを構成する一連の各動作はマク
ロ命令で記述され、マクロ命令のパラメータ部分に期待
値を有している。更に、各入出力処理ルーチンには試験
プログラム41内で一意に識別可能な入出力処理番号が
付されている。試験プログラムモニタ42は、試験プロ
グラム41の実行制御を行なうと共に、試験プログラム
の各マクロ命令に対応する共通処理を行なう共通処理部
421と、シミュレーション動作要求を認識し記憶する
モード認識記憶部422と、擬障の設定のためのコンソ
ール82或いはフロッピーディスク装置81等を対象と
するオペレータインタフェイス処理部423と、′fl
fA管理部424 と、プロセス管理部425 と、入
出力管理部426等を有し、シミュレーション動作要求
時においては、入出力動作毎に擬障設定の存無をチェッ
クし、擬障設定がない場合は試験プログラムのマクロ命
令のパラメータで試験プログラムが期待する周辺装置動
作をシミュレーションし、擬障設定されている入出力動
作要求については、コンソール82或いはフロッピーデ
ィスク装置81により設定された周辺装置状態をシミュ
レーションする働きをする。なお、第1図において、点
線で示した磁気ディスク制御装置9および磁気ディスク
装置91は、試験プログラム4Iが試験対象とする周辺
装置の例を示すが、これらは試験プログラムモニタ42
でシミュレートされる為、必要とはされない。
本実施例システムの入出力処理は、中央処理装置2が入
出力命令を実行すると、共通バス6に相手チャネル番号
を含む所定の情報が出力され、共通バス6に接続された
周辺制御装置(周辺制御装置8や磁気ディスク制御装置
9など)が自装置に対する入出力命令であることを認識
することにより、主記憶装置4の所定のエリアに記録さ
れているチャネルプログラムを解析実行し、結果終了ス
テータスを主記憶装置4の所定のエリアに書込んだ後、
中央処理装置2に対して割込みを発生させるという一連
の動作からなり、試験プログラム41の入出力処理ルー
チンも当然にこのアーキテクチャに従った構造となって
いる。
試験プログラム511における一つの入出力処理ルーチ
ン(最小試験単位の試験ルーチン)の構成例を第2図に
、各マクロ命令のパラメータ構成を第3図に示す。
第2図に示す一つの入出力処理ルーチンは、¥DIRS
マクロ命令、¥S[Oマクロ命令、¥WiOマクロ命令
、¥SCKマクロ命令、¥DCKマクロ命令および¥D
2REマクロ命令から構成される。¥DIRSマクロ命
令において、一連の入出力動作に対する各種制御データ
の初期設定ならびに入出力動作の開始制御を行ない、¥
SIOマクロ命令において周辺装置に対して入出力動作
を起動し、エラーであればエラー処理を行ない、¥WI
Oマクロ命令において¥SIOマクロ命令の実行により
周辺装置から報告される終了割込みを時間監視しながら
待ち、時間内に割込みがなければエラー処理を行ない、
¥SCKマクロ命令において割込み時に周辺装置から転
送されたヌテータス情報を期待値と比較し、エラーであ
ればエラ一種別に応じたエラー処理例えばその旨のメソ
セージの出力を行ない、¥DCKマクロ命令において入
出力動作により主記憶装置4に読出されたデータを期待
値と比較し、不一致であれば不一致の内容に応じたエラ
ー処理を行ない、¥D2REマクロ命令において入出力
動作の終了処理ならびにデバイス繰返し制御を行ない、
上記処理を試験対象装置台数分繰返してl試験動作が完
了することになる。更に、各入出力処理ルーチンには前
述したように試験プログラム内でユニークな識別番号(
入出力処理番号)が付与されている。
次に試験プログラムモニタ42の構成と動作について説
明する。
試験プログラムモニタ42は、試験プログラムシステム
の核であり、資源管理、入出力管理、プロセス管理、オ
ペレータインクフェイス処理をはじめ、試験プログラム
システムの運用に必要な各種の機能を存している。また
、各試験プログラムに共通な処理の多くは、試験プログ
ラムモニタ42の共通処理部421が行ない、試験プロ
グラム41はマクロ命令を記述するだけである。即ち、
第3図の入出力処理ルーチンにおける¥SIOマクロ命
令について見れば、試験プログラム41はチャネルプロ
グラム内容を定義して試験プログラムモニタ42の¥3
10共通処理に制御刊を移すだけで、中央処理装置2で
の入出力命令であるC0NNECT命令を実行するため
に必要な各処理は全て試験プログラムモニタ42の共通
処理部421が行なうようになっている。
以上説明した試験プログラム41と試験プログラムモニ
タ42による本発明の実施例のデバッグ方式について以
下説明する。
まず、試験プログラムモニタ42は動作モードとして、
通常モードとシミュレーションモードとを有している。
通常モードは実装置が接続されている環境での動作であ
り、シミュレーションモードは8式験プログラム41を
デバッグする際のモードである。試験プログラムモニタ
42は試験プログラム41のロード・実行指示を受付け
る以前に、モード認識記憶部422によってOCLコマ
ンドにより動作モードを確定し記憶している。なお、動
作モードの確定方法としてはOCLに限る必要はな(、
スイッチ等によって行なっても良い。
シミュレーションモード運用時、操作員がOCLにより
試験プログラム41のロード実行を指示すると、試験プ
ログラムモニタ42はOCLを解析し、試験プログラム
41をフロッピーディスク装置81からロードした後、
試験プログラム41の実行を開始する前に以下の処理を
行なう。
先ず、コンソール82にメニュー画面を出力し、擬障デ
ータの入力元装置の指定を操作員に問い合わせる。
操作員が上記メニュー画面で、入力元装置としてフロッ
ピーディスク装置81の成る擬障データファイルを指定
すると、試験プログラムモニタ42は、指定された擬障
データファイルをフロッピーディスク装置81から続出
し、例えば第4図に示す擬障登録テーブルを生成する。
即ち、擬障データファイルには、擬障設定すべき入出力
処理ルーチンを指示する起動番号、擬障項目、終了ステ
ータス。
1疑障データ長、読出しハソファ相対位置、読出しデー
タ等が予め格納されているので、それを擬障登録テーブ
ルに移し変える。ここで、擬障登録テーブル中の起動番
号は、試験プログラム41を構成する複数の入出力処理
ルーチンのうち擬障の対象としたい入出力処理ルーチン
を、それに付与された入出力番号で指定したものである
。また擬障項目は、入出力処理ルーチンのどの項目(第
3図でいえば¥SIO,¥WIO,¥5−CK、¥DC
K)について擬障を起こしたいのかを指定し、同時に複
数項目の指定が可能である。終了ステータスは、¥SC
Kにおいて実際値として返す終了ステータスの擬障デー
タである。擬障データ長、読出しバッファ相対位置およ
び続出しデータは¥DCKにおいて実際値として返ず擬
障データを特定する情報であり、続出しデータは期待値
の成る部分と置換するデータ、擬障データ長は続出しデ
ータの長さ、読出しバッファ相対位置は続出しデータを
置換すべき読出しバッファ内の位置つまり期待値内の位
置をそれぞれ示す。なお、M障設定しない入出力処理ル
ーチンについてはその入出力処理番号と同一の起動番号
は擬障データファイルには登録されていないので、擬障
登録テーブル中にも存在しない。
擬障登録テーブルの生成が完了すると、試験プログラム
モニタ42は確認の為に生成した擬障登録テーブルの内
容をコンソール82に表示する。このとき、操作員は擬
障登録テーブルの内容を削除。
変更し或いは新たな擬障データを追加することができる
操作員がコンソール82に表示された擬障登録テーブル
の内容を確認し開始指示を与えると、試験プログラムモ
ニタ42は試験プログラム41の実行を開始する。試験
プログラム41では第3図に示したように各マクロ命令
が順に実行されるが、試験プログラムモニタ42の共通
処理部421における各マクロ命令に対応する処理は例
えば第5図(at、 fbl。
(c)に示す通りである。即ち、¥SIOマクロ命令処
理(第5図(a))では、ステップSlでモード認識記
憶部422の記憶情報に従ってシミュレーションモード
であることを判別し、ステップS4で試験プログラム4
1のこれから実行される入出力処理ルーチンの入出力処
理番号と、擬障登録テーブルの全ての起動番号とを比較
し、一致する起動番号がなければ、以下の一連の入出力
動作については擬障設定がないとして処理する(ステッ
プS6)。
このときは試験プログラム41の持つ期待値が実際値と
して使用される。例えば¥SCKマクロ命令のシミュレ
ーション時には、第3図のパラメータ「期待ステータス
エリア名標」に従って期待値を取得し、これを実際値と
して返す。
また、若し一敗する起動番号があれば、擬障登録テーブ
ルにおける該当行の擬障項目から続出しデータまでの情
報を現行擬障データとして記憶する(ステップS5)。
そして、¥WIO(第5図(b))では、ステップSI
Oでンミュレーソヨンモードであることを判別し、ステ
ップ513で前記の現行擬障データの擬障項目(タイム
アラ日疑障項目)の指定を判別し、擬障設定されていれ
ば試験プログラム41にエラー処理を行なわせ、擬障設
定されていなければ時間内に割込みがあったものと擬似
して次の処理へ進む。また、¥SCK、 ¥DCKマク
ロ命令の処理(第5図(C))では、ステップS20で
シミュレーションモードであることを判別し、ステップ
S22で前記の現行擬障データの擬障項目の指定を判別
し、各マクロ命令で該当する項目に擬障が設定されてい
れば、擬障データを実際値としくステップ524)、設
定されていなければ、試験プログラム41が有する期待
値を実際値として使用する(ステップ523)。そして
、期待値と実際値との比較をステップ321で行ない、
その結果に応じて処理分岐する。なお、擬障データを実
際値として設定する場合、擬障データで置換される実際
値の部分以外の部分は期待値が用いられる。
擬障データの入力元装置としてフロッピーディスク装置
81が指定された場合の動作は上記の通りであるが、コ
ンソール82が指定された場合は、次のような動作が行
なわれる。
先ス、試験プログラムモニタ42は、擬障設定の有無、
擬障設定するのであれば対象としたい入出力処理ルーチ
ンを問い合わせる画面をコンソール82に表示する。操
作員が、障害設定したい入出力処理ルーチンの番号(起
動番号)を逐次入力し人力終了を指示すると、第4図の
擬障登録テーブルに指定された起動番号を設定し、試験
プログラム41の実行を開始する。そして、¥STOマ
クロ命令処理(第5図(a))では、試験プログラム4
1のこれから実行される入出力処理ルーチンの入出力処
理番号と、擬障登録テーブルの全ての起動番号とを比較
し、−4する起動番号がなければ、以下の一連の入出力
動作については擬障設定がないとして処理し、試験プロ
グラム41の持つ期待値を実際値として使用する。また
、一致する起動番号があれば、その一連のマクロ命令実
行の都度、設定可能な1擬障項目、終了ステータス、擬
障データ長。
読出しバッファ相対位置、読出しデータをコンソール8
2を介して操作員に問い合わせる。これに応じて操作員
が必要な情報を設定すれば、その情報に従ってシミュレ
ートを実行する。このように、擬障データの入力元装置
としてコンソール82が指定された場合、コンソール8
2を介して操作員と対話形式でシミュレーションが進め
られる。なお、コンソール82を指定した場合に、第4
図に示す擬障登録テーブルを一括して作成しておくよう
にも構成でき、この場合、その後の動作はフロッピーデ
ィスク装置81を使用した場合と同様となる。
また本実施例のシミュレート手段を実現する試験プログ
ラムモニタ42は、通常モードが指定された場合、第5
図に示すように、各マクロ命令の処理でシミュレートモ
ードでないことを判別しくSl、  SIO,520)
 、各マクロ命令に応じて、入出力命令実行とエラー処
理(ステップ32.S3)。
割込み待ちと時間内での割込みの監視(ステップSll
、  512)、期待値と実際値との比較(ステップ5
21)を行ない、周辺装置のシミュレーションは行なわ
ない。
〔発明の効果〕
以上説明したように、本発明は、試験プログラムが周辺
装置に対する入出力動作結果の期待値を有しているとい
う特徴を有効に利用したこと、及び任意の入出力動作に
ついて任意の装置状態をコンソールやフロッピーディス
ク装置等の擬障情報指定手段から設定できるようにした
ことにより、試験プログラムのデバッグに必要な周辺装
置シミュレート手段を簡便なものとすることができ、且
つ、多種多様な周辺装置に対処することができる効果が
ある。更に、実装置では容易に設定できない装置状態を
も擬障情報指定手段から簡単に設定できる゛効果がある
【図面の簡単な説明】
第1図は本発明のデバッグ方式を適用した情報処理シス
テムの一例を示すブロック図、第2図は試験プログラム
41の一つの入出力処理ルーチンの構成例を示す図、 第3図は各マクロ命令のパラメータ構成例を示す図、 第4図は擬障登録テーブルの構成例を示す図および、 第5図は共通処理部421の処理例の流れ図である。 図において、 2・・・中央処理装置、 4・・・主記憶装置、 6・・・共通バス、 8・・・周辺制御装置、 9・・・磁気ディスク制御装置 81・・・フロッピーディスク装置、 82・・・コンソール、 91・・・磁気ディスク装置

Claims (1)

  1. 【特許請求の範囲】 各入出力処理ルーチンが複数のマクロ命令で記述される
    と共に、マクロ命令のパラメータ部に試験結果の期待値
    を持ち、周辺装置を試験して得られた実際値と前記期待
    値との比較により前記周辺装置を試験する試験プログラ
    ムのデバッグ方式において、 前記試験プログラムを構成する各入出力処理ルーチンに
    独自の入出力処理番号を付与しておくと共に、 擬似障害の対象とする入出力処理ルーチンの前記入出力
    処理番号、擬似データを含む擬似障害に関する情報を指
    定する擬似障害情報指定手段と、前記試験プログラムが
    試験する周辺装置をシミュレートするシミュレート手段
    とを設け、 該シミュレート手段は、前記試験プログラムのシミュレ
    ート動作要求時、実行される各入出力処理ルーチン毎に
    、該入出力処理ルーチンに対して擬似障害が指定されて
    いるか否かを前記擬似障害情報指定手段から指定された
    入出力処理番号に応じて判別し、擬似障害の指定がない
    入出力処理ルーチンに関しては、該入出力処理ルーチン
    を構成するマクロ命令のパラメータ部で指示された期待
    値を前記実際値とし、擬似障害の指定がある入出力処理
    ルーチンに関しては、前記擬似障害情報指定手段から指
    定された擬似データを前記実際値とすることを特徴とす
    る試験プログラムのデバッグ方式。
JP62091946A 1987-04-16 1987-04-16 試験プログラムのデバツグ方式 Pending JPS63257839A (ja)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP62091946A JPS63257839A (ja) 1987-04-16 1987-04-16 試験プログラムのデバツグ方式

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP62091946A JPS63257839A (ja) 1987-04-16 1987-04-16 試験プログラムのデバツグ方式

Publications (1)

Publication Number Publication Date
JPS63257839A true JPS63257839A (ja) 1988-10-25

Family

ID=14040754

Family Applications (1)

Application Number Title Priority Date Filing Date
JP62091946A Pending JPS63257839A (ja) 1987-04-16 1987-04-16 試験プログラムのデバツグ方式

Country Status (1)

Country Link
JP (1) JPS63257839A (ja)

Cited By (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPH02230434A (ja) * 1989-03-03 1990-09-12 Fujitsu Ltd 試験プログラムの性能検査方法
JP2021189902A (ja) * 2020-06-02 2021-12-13 株式会社日立国際電気 試験装置

Cited By (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPH02230434A (ja) * 1989-03-03 1990-09-12 Fujitsu Ltd 試験プログラムの性能検査方法
JP2021189902A (ja) * 2020-06-02 2021-12-13 株式会社日立国際電気 試験装置

Similar Documents

Publication Publication Date Title
US7076713B1 (en) Test generator for converting a model of computer component object behavior and stimulus values to test script
US5754760A (en) Automatic software testing tool
US7222265B1 (en) Automated software testing
JPH05505695A (ja) 多重アーキテクチャ環境内で特にコードのデバッグを行う改良したソフトウェア・デバッグ・システムと方法
KR20080065936A (ko) 동적 피드백 제어 시스템 시뮬레이팅 방법, 시뮬레이션동적 피드백 제어 시스템 준비 방법 및 동적 피드백 제어시스템 시뮬레이팅 시스템
US5161116A (en) System for evaluating the performance of a large scale programmable machine capable of having a plurality of terminals attached thereto
JPH06507991A (ja) 知識ベースの形成及びそのシミュレーション
US7062753B1 (en) Method and apparatus for automated software unit testing
JP3018912B2 (ja) 検証支援システム
JPS63257839A (ja) 試験プログラムのデバツグ方式
AU2023201696B2 (en) Method and device for determining coverage in HIL testing, and storage medium
CN115903644B (zh) 一种plc工程逻辑调试方法、系统、终端设备及存储介质
JP3357567B2 (ja) プログラム評価システム
JPS63157244A (ja) 周辺装置試験プログラムデバグ方式
Takagi et al. Simulation and Regression Testing Technique for Software Formal Specifications Based on Extended Place/Transition Net with Attributed Tokens
JPS63177231A (ja) 並列プログラムデバグ方式
JPH05298204A (ja) 入出力処理装置試験回路
JP4192380B2 (ja) Plcシミュレータ装置及びシミュレーションするためのプログラムとこれが記録された記録媒体
JPH02232744A (ja) シミュレータの構成制御方式
JPS63247842A (ja) 試験プログラム評価方式
JPH07219980A (ja) テスト実行方式
JP2615222B2 (ja) 分散形ディジタル制御システムのオペレータズコンソール
Takagi et al. Simulation and Regression Testing for Behavior of Software Models Based on Extended Place/Transition Net with Attributed Tokens
JPS62262107A (ja) エミユレ−タ用pioシミユレ−タ装置
JPH03130839A (ja) オンラインシミュレーション方式