「file verification program」に関連した英語例文の一覧と使い方 - Weblio英語例文検索

When performing verification of connection between macros, a table for defining the connection between macros and the subject of verification are compared with each other, using an inter-macro (A, B, C, and D) check program, and the result of verification as to whether the subject of verification according to the table to show the connection between macros is outputted in file form.例文帳に追加

マクロ間接続検証を行うときに、マクロ間の接続を定義する表1001と検証対象201 とを、マクロ間チェックプログラム1004を用いて比較し、検証対象がマクロ間の接続を表すテーブルとおりになっているか検証した結果を、ファイル形式1002で出力する。 - 特許庁

A run time checker 16 and a coverage checker 18 performing the verification of an application program at execution are provided, a class file 2 (13) is inputted, and the checker 16 performs verification at execution together with appropriate test data 15.例文帳に追加

アプリケーションプログラムの実行時の検証を行うランタイムチェッカ１６とカバレッジチェッカ１８を設け、ｃｌａｓｓファイル２（１３）を入力として、適切なテストデータ１５と共にランタイムチェッカ１６で実行時検証を行う。 - 特許庁

The information processing apparatus 20 includes: an input part for inputting the program file having the encryption data added thereto; and a verification part for verifying whether the program has been altered on the basis of the program and the encryption data.例文帳に追加

情報処理装置２０は、前記暗号化データが付加されたプログラムファイルを入力する入力部と、前記プログラムと前記暗号化データとに基づいて前記プログラムが改竄されたか否かを検証する検証部と、を備える - 特許庁

A display verification program determines data and hour of the system, and reads first information corresponding to a message that is supposed to be dislayed on an EPL during the present time from a message control file.例文帳に追加

表示認証プログラムは、システムの日時を決定し、そして、現行時間中にＥＰＬ上に表示されるように仮定されるメッセージに対応した第１情報をメッセージ管理ファイルから読取る。 - 特許庁

To provide a data verification apparatus for verifying validity of data without shifting data to a disk device to which a check sum has been added without changing an application program nor the data format of a user file.例文帳に追加

アプリケーションプログラムやユーザファイルのデータ形式を変更することなく、かつチェックサムを付加したディスク装置へデータを移行することなく、データの正当性を検証することができるデータ検証装置を提供する。 - 特許庁

To provide an image forming apparatus that can surely ensuring the operation of equipment for which a software file has been remotely updated, and that consequently minimizes the equipment operation loads of a user, and to provide a remote updating verification method and program of the image forming apparatus.例文帳に追加

遠隔でソフトウェアファイルを更新した機器の動作保障を確実に行い、ユーザの機器操作負荷を最小限に抑えることができる画像形成装置、画像形成装置の遠隔更新検証方法及びプログラムを提供する。 - 特許庁

An automatic generation program 1-1 automatically generates circuit description data for verification (RTL) 1-13 and a restriction file 1-14 for implement, based on pin information files 1-11 and setting files 1-12 that are input externally and device information 1-21 and macro information 1-22 that are stored as various databases 1-2.例文帳に追加

外部から入力されるピン情報ファイル１−１１及び設定ファイル１−１２と、各種データベース１−２として格納されたデバイス情報１−２１及びマクロ情報１−２２とを元に、自動生成プログラム１−１により検証用回路記述データ（ＲＴＬ）１−１３及びインプリメント用制約ファイル１−１４を自動生成する。 - 特許庁