1016万例文収録!

「コード検証」に関連した英語例文の一覧と使い方(3ページ目) - Weblio英語例文検索


小窓モード

プレミアム

ログイン
設定

設定

Weblio 辞書 > 英和辞典・和英辞典 > コード検証の意味・解説 > コード検証に関連した英語例文

セーフサーチ:オン

不適切な検索結果を除外する

不適切な検索結果を除外しない

セーフサーチについて

コード検証の部分一致の例文一覧と使い方

該当件数 : 202



例文

第1と第2のソースプログラムを読み込んで、それぞれに対応する第1と第2の中間コードを生成するコンパイラ20と、生成された第1と第2の中間コードを読み込んで、中間コード間の整合性の検証を行うと共に、オブジェクトコードを生成するコンパイラ40を有する。例文帳に追加

This compile processor is provided with: a compiler 20 which reads first and second source programs; and generates first and second intermediate codes corresponding thereto, and a compiler 40 which reads the generated first and second intermediate codes, verifies the matching between the intermediate codes, and generates an object code. - 特許庁

検証の対象のCMOS型半導体論理回路がカスコード接続された複数のMOS素子を含む構成であったとしても、各MOS素子の耐圧検証を常に正しく判定する。例文帳に追加

To correctly determine verification of a withstand voltage of each MOS element even if a CMOS semiconductor logic circuit to be tested contains a plurality of cascode-connected MOS elements. - 特許庁

錠50で、これらに基づいてIDコード、重複禁止データおよび乱数データに関する検証を行い、すべての検証において正常である場合にのみ認証を行う。例文帳に追加

The lock 50 investigates the ID code, the overlap prohibit data, and the random number data on the basis of them and performs authentication only when every investigation indicates normality. - 特許庁

検証対象のソースコードを修正することなく、入力するテストパタンにより入力から出力までのデータの伝搬を調べることによりレジスタトランスファレベルの機能記述においてテスト容易化を検証する。例文帳に追加

To verify the test facilitation in the function description of a register transfer level by checking the propagation of data from its input up to its output by an inputted test pattern without correcting a source code to be verified. - 特許庁

例文

コードカバレッジの上限を見積もることにより、検証シナリオの機能に関する検証網羅性の向上を図り、LSIの設計障害の正確かつ効率的な検出を図ること。例文帳に追加

To improve verification coverage with respect to the function of a verification scenario, and detect LSI design faults accurately and efficiently, by estimating an upper limit of code coverage. - 特許庁


例文

検証に失敗した場合(S30eでNo)、デコード結果を破棄し(S30h)、検証が失敗したこと、すなわち、再生できないことをユーザに通知する(S30i)。例文帳に追加

If verification is failed (No in S30e), a decoding result is canceled (S30h) and the user is notified of a failure of verification or in other words, reproduction is not possible (S30i). - 特許庁

検証が成功の場合、サービスプロバイダは、サービス利用者によって要求されたサービスの否認不能な証拠として、検証されたコードをサービス仲介に提供することができる。例文帳に追加

If the verification is successful, then the service provider can provide the verified code to the service intermediary as the non-repudiatable evidence of the service requested by the service user. - 特許庁

検証が成功する場合に、サービスプロバイダは、サービス利用者によって要求されたサービスの否認不能な証拠として、検証されたコードをサービス仲介に提供することができる。例文帳に追加

If the verification is successful, then the service provider can provide the verified code to the service intermediary as undeniable evidence of the services requested by the service consumer. - 特許庁

検証端末は,用紙の無線ICタグから用紙識別子の組を二次元バーコードから用紙識別子の組と電子署名を読み込み,これらの情報の対応関係を印刷機の公開鍵証明書により,検証する。例文帳に追加

A verification terminal reads the group of paper identifiers from the radio IC tag of paper and the group of paper identifiers and the electronic signature from the two-dimensional bar-code, and verifies a correspondence relation of these information from a public key certificate of a printer. - 特許庁

例文

暗号化されデジタル署名がなされた検証済みソースコード78は、検証済みAPI送信機能76によりAP開発元12に返信される。例文帳に追加

The verified source code 78 which is encrypted and digitally signed is sent back to the AP development source 12 by a verified API transmitting function 76. - 特許庁

例文

検証コード信号を、検証信号を後に識別し、これによってキャリヤを鑑定することが可能な方法において、鑑定すべき(電子データ信号または物理媒体のような)キャリヤ上に加える。例文帳に追加

An identification code signal is added on a carrier to be identified (such as an electronic data signal or a physical medium) in a manner that permits the identification signal to be discerned later and the carrier to be thereby identified. - 特許庁

パスポート上に印刷するためのバーコードを生成する方法、パスポートの認証性及びデータ保全性を検証する方法、パスポート上に印刷するためのバーコードを生成するコンピュータ・システム、ならびにパスポートの認証性及びデータ保全性を検証するコンピュータ・プログラム例文帳に追加

METHOD FOR GENERATING BARCODE SYMBOLS FOR PRINTING ON PASSPORT, METHOD FOR VERIFYING AUTHENTICITY AND DATA INTEGRITY OF PASSPORT, COMPUTER SYSTEM FOR GENERATING BARCODE SYMBOLS FOR PRINTING ON PASSPORT, AND COMPUTER PROGRAM FOR VERIFYING AUTHENTICITY AND DATA INTEGRITY OF PASSPORT - 特許庁

正規の遊技機制御プログラム121cを基に算出した遊技機制御プログラム検証コード121aと検証時に記憶手段121が記憶している遊技機制御プログラム121cを基に改めて算出した制御プログラム検証コードとを比較する処理を、定期的或いは繰返し実行するようにし、又は、指令信号に基づいて実行するようにした。例文帳に追加

The processing of comparing a game machine control program verification code 121a calculated based on a normal game machine control program 121c with the control program verification code newly calculated based on the game machine control program 121c stored in the storage means 121 at the time of verification is periodically or repeatedly executed or is executed based on command signals. - 特許庁

正規の遊技機制御プログラム121cを基に算出した遊技機制御プログラム検証コード121aと検証時に記憶手段121が記憶している遊技機制御プログラム121cを基に改めて算出した制御プログラム検証コードとを比較する処理を、定期的或いは繰返し実行するようにし、又は、指令信号に基づいて実行するようにした。例文帳に追加

Processing of comparing a game machine control program testing code 121a calculated based on a normal game machine control program 121c with a control program testing code calculated again based on the control program 121c stored in the storage means 121 in the case of testing is carried out periodically or repeatedly or carried out based on a command signal. - 特許庁

ICカード発行システムは前記認証コード_Cと認証コード_Pを比較することで(S150)、ICカードに書込まれたデータの正当性を検証する。例文帳に追加

The IC card issuing system verifies the validity of the data written in the IC card by comparing the authentication code "_C" with the authentication code "_P" (S150). - 特許庁

決済機関50は、上記第1の電子コードと上記第2の電子コードとから支払い請求が正規のものか検証し、正規のものであれば支払い処理を実行する。例文帳に追加

The settlement agency 50 verifies whether or not a demand for payment is legitimate from the first electronic code and the second electronic code and executes payment processing when it is legitimate. - 特許庁

既存のWebアプリケーションにおける入力チェック処理機能に、文字コードチェックの機能を追加し、従来のWebアプリケーションフレームワークの入力検証機能による定義を使って文字コードチェック処理を行なう。例文帳に追加

The function of checking a character code is added to an input check function in an existing Web application, and character code check is performed by using definition by the input verification function of a conventional Web application framework. - 特許庁

セキュアタスクの暗号化コードは、セキュアメモリ23に格納され、セキュアメモリ23は、認証局の公開鍵で署名を検証して、暗号化コードが有効であることをセキュアプロセッサ24に通知する。例文帳に追加

The enciphered code of the secure task is stored in a secure memory 23 and the secure memory 23 verifies the signature with the public key of an authentication station and informs whether or not the enciphered code is valid to the secure processor 24. - 特許庁

論理システムの検証において非活性コードに対応する機能を含む非活性動作仕様記述を生成し、コードカバレッジ結果の解析を容易化する手段を提供する。例文帳に追加

To provide a means generating deactivation specification description including a function complying with an inactive code in verification of a logic system for facilitating analysis on a code coverage result. - 特許庁

識別コードが付与された広告効果検証用配布物が回収されると、広告効果検証システムにおいて、検出部10が識別コードを検出し、データ処理部20が、検出部から読み取られた識別コードごとに集計、評価する処理を行い、集計・評価結果を広告効果記憶部30に記憶させる。例文帳に追加

Upon collection of distribution materials, with an identification code given thereto, for advertising effect verification, in the advertising effect verification system, a detector 10 detects the identification code, a data processor 20 performs totalizing and evaluating processing for each identification code read from the detector and totalizes the collected materials, and an advertising effect storage 30 stores a result of evaluating the materials. - 特許庁

プログラムを再開する場合は、コード暗号化鍵・署名検証ユニット257は、暗号化されたコンテキスト情報を、マイクロプロセッサの秘密鍵で複号化し、複号化されたコンテキスト情報のコード暗号化鍵が、中断されたプログラム本来のコード暗号化鍵と一致するかどうかを検証し、一致した場合にのみ、プログラムの実行を再開する。例文帳に追加

In the case of restarting the program, a code ciphering key/signature verification unit 257 deciphers the ciphered context information by the secret key of the microprocessor and verifies whether or not the code ciphering key of the deciphered context information coincides with the original code ciphering key of the interrupted program and the execution of the program is restarted only in the case that it coincides. - 特許庁

第2の携帯端末装置11は,カメラ機能で撮影された電子印影シール2の画像に含まれる光学コード20をデコードし,デコードした電子印影に含まれるデジタル署名を検証し,該デジタル署名の検証結果として署名対象データを第2の携帯端末装置11のディスプレイに表示する。例文帳に追加

A second portable terminal device 11 decodes the optical code 20 included in an image of the electronic impression seal 2 photographed by the camera function, verifies the digital signature included in the decoded electronic seal impression, and displays the signature object data on a display of the second portable terminal device 11 as a verification result of the digital signature. - 特許庁

用紙12の表示面13には、検証対象である各情報コードC1a〜C1cのコード種別および表示面13に対する表示位置が特定情報として含まれるラベルフォーマットコードC1oが、表示面13に対して特定の位置に表示されている。例文帳に追加

On a display surface 13 of a paper sheet 12, the code types of information codes C1a-C1c to be verified and a label format code C1o including a display position to the display surface 13 as specific information are displayed at specific positions on the display surface 13. - 特許庁

そして、サービスセンタは、参照者Bから親コードGを受け取ると、親コードGからサブジェクトや生成制御内容を抽出した後に、サブジェクトで指定される被参照者Aの公開鍵を用いて親コードGの正当性を検証する。例文帳に追加

When receiving the parent code G from a referrer B, a service center extracts the subject and generation control contents from the parent code G, and uses the public key of the referral A designated by the subject to verify the authenticity of the parent code G. - 特許庁

検証の住所コード、および、この住所コードに対応する住所をそれぞれ関連させて記憶したデータベース12と、住所コードの入力により、データベース12からそれに対応した住所を画面14に表示するディスプレイ16とを備えて構成する。例文帳に追加

The device is equipped with the data base 12 wherein the address codes of the M.O.T. and the address corresponding to the address codes are related to each other and stored, and a display 16 which displays on its screen 14 the address corresponding to an address code from the data base 12 through input of the address code. - 特許庁

検証に記載される住所コードまたは所有者コードと住所とを対応させたデータベースを開発して、住所コードの入力によって住所を表示させることにより、顧客名簿の作成を正確かつ迅速に行って事務処理の著しい能率化を達成する。例文帳に追加

To make office work greatly efficient by accurately and speedily generating a customer name list by developing a data base wherein address codes or owner codes entered into the M.O.T. and the addresses are made to correspond to each other and displaying an address by the input of the address code. - 特許庁

レーザーマークによるIDナンバー等のごとき管理用コードを、該当ウェーハに正しく自動的に加工設置でき、加工後の自動照合によるこれら管理用コード検証とその管理を高効率で自動化できる管理用コードの管理方法の提供。例文帳に追加

To provide a managing method for codes for management which can automatically and correctly process and install the codes for management like an ID number, etc., of a laser mark on a wafer and automate the verification and management of the codes for management by automatic comparison after the processing with high efficiency. - 特許庁

条件分岐箇所へ到達確認用のコードを埋め込む等の既存技術を用いてモデル検査技術で検証した範囲を網羅度として測定し、検証結果とともにその測定結果を示すことにより、作業者に仮定の誤りの可能性を示す。例文帳に追加

A program verification apparatus measures as a degree of exhaustiveness a range verified by model examination techniques using such an existing technique as embedding arrival confirmation codes in portions of conditional branching, and indicates the measuring result together with the verification result, thereby indicating the possibility of an assumption error to an operator. - 特許庁

コンテンツの利用に適用するプログラムまたは適用情報を含むコンテンツコードを取得し、取得コンテンツコードに従ったデータ処理を実行する前の段階において、コンテンツコードの格納ファイルに設定された電子署名の検証処理を実行し、ファイルの正当性が確認されたことを条件として、コンテンツコードに従ったデータ処理を実行する。例文帳に追加

Data processing is carried out according to the content code under the conditions of acquiring the content code including the program and information to be applied to use the content, performing processing for verifying a digital signature in a content code storage file at the step before performing data processing according to the acquired content code, and confirming the validity of the file. - 特許庁

電子証明書管理システムの下位レベルに接続される電子証明書管理装置において、少なくともレコード識別子、検証識別子および証明書を記録する項目をもつ証明書管理テーブル3(11)を設け、この検証識別子とレコード識別子とを関係付けることにより、メッセージに添付する証明書を順次取り出す電子証明書管理装置である。例文帳に追加

The electronic certificate managing device connected to a low level of an electronic certificate management system is provided with a certificate management table 3(11) having items wherein at least a record identifier, a verification identifier, and a certificate are recorded; and the verification identifier and record identifier are related to each other to take out certificates to be attached to messages in order. - 特許庁

ユーザ端末は、保証コンピュータの検証鍵と、上記署名対象に上記電子署名が付加された署名付きコードから抽出した電子署名とを用いて、上記署名付きコードに含まれる署名対象の正当性について検証し、実際に上記接続先に接続する前に、正当性が確認された上記署名対象をユーザに知らせ、上記接続先に接続するかどうかをユーザに選択させる。例文帳に追加

A user terminal uses a verification key of the insurance computer and the electronic signature extracted from a code with a signature in which the electronic signature is added to the signature target to verify the validity of the signature target included in the code with the signature, notifies a user of the signature target whose validity is confirmed before actually connecting the access point and makes the user select whether to connect the access point. - 特許庁

第1のコードのオーナによって署名されている第1のコード・モジュールと、第2のコードのオーナによって署名されている第2のコード・モジュールを含む署名付きファームウェア・イメージを取得し、アップデートされた第1のコード・モジュールが第1のコードのオーナによって署名されていることを検証して、アップデートされた第1のコード・モジュールにより、署名付きファームウェア・イメージをアップデートする。例文帳に追加

The method comprises the steps of obtaining a signed firmware image that includes a first code module signed by a first code owner and a second code module signed by a second code owner, verifying that an updated first code module is signed by the first code owner, and updating the signed firmware image with the updated first code module. - 特許庁

ユーザは、製造者によって提供されていないプロシジャ、ルーチンまたはアルゴリズムを包含するようにファンクション・ブロックのソース・コード・ファイルを変更することが可能であり、かつ変更されたソース・コード・ファイルを検証のために製造者へ送ることができる。例文帳に追加

By this method, a user can modify a function block source code file to include a procedure, routine or algorithm that is not provided by the manufacturer and can send the modified source code file to the manufacturer for validation. - 特許庁

また、データの更新時には、パリティを作成するための旧データの読出し時に同様の検証を行い、不正データでなければ、データパス制御部13の冗長コード生成部13aが、新たなDC値を埋め込んだ冗長コードを新データ及びパリティに付加する。例文帳に追加

In addition, when the data is updated, similar verification is performed when the old data for creating the parity is read and when the data is not the erroneous data, a redundant code generation part 13a of the data path control part 13 adds a redundant code in which a new DC value is embedded to a new piece of data and parity. - 特許庁

一致する場合には、認証コードを使用した暗号文を相手側に送信し、相手側が復号した平文を再度、認証コードで暗号化した暗号文を受信し、受信した暗号文を復号し、平文と一致するか否かが検証される。例文帳に追加

When succeeds, a cipher text using the authentication code is transmitted to the other side, a cipher text obtained by reencrypting a plain text decrypted by the other side by the authentication code is received, the received cipher text is decrypted, and whether or not it matches with the plain text is verified. - 特許庁

取得部116により開発成果物Rが取得された場合、検証コード生成部117によりコンパイラC−1を含む指定された開発環境Daの下で、開発成果物Rに含まれているソースコードSCを再コンパイルする。例文帳に追加

When an acquisition part 114 acquires the development result R, a verification code generation part 117 compiles a source code SC included in the development result R again under the designated development environment Da including a compiler C-1. - 特許庁

また、チャネライゼーションコードをオフ(乗算のスルー)、スクランブリングコードをオフ(複素乗算をスルー)、或いは両者ともオフすることにより、各種テストに必要な演算結果を回路外部に出力でき、各種テスト検証を容易に行うことができる。例文帳に追加

By turning off (multiplication is through) a channelization code, by turning off (complex multiplication is through) scrambling code or by turning off both sides, a calculation result necessary for many kinds of tests can be generated outside the circuit, and verification for many kinds of tests can be carried out easily. - 特許庁

またプログラムコード検証する手段と、ICカードの実行を制御して、ICカードを使用できなくする手段をICカードに設けることで、プログラムコードの不当な改ざんを検出し、ICカードの不正利用を防止することができる。例文帳に追加

By providing a means verifying the program code and a means controlling execution of the IC card to disable the IC card, to the IC card, unjust falsification of the program code is detected to prevent unjust use of the IC card. - 特許庁

例えば、鍵入力部1、エンコード部2、デコード部3、制御部4、データ入力部5、疑似乱数発生部6、メモリ7、を有して構成される画像データ処理装置において、デジタル画像データに改ざんを検証するためのデータを非可視的に埋め込む。例文帳に追加

In a picture data processor constituted of a key input part 1, an encoder 2, a decoder 3, a control unit 4, a data input part 5, a pseudo random number generating part 6, and a memory 7, data for verifying forgery are invisibly embedded in digital picture data. - 特許庁

検証プログラム111は、組込みプログラム131の機能テストをおこなうため、シナリオデータ112、反復条件データ113および制御コード情報114に基づいて、学習リモコン120に対して制御コードを送信する。例文帳に追加

The verification program 111 transmits the control code to the learning remote controller 120 on the basis of the scenario data 112, the iteration condition data 113, and the control code information 114 in order to apply function tests to a built-in program 131. - 特許庁

中継装置50は、2つの端末から送られるそれぞれの認証コードを受信し、認証コードが一致するかどうかを検証し、一致した場合に、2つの端末間のインターネット62(第1ネットワーク)上におけるデータ中継を行う。例文帳に追加

The repeater system 50 receives each authentication code to be transmitted from the two terminals, and verifies whether or not the authentication codes are matched, and when they are matched, the repeater system 50 performs data relay on the Internet 62 (first network) between two terminals. - 特許庁

印刷処理部130は、上記圧縮及びパターン化処理部120で生成したコードパターンを該当する帳票Paのイメージに貼り付けて(合成して)、帳票Paのイメージに非改竄性を検証するためのコードパターン(CP)を付加した帳票Pbを印刷出力する。例文帳に追加

Printing section 130 pastes (synthesizes) the code pattern generated at the section 120 to an image of the document Pa and prints out a document Pb added with a code pattern CP for identifying non-alteration to the image of the document Pa. - 特許庁

必須要素の確認もしてくれますし、javascript のコードも自動で生成してくれます。 また独自の関数や正規表現を使用して独自の検証を行えるという柔軟性もあります。例文帳に追加

It takes care of required elements, generates the javascript automatically and adds a lot of flexibility by allowing you to use your own validation functions and regular expressions.  - PEAR

その中には、案件のコードネームを使用することの徹底や、あるいはアクセスログ(いつ、誰が、当該情報にアクセスしたかの記録)の定期的な検証、これらの情報管理態勢を徹底するということ。例文帳に追加

Among the preventive measures were assurance of the use of code names in projects, periodic checks of access logs (checks on who have accessed particular data) and assurance that relevant information would be thoroughly managed.  - 金融庁

車車検証の住所コードまたは電話番号若しくは郵便番号からその地域の地図を表示することにより、商品の搬送または配達のエリアの把握を容易にする。例文帳に追加

To facilitate the transportation of commodities and the grasp of delivery area by displaying the map of the area from an address code, a telephone number or a zone code in an automobile inspection certificate. - 特許庁

所定の期間、イベントシーケンス、および/またはチャレンジセットのための所与の認証トークン出力に対応する検証コードが、ベリファイアにダウンロードされる。例文帳に追加

For a predetermined period, an event sequence and/or a verification record corresponding to a given authentication token output for a challenge set is downloaded to a verifier. - 特許庁

非同期回路設計言語で記述されたコードを同期回路設計用のハードウエア記述言語に変換することで、同期回路用の市販シミュレータで回路設計の機能検証を行うことが可能となる。例文帳に追加

Codes described in the asynchronous circuit design language are converted to the hardware description language for synchronous circuit design, whereby function verifications in circuit design can be performed by a simulator on the market for synchronous circuits. - 特許庁

スレーブサーバ30〜32は、マスタサーバ20より受信した受付履歴情報と、自身のデータベースの対応レコードの受付履歴情報との整合性を検証する。例文帳に追加

Each of the slave servers 30 to 32 verifies consistency between the receiving history information received from the master server 20 and the receiving history information of records corresponding to its own database. - 特許庁

イン・サーキット・エミュレータシステムにおいて、検証を行う毎にテストコードを配置したターゲットプログラムを生成する必要をなくすことができることを目的とする。例文帳に追加

To eliminate the need to generate a target program in which a test code is arranged every time verification is performed in an in-circuit emulator system. - 特許庁

例文

ソフトウェアプログラムコードとハードウェアが相互に作用するシステム全体のシミュレーションにおいて、高速かつ精度良くシミュレーションできるハードウェア/ソフトウェア協調検証方法を提供する。例文帳に追加

To provide a hardware/software cooperation verifying method capable of executing quick and accurate simulation in the simulation of the whole system in which a software program code and hardware can interact with each other. - 特許庁

索引トップ用語の索引



  
Copyright © Japan Patent office. All Rights Reserved.
  
Copyright(C) 2024 金融庁 All Rights Reserved.
  
この対訳コーパスは独立行政法人情報通信研究機構の研究成果であり、Creative Commons Attribution-Share Alike 3.0 Unportedでライセンスされています。
  
Copyright © 2001 - 2008 by the PEAR Documentation Group.
This material may be distributed only subject to the terms and conditions set forth in the Open Publication License, v1.0 or later (the latest version is presently available at http://www.opencontent.org/openpub/ ).
こんにちは ゲスト さん

ログイン

Weblio会員(無料)になると

会員登録のメリット検索履歴を保存できる!

会員登録のメリット語彙力診断の実施回数増加!

無料会員に登録する
英→日 日→英
こんにちは ゲスト さん

ログイン

Weblio会員(無料)になると

会員登録のメリット検索履歴を保存できる!

会員登録のメリット語彙力診断の実施回数増加!

無料会員に登録する

©2024 GRAS Group, Inc.RSS