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

To provide a logic verification system for a system LSI in which a software used as a device driver and/or check program is used to perform co-verification.例文帳に追加

デバイスドライバやチェックプロとして使用するソフトウェアを、システムＬＳＩの論理検証に使用して、コ・ベリフィケーションを行う。 - 特許庁

To reduce a verifier's labor, to shorten a development period and to attain the high accuracy of verification simultaneously in software verification.例文帳に追加

ソフトウェアの検証において、検証者の労力軽減、開発期間の短縮化、検証の高精度化を同時に図ること。 - 特許庁

After verification, a storage part 103 for a user system is returned to a state before the application of the software update data regardless of the verification result, and the software update data are newly applied only when there is no problem on the verification result.例文帳に追加

検証後、検証結果に関わらずユーザシステム用記憶部１０３をソフトウェア更新データ適用前の状態に戻し、検証結果に問題がなかった場合だけあらためてソフトウェア更新データを適用する。 - 特許庁

An entitlement-verification function applies the registered verification rule of the services needing the entitlement-verification to, for example, account information retrieved from account management software of a vendor.例文帳に追加

資格検証機能は、資格検証を必要とするサービスの登録された検証ルールを、例えば、ベンダのアカウント管理ソフトウェアから検索されたアカウント情報に適用する。 - 特許庁

In this method for generating verification data for performing the cooperative verification of hardware/software, a function label and verification data corresponding to the operation of each task of software or the operation of each condition are made correspond to each other, and the software is subdivided as plural functions.例文帳に追加

ハードウェア／ソフトウェアを協調検証するための検証データを生成する方法は、ソフトウェアのタスク毎の動作あるいは条件毎の動作に対応した機能ラベルと検証データとの対応付けを行い、ソフトウェアを複数の機能として細分化する。 - 特許庁

To provide a method and a system with which the test or verification of the software module can be supported.例文帳に追加

ソフトウェアモジュールのテスト又は検証を支援し得る方法及びシステムを提供する。 - 特許庁

The computing node is assigned to execute the received software verification job.例文帳に追加

計算ノードは、受信されたソフトウェアの検証のジョブを実行するために割り当てられる。 - 特許庁

To conveniently execute operation verification by software to be integrated in a control device.例文帳に追加

制御装置に組み込むソフトウエアによる動作検証を利便性よく実行することである。 - 特許庁

At this time, verification object software is executed by the CPU core 12 of the emulator 10.例文帳に追加

このとき、検証対象ソフトウェアは、エミュレータ１０のＣＰＵコア１２が実行している。 - 特許庁

ELECTRONIC SOFTWARE DESIGN SPECIFICATION DOCUMENT VERIFICATION METHOD AND DEVICE, AND COMPUTER-READABLE MEDIUM例文帳に追加

電子ソフトウェア設計仕様文書検証方法及び装置、並びにコンピュータ可読媒体 - 特許庁

To provide a software verification support tool allowing lump-sum collection of information effective in verification of operation of software such as verification of normal operation, investigation of failure cause, or a grasp of an operation environment of the software by instructions of a program or one-touch operation.例文帳に追加

ソフトウェアの動作環境の把握，障害原因の追求，正常動作の検証など、ソフトウェアの動作の検証をする上で有効な情報を１タッチの操作若しくはプログラムの指令で一括して収集することが可能なソフトウェア検証支援ツールを提供する。 - 特許庁

To provide a storage medium for automatic printer operation verification software to be provided to printer makers and software users by a providing company of business form print software, and a printer operation verification method by printer control file using it.例文帳に追加

帳票印刷ソフトウェアの提供企業が、プリンタのメーカ及びソフトウェアの利用者に提供する自動プリンタ動作検証ソフトウェアの記録媒体と、それを用いたプリンタ制御ファイルによるプリンタ動作検証方法を提供する。 - 特許庁

To provide a design support apparatus which can efficiently perform verification of conveyance mechanism control software, namely, verification of conveyance control of a carrier, without any omission of verification by a designer.例文帳に追加

搬送機構制御ソフトウェアの検証、即ち、搬送体の搬送制御の検証を設計者の検証漏れ無く効率良く行うことを可能とした設計支援装置を提供する。 - 特許庁

While software is executed as a verification program, the behavior model of a peripheral device is started.例文帳に追加

ソフトウエアを検証プログラムとして実行すると共に、周辺デバイスのビヘイビュアモデルが起動する機構。 - 特許庁

A termination part 146 forcibly terminates operation of the software by the CPU 131 based on a verification result by the verification part 145.例文帳に追加

終了部１４６は、検証部１４５による検証結果に基づいてＣＰＵ１３１によるソフトウェアの実行を強制的に終了させる。 - 特許庁

To realize a verification supporting system in which a coordinative verification between a hardware and a software is made possible while effectively using a high speed property of an FPGA(Field Programmable Gate Array) emulator.例文帳に追加

ＦＰＧＡエミュレータの高速性を生かしながら、ハードウェアとソフトウェアの協調検証を可能にした検証支援システムを実現する。 - 特許庁

To provide a simulation device capable of shortening a verification time on a software level for a verification objective circuit described by an HDL.例文帳に追加

ＨＤＬで記述された検証対象回路のソフトウェアレベルでの検証処理時間を短縮することができるシミュレーション装置を提供する。 - 特許庁

This equipment is provided with a modulation processing part 120 to execute modulation and demodulation processings by replaceable software, a demodulation processing part 121 and a verification processing part 122 to execute a software verification processing.例文帳に追加

本装置は、入れ替え可能なソフトウェアにより変復調処理を実行する変調処理部１２０、復調処理部１２１及びソフトウェア検証処理を実行する検証処理部１２２を有する。 - 特許庁

The management station 1 verifies the presence/absence of falsification of the download software program on the basis of a result of the verification.例文帳に追加

管理局１は、その検証結果に基づいてダウンロードソフトウェアの改竄の有無を検証する。 - 特許庁

A verification system of software, having a correspondence of data to a verification program for skipping recognition processing of hardware for each verification item as a database and executing the verification program on a necessary hardware configuration by using the information of the database, is provided.例文帳に追加

検証項目毎にハードウェアの認識処理をスキップさせるためのデータと検証プログラムの対応をデータベースとして持ち、それらの情報を用いて、検証プログラムを必要なハードウェア構成で実行するソフトウェアの検証方式を提供する。 - 特許庁

To provide a verification device of a control microcomputer which provides an advanced verification technique of control software, especially a technique for assertion based verification, and ensures higher verification efficiency than before and to provide an onboard control device.例文帳に追加

制御ソフトウェアの高度な検証技術、特にアサーションベース検証を提供するためになされたものであり、従来に比して検証効率を向上させた制御用マイクロコンピュータの検証装置および車載用制御装置を提供する。 - 特許庁

To provide a support system for development test of information system capable of easily detecting a failure on software configuration and easily performing development verification of software.例文帳に追加

ソフトウェア構成上の不具合を容易に検出でき、ソフトウェアの開発検証を容易に行うことのできる情報システム開発試験支援システムを得る。 - 特許庁

To provide a software verification method capable of verifying software without changing a parameter value related to resource size when operation verification is performed by another machine in a parameter group for determining the operation of a program.例文帳に追加

プログラムの動作を決定するパラメタ群において、他マシンで動作検証を行う場合、資源のサイズに関するパラメタ値を変更することなく、ソフトウェアの検証を行うことができるソフトウェア検証方法を提供する。 - 特許庁

The software distribution management system is further provided with a distribution result verification functioning part 14 for verifying the distributed software, and is configured to specify the version, and to register the distribution history by using software registered even in the computer to which the software has not been distributed, and by verifying its matching circumstances with the verification origin file.例文帳に追加

更に、配布したソフトウェアを検証する配布結果検証機能部１４を備え、ソフトウェアの配布を行わなかったコンピュータに対しても、当該コンピュータに登録されているソフトウェアを用いて、検証元ファイルとの一致状況を検証することで、バージョンを特定し、配布履歴を登録できるようにした。 - 特許庁

To provide a semiconductor device, capable of performing verification of error processing operation of system software by a CPU without using special software of error generation software for operating an error generation circuit.例文帳に追加

エラー発生回路を動作させるためのエラー発生ソフトウエアという特段のソフトウエアを用いなくとも、ＣＰＵによるシステムソフトウエアのエラー処理動作検証を可能とした半導体装置を提供する。 - 特許庁

To provide a digital filter inspection device which raises adjustment of software verification and hardware verification of a digital filter, makes easy discovery of performance degradation caused by quantization error, overflow or the like, and reduces cost for the verification.例文帳に追加

デジタルフィルタのソフトウエア検証とハードウエア検証の整合性を高め、量子化誤差やオーバフローなどによる性能劣化の発見を容易にしかつ検証にかかるコストを削減するデジタルフィルタ検査装置を提供する。 - 特許庁

To provide a verification environment in which a software component 8 and a hardware component 10 are jointly verified.例文帳に追加

ソフトウェア構成要素８およびハードウェア構成要素１０を共同検証する検証環境が提供される。 - 特許庁

Each illegal application of the geometric dimensioning and tolerancing rule is indicated by using the software verification tool.例文帳に追加

ソフトウェア検証ツールを用いて、幾何寸法表示規則及び公差表示規則の各不正な適用が示される。 - 特許庁

According to this, it is possible to realize advanced network verification with software without needing expensive hardware.例文帳に追加

これによれば、高価なハードウエアを必要とすることなくソフトウエアで高度なネットワーク検証を実現することができる。 - 特許庁

To obtain a state transition verification apparatus for detecting state transition that a software designer has not studied yet.例文帳に追加

ソフトウェアの設計者が検討していない状態遷移を検出する状態遷移検証装置を得ること。 - 特許庁

To provide a hardware/software cooperation verification system verifying logic equivalence under the same environment.例文帳に追加

論理等価性を同一環境で検証することができるハードウェア／ソフトウェア協調検証システムを提供する。 - 特許庁

The control terminal side issues a terminal software request including the terminal specifications and the user verification/identification information.例文帳に追加

操作端末側からは、端末の仕様やユーザの認証・識別情報を含んだ端末ソフトウェア要求を発する。 - 特許庁

To improve the verification precision of AV control software without using an analysis module such as a decoder.例文帳に追加

デコーダなどの解析モジュールを使用しなくても、ＡＶ制御ソフトウェアの検証精度を上げられるようにする。 - 特許庁

The software verification is executed by verifying the operating state when the processor 14 is operated by loading a program for logical verification to the processor 14, by using an in-circuit emulator 25 and a debugger.例文帳に追加

ソフトウェア検証は、プロセッサ１４に対し論理検証用のプログラムをロードして動作させたときの動作状態をインサーキットエミュレータ２５及びデバッガを用いて検証する。 - 特許庁

To provide a circuit verification device, a circuit verification program and a circuit verification method capable of increasing the probability of shifting of a storage circuit such as a queue circuit to a saturated state without changing the logic of a circuit and shortening the time of circuit verification in the circuit verification by software.例文帳に追加

ソフトウェアによる回路検証において、回路の論理を変えずにキュー回路等の蓄積回路が飽和状態に遷移する確率を増加させると共に、回路検証の時間を短縮することができる回路検証装置、回路検証プログラム、回路検証方法を提供することを目的とする。 - 特許庁

By the automatic printer operation verification software to be provided to the maker of a printer and users of the printer and the storage medium recording it, PDL verification data and an automatic verification program capable of efficiently performing verification of many verification items by necessary minimum tests in a short operation verification time, compared with in the past in development of a new model printer are provided.例文帳に追加

プリンタメーカ及びそのプリンタ利用者に提供する自動プリンタ動作検証ソフトウェア及びそれを記録した記録媒体により、新機種プリンタの開発の際に、必要とする最小のテストにより、従来に比べて少ない動作検証時間で多くの検証項目を効率的に行うことができるＰＤＬ検証データと自動検証プログラムを備える。 - 特許庁

The tampering verification part prohibits generation of key by the key generating part if it is determined that the software has been tampered.例文帳に追加

改ざん検証部は、ソフトウェアが改ざんされていると判断した場合、鍵生成部による鍵の生成を禁止する。 - 特許庁

To enable the verification of whether a test of software to be tested is executed under a right environment or not after the test.例文帳に追加

テスト対象のソフトウェアのテストが正しい環境下で実施されたのかをテスト後に検証する可能にすること。 - 特許庁

To generate a data set capable of performing an after-the-fact verification using software application to be executed on a data processing system.例文帳に追加

データ処理システム上で実行するソフトウェアアプリケーションを用いて、事後検証可能なデータセットの作成を実現する。 - 特許庁

A software maker 2, by adding a DLL function to ordinary software, creates software applicable to ASP that has functions of license verification, the provision of usage status information and the like in addition to a function for connecting to the Internet 4.例文帳に追加

ソフトウェア・メーカ２は、一般のソフトにＤＬＬ関数を追加することで、インターネット４への接続機能に加え、ライセンス検証、利用状況情報提供等の機能を有するＡＳＰ対応ソフトを作成する。 - 特許庁

The key generating apparatus includes a software storing part which stores software and software certificate information, a key generating part which generates a key using the software certificate information, an encoding/decoding part which encodes or decodes the information to be protected using the key, and a tampering verification part which verifies whether software has been tampered or not using the software certificate information.例文帳に追加

鍵生成装置は、ソフトウェア及びソフトウェア証明情報を記憶するソフトウェア記憶部と、ソフトウェア証明情報を用いて鍵を生成する鍵生成部と、鍵を用いて保護対象情報を暗号化又は復号する暗号復号部と、ソフトウェア証明情報を用いてソフトウェアの改ざんの有無を検証する改ざん検証部とを備える。 - 特許庁

To provide a device and method for coverage verification which can perform accurate and efficient short-time verification even in a software-like description such as a 'repetitive sentence'.例文帳に追加

「繰り返し文」などのソフトウェア的な記述の中をも正確に短時間にかつ効率良く検証することができるカバレッジ検証装置と検証方法を提供することを課題とする。 - 特許庁

To provide a development automation system of software development environments, which can shorten the time for processor verification by improving program readability, thereby facilitating the algorithm verification of a program.例文帳に追加

プログラムの可読性が向上し、それにより、プログラムのアルゴリズム検証を容易とし、プロセッサ検証のための時間を短縮できるソフトウェア開発環境開発自動化システムを提供する。 - 特許庁

An execution sequence verification means verifies the execution sequence of the software in the mobile terminal, based on the request signal.例文帳に追加

実行順序検証手段は、要求信号に基づいて、携帯端末におけるソフトウェアの実行順序を検証する。 - 特許庁

The legality of the applied geometric dimensioning and tolerancing rule is then verified with a software verification tool.例文帳に追加

そして、ソフトウェア検証ツールを用いて、適用された幾何寸法表示規則及び公差表示規則の正当性が検証される。 - 特許庁