JP2006146503A - バッチ処理検証装置、バッチ処理検証プログラム、及びバッチ処理検証方法 - Google Patents
バッチ処理検証装置、バッチ処理検証プログラム、及びバッチ処理検証方法 Download PDFInfo
- Publication number
- JP2006146503A JP2006146503A JP2004334786A JP2004334786A JP2006146503A JP 2006146503 A JP2006146503 A JP 2006146503A JP 2004334786 A JP2004334786 A JP 2004334786A JP 2004334786 A JP2004334786 A JP 2004334786A JP 2006146503 A JP2006146503 A JP 2006146503A
- Authority
- JP
- Japan
- Prior art keywords
- execution
- name
- information
- file
- program
- 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.)
- Granted
Links
Images
Landscapes
- Debugging And Monitoring (AREA)
- Stored Programmes (AREA)
Abstract
【解決手段】 一又は二以上のプログラム実行単位の実行順序を定義したバッチファイルの処理条件を検証するバッチ処理検証装置に、プログラムの実行環境情報を定義する環境情報と入力ファイルの名称を定義する入力ファイル情報を記憶する入力情報記憶手段10,環境情報にプログラム実行単位の実行に必要な実行環境の情報が存在するかを確認し、入力ファイル情報にプログラム実行単位の実行に必要な入力ファイルの名称が存在するかを確認する必須環境情報・入力ファイル確認手段21,プログラム実行単位の実行及び空実行を切り替える実行・空実行切り替え手段22,プログラム実行単位を実行し入力ファイルを用いて出力ファイルを生成するプログラム実行手段23,プログラム実行単位を実行せず出力ファイルを生成するプログラム空実行手段24を備えた。
【選択図】 図1
Description
しかし、目視確認では手間がかかることに加え、処理単位の増大化に伴い、すべてのツール群について確認するのは実質的に困難な状況となってきている。
また、テスト環境での試行では、テスト環境の作成に手間がかかるうえ、テスト環境と、実際に使用する環境の整合性の確認は、処理単位の増大化に伴い困難になってきている。
さらに、実行に長時間かかった処理が異常終了し、再度の実行を必要としたり、バッチファイルの不具合箇所特定のための解析に時間を要したり、あるいはこのような問題を事前に抑えるため、バッチファイルの事前確認により多くの時間が必要となるなど、設計全体にかかるTAT(Turn−Around Time)が増加してしまうという問題もあった。
また、特許文献2に記載のバッチジョブのオンラインによる起動管理方式によれば、動作パラメータの正当性をバッチジョブを起動する前に確認することができるため、動作パラメータの不正時に生じる時間的損失を削減することが可能となっている。
さらに、特許文献3に記載のプログラム起動管理システムは、バッチ処理を行うジョブを構成するプログラムを、プログラム間の関係をもたずに作成し、プログラムの実行順序を意識せずにバッチ処理を実行することを可能とするものである。
さらに、特許文献3に記載のプログラム起動管理システムは、複数のプログラムがある場合に、これらの実行順序に依存関係があるケースを対象とするものではなく、プログラムの実行順序を意識せずにバッチ処理の実行を可能とするものである。したがって、プログラム間の実行順序に依存関係のある一連のツール群の組み合わせを定義したバッチファイルの検証に適するものではない。
このため、実際にプログラムを実行したり、テスト環境を用意してバッチファイルや実行環境の正当性を確認するよりも、短TATでの検証が可能となる。
このため、検証に使用したバッチファイル及び実行環境と、実行に使用したバッチファイル及び実行環境の整合性の確認を省略することが可能となる。
なお、「一又は二以上のプログラム実行単位の実行順序を定義したバッチファイル」における「実行順序」により、プログラム実行単位が二以上に限定されない。バッチファイルにおけるプログラム実行単位が一の場合、「実行順序」は、当該プログラム実行単位が1番目に実行されることを意味する。
このため、プログラムを実際には実行せずに、バッチファイル及び実行環境を検証できるとともに、検証に使用していたバッチファイル及び実行環境を、実行モードを切り替えることで、変更無しに実際に一連の処理の実行に使用することができ、これらの実行環境の整合性の確認を省略することが可能となる。
バッチ処理検証装置をこのような構成にすれば、近年、処理単位の増大化に伴い、すべてのツール群について確認するのは実質的に困難な状況にあるLSI設計を検証するバッチファイルに適用することができる。
このため、LSI設計を効果的に支援することが可能となる。
このため、実際にプログラムを実行したり、テスト環境を用意してバッチファイルや実行環境の正当性を確認するよりも、短TATで検証でき、検証に使用したバッチファイル及び実行環境と、実行に使用したバッチファイル及び実行環境の整合性の確認を省略することも可能となる。
なお、以下の実施形態に示す本発明のバッチ処理検証装置は、プログラムに制御されたコンピュータにより動作するようになっている。コンピュータのCPUは、プログラムにもとづいてコンピュータの各構成要素に指令を送り、バッチ処理検証装置の動作に必要となる所定の処理、例えば、必須環境情報・入力ファイル確認処理、実行・空実行切り替え処理、ツール群実行処理、ツール群空実行処理等を行わせる。このように、本発明のバッチ処理検証装置における各処理,動作は、プログラムとコンピュータとが協働した具体的手段により実現できるものである。
また、プログラムを格納する記録媒体は、例えば半導体メモリ,磁気ディスク,光ディスク、その他任意のコンピュータで読取り可能な任意の記録手段により構成できる。
図1に示すように、本実施形態のバッチ処理検証装置は、入力情報記憶手段10,処理手段20,対応表記憶手段30,出力情報記憶手段40を有している。なお、これらの各構成要素は、それぞれ別個の装置上に設けて実現してもよい。
処理名情報12は、プログラム実行にて行われる処理の名称を定義する。
実行・空実行情報13は、実際にプログラムを実行するか、空実行処理を行うかを定義する。
環境情報15は、バッチファイルにおける各ツール群実行単位のプログラムを実行する実行環境の情報を定義する。
これらの入力情報は、全てのツール群実行単位について入力情報記憶手段10に記憶される。なお、ツール群とは、所定の動作を実行し、ひとまとまりとして実行される複数のプログラムからなるプログラムを意味している。
必須環境情報・入力ファイル確認手段21は、処理対象名情報と処理名情報にもとづき処理名-必須環境情報・入力ファイル対応表を検索して、必須環境情報と必須入力ファイルの情報を取得し、必須環境情報が環境情報15に存在するかどうかと、必須入力ファイルの名称が入力ファイル情報14に存在するかどうかを確認して、確認結果情報41を生成する。
ツール群実行手段23は、処理名情報12にもとづき処理名-入出力ファイル・実行ツール対応表32を検索し、得られた入力ファイル,出力ファイル,プログラムの組み合わせ情報を処理対象名情報11にもとづき変換し、当該プログラムを逐次実行して、出力ファイルを生成する。
ツール群空実行手段24は、処理名情報12にもとづき処理名-入出力ファイル・実行ツール対応表32を検索し、得られた出力ファイルの情報を処理対象名情報11にもとづき変換し、出力ファイルを生成する。
処理名-必須環境情報・入力ファイル対応表31は、処理名情報12と、その処理のプログラム実行に必要な環境情報及び入力ファイルの対応関係を定義する。
処理名-入出力ファイル・実行ツール対応表32は、処理名情報12と、その処理のプログラム実行で実行されるプログラム、使用される入力ファイル、プログラム実行後生成される出力ファイルの対応関係を定義する。
確認結果情報41には、必須環境情報・入力ファイル確認手段21により、ツール群を実行するのに必須となる環境、入力ファイルが用意されているかどうかが確認された結果が出力される。
出力ファイル情報42は、ツール群実行手段23により、又はツール群空実行手段24により生成される出力ファイルの名称を定義する。
バッチ処理検証装置は、処理対象であるバッチファイルに定義されているツール群実行単位ごとに以下の処理を実行する。
これらの処理対象名情報11及び処理名情報12は、バッチファイルから読み込んで、入力情報記憶手段10に記憶させるようにすることができる。
また、バッチファイルにもとづき予め入力情報記憶手段10に記憶させておいた処理対象名情報11及び処理名情報12を、必須環境情報・入力ファイル確認手段21による処理の際に、バッチ処理検証装置におけるメモリに読み込むようにすることもできる。
そして、必須環境情報・入力ファイル確認手段21は、抽出した必須環境情報と必須入力ファイルの名称を、処理対象名情報11を用いて変換し(ステップ13)、変換した必須入力ファイル名をキーとして、入力ファイル情報14に対して検索処理を実行する(ステップ14)。
必須入力ファイルの名称が入力ファイル情報14に存在する場合(ステップ15のNo)、必須環境情報・入力ファイル確認手段21は、変換した必須環境情報をキーとして、環境情報15に対して検索処理を実行する(ステップ17)。これによって、実行環境内の必須環境設定の正当性が検証される。
この実行・空実行情報13についても、バッチファイルから読み込んで、入力情報記憶手段10に記憶させるようにすることができる。
バッチ処理検証装置の実行・空実行切り替え手段22は、実行・空実行情報13が空実行かどうかを確認し(ステップ21)、空実行でなければ(ステップ21のNo)、バッチ処理検証装置のツール群実行手段23を実行する。
そして、ツール群実行手段23は、当該ツール群実行単位の入力ファイルとして上記変換した入力ファイルを、出力ファイルとして上記変換した出力ファイルを設定し、実行ツール群を順次実行して、出力ファイルを生成する(ステップ24)。
このとき、ツール群空実行手段24は、処理名情報12をキーとして、処理名-入出力ファイル・実行ツール対応表32に対して検索処理を実行し、対応する出力ファイル名を抽出する(ステップ25)。そして、処理対象名情報11を用いて、出力ファイルの名称を変換する(ステップ26)。
そして、ツール群空実行手段24は、実行ツール群を実行せずに、当該ツール群実行単位の出力ファイルとして上記変換した出力ファイル名の出力ファイルを生成する(ステップ27)。このとき、入力ファイルは使用されない。
バッチ処理検証装置は、以上説明したステップS10〜S27の処理をバッチファイルに定義されたツール群実行単位の実行順に順次実行していく。
また、ステップ22,23及びステップ25,26において、処理名-入出力ファイル・実行ツール対応表32からの抽出・変換処理を行うのではなく、図3に示すように、環境設定不備の判定処理(ステップ38)の直後に、必須環境情報・入力ファイル確認手段21又は実行・空実行切り替え手段22などによって、ステップ22及びステップ23の抽出・変換処理を実行するようにすることもできる(ステップ38〜ステップ42)。そして、ツール群実行手段23及びツール群空実行手段24は、このように空実行の判定処理(ステップ43)の前に抽出・変換された情報を用いて、図2について上述した処理と同様に、それぞれの処理を実行することもできる(ステップ44,45)。
まず、バッチ処理検証装置は、AとBのツール群実行単位について、処理対象名情報11として「A」を,処理名情報12として「合成」を入力する(ステップS10及びS11)。
そして、必須環境情報・入力ファイル確認手段21は、これらの必須入力ファイルの名称を、A、Bのツール群実行単位につき処理名情報12にもとづき変換し、Aのツール群実行単位については、「A.v」と「A.SCR」を、Bのツール群実行単位については、「B.v」と「B.SCR」を取得して(ステップ13)、これらが入力ファイル情報14に存在するかどうかを検索する(ステップ14)。
ツール群実行手段23は、処理名情報12の「合成」にもとづいて、処理名-入出力ファイル・実行ツール対応表32から入力ファイル名として、「処理対象名.v」,「処理対象名.SCR」、出力ファイル名として、「処理対象名.NET」、ツールのファイル名として、「合成ツール」を抽出する(ステップ22)。なお、ファイルが複数存在する場合は、それぞれのファイル名(ファイル名群)が抽出され、これらを用いた複数の処理が実行されることになる。
これによって、Aのツール群実行単位の入力ファイルとして「A.v」と「A.SCR」が、出力ファイルとして「A.NET」が、ツールとして「合成ツール」が使用され、Bのツール群実行単位の入力ファイルとして「B.v」と「B.SCR」が、出力ファイルとして「B.NET」が、ツールとして「合成ツール」が使用される。
そして、ツール群実行手段23は、実際にツール群(合成ツール)を実行し、出力ファイルとして、Aのツール群実行単位については、「A.NET」、Bのツール群実行単位については、「B.NET」を生成する(ステップ24)。
このとき、A,Bのツール群実行単位の出力ファイルは、Cのツール群実行単位の入力ファイルとして用いられる。
一方、Cの入力ファイル情報14は、初期の時点では何もない状態であるが、A,Bのツール群実行単位についてのステップ10〜ステップ24の処理により、A.NET及びB.NETが追加される。
そして、Cのツール群実行単位に対するステップ10〜ステップ24の処理の結果、出力ファイルとして、C.NETが生成される。
このようにしてバッチファイルにおける全てのツール群を実行することが可能である。
そして、図5の場合、Cのツール群実行単位の必須入力ファイルは、処理名-必須環境情報・入力ファイル対応表31とA,Bの処理名情報12にもとづき「A.NET」,「B.NET」となることから、必須環境情報・入力ファイル確認手段21は、確認結果として、入力ファイルの「B.NET」が不足している旨を出力し、処理を終了する。
このように、本発明によれば、バッチファイルのツール群を実行せずに、バッチファイルや実行環境の問題を検出することが可能となる。
このため、実際にプログラムを実行したり、テスト環境を用意してバッチファイルや実行環境の正当性を確認するよりも、短TATでの検証が可能となる。
例えば、上記実施形態においては、ツール群として、合成及びCHIP生成を用いたが、その他のツール群を使用することも勿論可能である。
また、ツール群実行単位の処理順序を、例えばA,B,Cのツール群実行単位の出力ファイルを入力ファイルとして実行したDのツール群実行単位の出力ファイルと、Eのツール群実行単位の出力ファイルとを入力ファイルとしてFのツール群実行単位を実行するなど適宜変更することが可能である。
11 処理対象名情報
12 処理名情報
13 実行・空実行情報
14 入力ファイル情報
15 環境情報
20 処理手段
21 必須環境情報・入力ファイル確認手段
22 実行・空実行切り替え手段
23 ツール群実行手段
24 ツール群空実行手段
30 対応表記憶手段
31 処理名-必須環境情報・入力ファイル対応表
32 処理名-入出力ファイル・実行ツール対応表
40 出力情報記憶手段
41 確認結果情報
42 出力ファイル情報
Claims (10)
- 一又は二以上のプログラム実行単位の実行順序を定義したバッチファイルの処理条件を検証するバッチ処理検証装置であって、
プログラムの実行環境の情報を定義する環境情報,入力ファイルの名称を定義する入力ファイル情報を記憶する入力情報記憶手段と、
所定の入力情報にもとづき前記環境情報に前記プログラム実行単位の実行に必要な実行環境の情報が存在するかを検索して確認するとともに、前記入力ファイル情報に前記プログラム実行単位の実行に必要な入力ファイルの名称が存在するかを検索して確認する必須環境情報・入力ファイル確認手段と、
所定の入力情報にもとづき前記プログラム実行単位の実行及び空実行を切り替える実行・空実行切り替え手段と、
前記プログラム実行単位を実行して、前記入力ファイルを用いて出力ファイルを生成するプログラム実行手段と、
前記プログラム実行単位を実行せずに、出力ファイルを生成するプログラム空実行手段と、を備えた
ことを特徴とするバッチ処理検証装置。 - 前記バッチファイルが二以上の依存関係にあるプログラム実行単位の実行順序の情報を含むものであり、
前記プログラム実行手段が、先に実行された一又は二以上の前記依存関係にあるプログラム実行単位の出力ファイルを、前記入力ファイルとして用いて前記プログラム実行単位を実行する
ことを特徴とする請求項1記載のバッチ処理検証装置。 - 処理名と、その処理のプログラム実行に必要な環境情報及び入力ファイルとの対応関係を定義する処理名-必須環境情報・入力ファイル対応表,処理名と、その処理で実行されるプログラム、使用される入力ファイル、及びプログラム実行により生成される出力ファイルとの対応関係を定義する処理名-入出力ファイル・実行プログラム対応表を記憶する対応表記憶手段を備え、
前記入力情報記憶手段が、プログラム実行の対象となる設計分割単位の名称を定義する処理対象名情報,プログラム実行にて行われる処理の名称を定義する処理名情報,実際にプログラムを実行するか、空実行処理を行うかを定義する実行・空実行情報を記憶し、
前記必須環境情報・入力ファイル確認手段が、前記処理名情報にもとづき前記処理名-必須環境情報・入力ファイル対応表から必須環境情報及び必須入力ファイル名を抽出するとともに、抽出した前記必須環境情報及び前記必須入力ファイル名を前記処理対象名情報にもとづき変換し、変換した前記必須環境情報が前記環境情報に存在するか、及び変換した前記必須入力ファイル名が前記入力ファイル情報に存在するかを検索して確認し、確認結果を生成し、
前記実行・空実行切り替え手段が、前記実行・空実行情報を参照し、前記実行・空実行情報として実行が定義されている場合、プログラム実行手段を実行し、前記実行・空実行情報として空実行が定義されている場合、プログラム空実行手段を実行し、
前記プログラム実行手段が、前記処理名情報にもとづき前記処理名-入出力ファイル・実行プログラム対応表から使用する入力ファイルの名称,出力ファイルの名称,プログラムの名称を抽出し、前記処理対象名情報にもとづき前記入力ファイルの名称及び前記出力ファイルの名称を変換し、前記プログラムを実行して、前記入力ファイルにもとづき前記出力ファイルを生成し、
前記プログラム空実行手段が、前記処理名情報にもとづき前記処理名-入出力ファイル・実行プログラム対応表から出力ファイルの名称を抽出し、前記処理対象名情報にもとづき前記出力ファイルの名称を変換して、前記出力ファイルを生成する
ことを特徴とする請求項1又は2記載のバッチ処理検証装置。 - 前記バッチファイルにおいて、実行順序が定義された前記プログラム実行単位が、LSIの設計に係るものであることを特徴とする請求項1〜3のいずれかに記載のバッチ処理検証装置。
- 一又は二以上のプログラム実行単位の実行順序を定義したバッチファイルの処理条件を検証するバッチ処理検証プログラムであって、
コンピュータを、
プログラムの実行環境の情報を定義する環境情報,入力ファイルの名称を定義する入力ファイル情報を記憶する入力情報記憶手段、
所定の入力情報にもとづき前記環境情報に前記プログラム実行単位の実行に必要な実行環境の情報が存在するかを検索して確認するとともに、前記入力ファイル情報に前記プログラム実行単位の実行に必要な入力ファイルの名称が存在するかを検索して確認する必須環境情報・入力ファイル確認手段、
所定の入力情報にもとづき前記プログラム実行単位の実行及び空実行を切り替える実行・空実行切り替え手段、
前記プログラム実行単位を実行して、前記入力ファイルを用いて出力ファイルを生成するプログラム実行手段、
前記プログラム実行単位を実行せずに、出力ファイルを生成するプログラム空実行手段、
として機能させるためのバッチ処理検証プログラム。 - 前記バッチファイルが二以上の依存関係にあるプログラム実行単位の実行順序の情報を含むものであり、
前記プログラム実行手段が、先に実行された一又は二以上の前記依存関係にあるプログラム実行単位の出力ファイルを、前記入力ファイルとして用いて前記プログラム実行単位を実行する
ことを特徴とする請求項5記載のバッチ処理検証プログラム。 - コンピュータを、
処理名と、その処理のプログラム実行に必要な環境情報及び入力ファイルとの対応関係を定義する処理名-必須環境情報・入力ファイル対応表,処理名と、その処理で実行されるプログラム、使用される入力ファイル、及びプログラム実行により生成される出力ファイルとの対応関係を定義する処理名-入出力ファイル・実行プログラム対応表を記憶する対応表記憶手段として機能させ、
前記入力情報記憶手段が、プログラム実行の対象となる設計分割単位の名称を定義する処理対象名情報,プログラム実行にて行われる処理の名称を定義する処理名情報,実際にプログラムを実行するか、空実行処理を行うかを定義する実行・空実行情報を記憶し、
前記必須環境情報・入力ファイル確認手段が、前記処理名情報にもとづき前記処理名-必須環境情報・入力ファイル対応表から必須環境情報及び必須入力ファイル名を抽出するとともに、抽出した前記必須環境情報及び前記必須入力ファイル名を前記処理対象名情報にもとづき変換し、変換した前記必須環境情報が前記環境情報に存在するか、及び変換した前記必須入力ファイル名が前記入力ファイル情報に存在するかを検索して確認し、確認結果を生成し、
前記実行・空実行切り替え手段が、前記実行・空実行情報を参照し、前記実行・空実行情報として実行が定義されている場合、プログラム実行手段を実行し、前記実行・空実行情報として空実行が定義されている場合、プログラム空実行手段を実行し、
前記プログラム実行手段が、前記処理名情報にもとづき前記処理名-入出力ファイル・実行プログラム対応表から使用する入力ファイルの名称,出力ファイルの名称,プログラムの名称を抽出し、前記処理対象名情報にもとづき前記入力ファイルの名称及び前記出力ファイルの名称を変換し、前記プログラムを実行して、前記入力ファイルにもとづき前記出力ファイルを生成し、
前記プログラム空実行手段が、前記処理名情報にもとづき前記処理名-入出力ファイル・実行プログラム対応表から出力ファイルの名称を抽出し、前記処理対象名情報にもとづき前記出力ファイルの名称を変換して、前記出力ファイルを生成するものである
ことを特徴とする請求項5又は6記載のバッチ処理検証プログラム。 - プログラムの実行環境の情報を定義する環境情報,入力ファイルの名称を定義する入力ファイル情報を記憶したバッチ処理検証装置を用いて、一又は二以上のプログラム実行単位の実行順序を定義したバッチファイルの処理条件を検証するバッチ処理検証方法であって、
前記バッチ処理検証装置が、
所定の入力情報にもとづき前記環境情報に前記プログラム実行単位の実行に必要な実行環境の情報が存在するかを検索して確認するとともに、前記入力ファイル情報に前記プログラム実行単位の実行に必要な入力ファイルの名称が存在するかを検索して確認し、
所定の入力情報にもとづき前記プログラム実行単位の実行及び空実行を切り替え、
前記プログラム実行単位を実行して、前記入力ファイルを用いて出力ファイルを生成し、又は、前記プログラム実行単位を実行せずに、出力ファイルを生成する
ことを特徴とするバッチ処理検証方法。 - 前記バッチファイルが二以上の依存関係にあるプログラム実行単位の実行順序の情報を含むものであり、
前記バッチ処理検証装置が、
先に実行された一又は二以上の前記依存関係にあるプログラム実行単位の出力ファイルを、前記入力ファイルとして用いて前記プログラム実行単位を実行する
ことを特徴とする請求項8記載のバッチ処理検証方法。 - 前記バッチ処理検証装置が、プログラム実行の対象となる設計分割単位の名称を定義する処理対象名情報,プログラム実行にて行われる処理の名称を定義する処理名情報,実際にプログラムを実行するか、空実行処理を行うかを定義する実行・空実行情報を記憶を記憶するとともに、処理名と、その処理のプログラム実行に必要な環境情報及び入力ファイルとの対応関係を定義する処理名-必須環境情報・入力ファイル対応表,処理名と、その処理で実行されるプログラム、使用される入力ファイル、及びプログラム実行により生成される出力ファイルとの対応関係を定義する処理名-入出力ファイル・実行プログラム対応表を記憶したものであり、
前記バッチ処理検証装置が、
前記処理名情報にもとづき前記処理名-必須環境情報・入力ファイル対応表から必須環境情報及び必須入力ファイル名を抽出するとともに、抽出した前記必須環境情報及び前記必須入力ファイル名を前記処理対象名情報にもとづき変換し、変換した前記必須環境情報が前記環境情報に存在するか、及び変換した前記必須入力ファイル名が前記入力ファイル情報に存在するかを検索して確認し、確認結果を生成し、
前記必須環境情報が前記環境情報に存在し、前記必須入力ファイル名が前記入力ファイル情報に存在した場合、前記実行・空実行情報を参照し、
前記実行・空実行情報として実行が定義されている場合、前記処理名情報にもとづき前記処理名-入出力ファイル・実行プログラム対応表から使用する入力ファイルの名称,出力ファイルの名称,プログラムの名称を抽出し、前記処理対象名情報にもとづき前記入力ファイルの名称及び前記出力ファイルの名称を変換し、前記プログラムを実行して、前記入力ファイルにもとづき前記出力ファイルを生成し、
前記実行・空実行情報として空実行が定義されている場合、前記処理名情報にもとづき前記処理名-入出力ファイル・実行プログラム対応表から出力ファイルの名称を抽出し、前記処理対象名情報にもとづき前記出力ファイルの名称を変換して、前記出力ファイルを生成する
ことを特徴とする請求項8又は9記載のバッチ処理検証方法。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2004334786A JP4483543B2 (ja) | 2004-11-18 | 2004-11-18 | バッチ処理検証装置、バッチ処理検証プログラム、及びバッチ処理検証方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2004334786A JP4483543B2 (ja) | 2004-11-18 | 2004-11-18 | バッチ処理検証装置、バッチ処理検証プログラム、及びバッチ処理検証方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2006146503A true JP2006146503A (ja) | 2006-06-08 |
JP4483543B2 JP4483543B2 (ja) | 2010-06-16 |
Family
ID=36626119
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2004334786A Expired - Fee Related JP4483543B2 (ja) | 2004-11-18 | 2004-11-18 | バッチ処理検証装置、バッチ処理検証プログラム、及びバッチ処理検証方法 |
Country Status (1)
Country | Link |
---|---|
JP (1) | JP4483543B2 (ja) |
Cited By (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2014194665A (ja) * | 2013-03-28 | 2014-10-09 | Fujitsu Ltd | 検証プログラム、検証方法および検証装置 |
KR101762283B1 (ko) | 2016-05-19 | 2017-07-31 | 주식회사 티맥스 소프트 | 인코딩이 다른 환경에서 jcl을 재사용하기 위한 소트 스크립트 변환 방법 및 컴퓨터-판독가능 매체에 저장된 컴퓨터 프로그램 |
US9851944B2 (en) | 2014-03-10 | 2017-12-26 | Fujitsu Limited | Operation search method and operation search apparatus |
-
2004
- 2004-11-18 JP JP2004334786A patent/JP4483543B2/ja not_active Expired - Fee Related
Cited By (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2014194665A (ja) * | 2013-03-28 | 2014-10-09 | Fujitsu Ltd | 検証プログラム、検証方法および検証装置 |
US9851944B2 (en) | 2014-03-10 | 2017-12-26 | Fujitsu Limited | Operation search method and operation search apparatus |
KR101762283B1 (ko) | 2016-05-19 | 2017-07-31 | 주식회사 티맥스 소프트 | 인코딩이 다른 환경에서 jcl을 재사용하기 위한 소트 스크립트 변환 방법 및 컴퓨터-판독가능 매체에 저장된 컴퓨터 프로그램 |
Also Published As
Publication number | Publication date |
---|---|
JP4483543B2 (ja) | 2010-06-16 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN111400119A (zh) | 多项目与多平台自适应的芯片设计fpga原型验证方法及系统 | |
US20100077382A1 (en) | Computer-readable recording medium string a bug detection support program, similar structure identification information list output program, bug detection support apparatus, and bug detection support method | |
EP3220218A1 (en) | Program development support device, program development support method, and program development support program | |
EP2110741A1 (en) | A method and a system for transforming an object model | |
JP5440287B2 (ja) | シンボリック実行支援プログラム、方法及び装置 | |
JP2006146503A (ja) | バッチ処理検証装置、バッチ処理検証プログラム、及びバッチ処理検証方法 | |
JP6792592B2 (ja) | 画面判別装置、画面判別方法及びプログラム | |
JP5353063B2 (ja) | 対処知識の生成プログラム、対処知識の生成装置および対処知識の生成方法 | |
JP6058498B2 (ja) | コンパイル方法、プログラム及びコンパイル装置 | |
JP6318214B2 (ja) | 汎用マイクロプロセッサを用いたplcのデバッグ方法 | |
US20060277510A1 (en) | Verification support device, verification support method, and computer product | |
US8516419B2 (en) | Verification device of semiconductor integrated circuit, verification method of semiconductor integrated circuit, and computer readable medium storing verification program of semiconductor integrated circuit | |
WO2006025412A1 (ja) | 論理検証方法、論理モジュールデータ、デバイスデータおよび論理検証装置 | |
JP2001044412A (ja) | 半導体シミュレーション装置 | |
CN103577170A (zh) | 网络应用的构建方法及装置 | |
JP2018022433A (ja) | 制御プログラム、装置、及び方法 | |
JP2020098413A (ja) | テスト支援装置、テスト支援方法及びコンピュータプログラム | |
JP2013206310A (ja) | モデル検査装置、モデル検査方法、およびプログラム | |
JP2006155047A (ja) | 検証システム及び検証方法 | |
JP6949440B2 (ja) | ベクタ生成装置及びベクタ生成用プログラム | |
JP2006338391A (ja) | ステートマシンおよびステートマシンの動作方法 | |
JP6576873B2 (ja) | ジョブネット検証装置及びジョブネット検証方法 | |
JP6658297B2 (ja) | テストケース生成方法、テストケース生成プログラムおよびテストケース生成装置 | |
JP5215835B2 (ja) | プログラム適用支援ツール | |
JP3113048B2 (ja) | ソフトウェア部品合成装置 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20081118 |
|
A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20090119 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20090428 |
|
A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20090623 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20090929 |
|
A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20091116 |
|
TRDD | Decision of grant or rejection written | ||
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 20100302 |
|
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20100315 |
|
R150 | Certificate of patent or registration of utility model |
Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20130402 Year of fee payment: 3 |
|
LAPS | Cancellation because of no payment of annual fees |