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

To provide a software development device and a method, allowing automatic generation of firmware, and automatic generation or verification of input/output data in time of simulation from a specification, in a software development, especially software development based on the specification.例文帳に追加

ソフトウェア開発に関し、特に仕様書をベースとしたソフトウェア開発において、該仕様書からシミュレーション時における入出力データの自動生成や検証及びファームウェアの自動生成を可能にするソフトウェア開発装置及び方法を提供する。 - 特許庁

A software-mounted function is generated as a software model 6 operated on a verification environmental platform (processor B), a hardware-mounted function is established as an RTL/RTC model 2 or an operation model higher in abstraction degree than it, and the performance verification is performed on the processor B.例文帳に追加

ソフトウェア実装される機能を、検証環境プラットフォーム（プロセッサＢ）上で動作するソフトウェアモデル６として生成し、ハードウェア実装される機能を、ＲＴＬ／ＲＴＣモデル２またはこれより抽象度の高い動作モデルとして、プロセッサＢ上で性能検証を行う。 - 特許庁

The microcomputer software operation verification system includes a means for obtaining contents of RAMs of virtual peripheral devices and visual images of the virtual peripheral devices and storing them as output data; a means for verifying the operating results of microcomputer software; and a means for outputting the verification results as an electronic file.例文帳に追加

マイコンソフトウェアの動作検証システムは、仮想周辺デバイスのＲＡＭ内容および仮想周辺機器の視覚的イメージを取得して出力データとして保存する手段と、マイコンソフトウェアの動作結果の検証を行う手段と、検証結果を電子ファイルとして出力する手段とを備える。 - 特許庁

A verification part 145 verifies whether the version number of the software mounted by the arrangement part 143 is included in the version number specified by the identification information received by the software receiving part 141.例文帳に追加

検証部１４５は、配置部１４３によって配置されたソフトウェアの版数が、ソフトウェア受信部１４１によって受信された識別情報によって特定される版数に含まれるか否かを検証する。 - 特許庁

To provide a verification device capable of easily checking a relation between a software state and a hardware state at each time of a digital system.例文帳に追加

デジタルシステムの各時刻におけるソフトウェアの状態とハードウェアの状態との関係を簡単にチェックすること出来る検証装置を提供する。 - 特許庁

SOFTWARE UPDATE VERIFICATION SYSTEM, PROGRAM FOR CREATING REPRODUCED STATE INFORMATION, PROGRAM FOR VERIFYING UPDATE, DEVICE FOR CREATING REPRODUCED STATE INFORMATION, AND DEVICE TO BE UPDATED例文帳に追加

ソフトウエア更新検証システム、再現状態情報作成プログラム、更新検証プログラム、再現状態情報作成器及び更新対象器 - 特許庁

To considerably shorten the design turn-around time by excluding feedback related to division to hardware and software in cooperative verification after coding.例文帳に追加

コーディング後の協調検証におけるハードウェア、ソフトウェアの切り分けに関するフィードバックループを排し、設計ターンアラウンドタイムの大幅な削減を行う。 - 特許庁

Finally, a report which contains each illegal application of the geometric dimensioning and tolerancing rule is generated by using the software verification tool.例文帳に追加

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

The termination path condition includes an indication of the last state reached during execution of a previous software verification job on the computing node.例文帳に追加

終了の経路の状態は、計算ノードでの前のソフトウェアの検証のジョブの実行の間に到達される最後の状態の指示を含む。 - 特許庁

To solve the problem wherein verification indices (C0/C1/C2) for software programs are insufficient as verification completion indices of logical simulation for hardware description language programs having a feature of concurrent operation of a plurality of components.例文帳に追加

複数の部品が同時に動作し合う特徴を有するハードウェア記述言語プログラムの論理シミュレーションの検証完了指標として、ソフトウェアプログラムの検証指標（Ｃ０／Ｃ１／Ｃ２）だけでは不十分である。 - 特許庁

To reduce the whole man-hours by making deliverable quality maintain at a constant level or more without depending upon a user's skill level to a PLM software group and performing cooperation control with another peripheral software group in design and verification business using a PLM software group.例文帳に追加

ＰＬＭソフトウェア群を用いた設計・検証業務において、成果物品質がユーザのＰＬＭソフトウェア群に対する習熟度に依存せず一定以上を保ち、また他周辺ソフトウェア群との連携制御を行い、全体工数を削減することを可能とする。 - 特許庁

When half-period transfer and one-period transfer of verification clock are included in one data path DP passed through a software macro area 10 and a hardware macro area 11, the attribute of the verification clock is defined in reverse phases between an input port A and an output port B as a condition for the verification clock to be applied at the boundary between the software macro area and the hardware macro area.例文帳に追加

ソフトマクロエリア１０とハードマクロエリア１１との間を経由する１つのデータパスＤＰに検証用クロックの半周期転送と１周期転送とが混在する場合に、ソフトマクロエリアとハードマクロエリアとの境界において適用する検証用クロックに対する条件として、入力ポートＡと出力ポートＢとの間で検証用クロックの属性を互いに逆相に定義する。 - 特許庁

To provide a picture constructing device for a monitoring control system which facilitate software production and operation verification on a man-machine side, can flexibly change actions of software and can quickly and safely product target picture application.例文帳に追加

マンマシン側のソフトウェア作成および動作検証を容易にし、柔軟にソフトウェアの振る舞いを変更可能として、迅速且つ安全に目的の画面アプリケーションを製作可能な監視制御システムの画面構成装置を得る。 - 特許庁

The dental oral cavity photographic digital camera or the dental oral cavity image control software assists the operator and certifies values of verification to realize improved operability.例文帳に追加

歯科口腔撮影用デジタルカメラまたは歯科口腔画像管理ソフトウェアにより術者支援、証明価値の認証を行い、操作性の向上を実現。 - 特許庁

To provide a design verification device capable of detecting inconsistency between the procedure between modules and the specification of a method regardless of an applicable software configuration.例文帳に追加

適用できるソフトウェア構成に関わらず、モジュール間の処理手順とメソッドの仕様との不整合を検出することができる設計検証装置を提供する。 - 特許庁

The dental oral cavity photographic digital camera or the dental oral cavity image control software assists the operator to confirm for verification and to enjoy improved handling.例文帳に追加

歯科口腔撮影用デジタルカメラまたは歯科口腔画像管理ソフトウェアにより術者支援、証明価値の認証を行い、操作性の向上を実現。 - 特許庁

To enables operation verification while maintaining the same operation condition with the actual operation of a microcomputer having a mask ROM inside during the development of software for the microcomputer.例文帳に追加

マスクＲＯＭを内蔵するマイコンのソフトウェア開発時において、当該マイコンの実動作時と同一の動作条件を保持しつつ動作検証を可能とする。 - 特許庁

To provide an evaluation system for improving verification accuracy of designing a facility control system and effectively conducting tests on software of the control system.例文帳に追加

設備制御システム設計の検証の精度を向上し、制御システムのソフトウェアのテストを効率よく行うことのできる評価用システムを提供すること - 特許庁

To change priorities of plural task groups at the time of an occurrence of an event activating a task, in verification of software by simulation.例文帳に追加

本発明の課題は、シミュレーションによるソフトウェア検証にて、タスク起動のイベント発生時に、複数のタスクグループの優先度変更を行うことを目的とする。 - 特許庁

At last, the function simulation result obtained by the verification is reflection on the simulation of a software simulator 100 by a function simulation result reflecting means 106.例文帳に追加

最後に、検証による機能シミュレーション結果を、機能シミュレーション結果反映手段１０６によりソフトウェア・シミュレータ１００のシミュレーションに反映させる。 - 特許庁

A logical verification part (40) verifies logical consistency of the software system while tracing the data transmission/reception relation between the system elements registered in the database (100).例文帳に追加

論理検証部（４０）は、データベースに登録されているシステム要素間のデータ授受関係を辿ってソフトウェアシステムの論理整合性を検証をする。 - 特許庁

To adapt verification of software to middleware having different program layers respectively on a higher level and lower level such as a panel operation control program of an image forming device.例文帳に追加

ソフトウェアの検証を、画像形成装置のパネル操作制御プログラムのような上位と下位にそれぞれ別のプログラムの層を持つミドルウェアに適するようにする。 - 特許庁

To provide a program verification device for verifying a program under the consideration of manifestation even when it is determined that determination is impossible or when upper approximation or lower approximation is detected in case of program verification using software model inspection.例文帳に追加

ソフトウェアモデル検査を用いたプログラム検証において、判定不能と判断した場合や過大近似、過小近似である場合にも、表明に照らしてプログラムを検証することができるプログラム検証装置を提供する。 - 特許庁

The technique includes determining an initialization path condition of a received software verification job, determining a termination path condition of a computing node, and initializing execution of the received software verification job on the computing node based on the initialization path condition and the termination path condition.例文帳に追加

本発明の方法は、受信されたソフトウェアの検証のジョブの初期化の経路の状態を決定するステップ、計算ノードの終了の経路の状態を決定するステップ、及び初期化の経路の状態と終了の経路の状態とに基づいて計算ノードでの受信されたソフトウェアの検証のジョブの実行を初期化するステップを含む。 - 特許庁

The transfer of the verification/test pattern of the DUT (external computer→FPGA for control→pattern storage memory), the transfer of the verification/test control data of the DUT (external computer→FPGA for control), and the transfer of the verification/test result (result storage memory→FPGA for control→external computer) are instructed by software for control through a microcomputer.例文帳に追加

ＤＵＴの検証／テストパターンの転送（外部コンピュータ→制御用ＦＰＧＡ→パターン格納メモリ）と、ＤＵＴの検証／テスト制御データの転送（外部コンピュータ→制御用ＦＰＧＡ）と、検証／テスト結果の転送（結果格納メモリ→制御用ＦＰＧＡ→外部コンピュータ）は、共にマイコンを介して制御用ソフトウェアによって指示される。 - 特許庁

To efficiently operate the debug of software and the verification of a peripheral circuit while making the reduction of a necessary storage capacity and high speed and accurate simulation compatible in software to be performed by a processor on a logic circuit.例文帳に追加

論理回路上のプロセッサで実行されるソフトウェアについて、必要な記憶容量の削減と高速かつ正確なシミュレーションとの双方を両立させながら、ソフトウェアのデバッグおよび周辺回路の検証を効率的に行なう。 - 特許庁

This hardware/software cooperation verification system has: a system simulator 1 provided with an A circuit operation model 3 wherein operation of an A circuit is described by C language or the like; and a hardware emulator 2 provided with a logic circuit 4 for the A circuit, and implementing cooperation verification in synchronization with the system simulator 1.例文帳に追加

Ａ回路の動作をＣ言語等で記述したＡ回路動作モデル３が設けられたシステムシミュレータ１と、Ａ回路の論理回路４が設けられ、システムシミュレータ１と同期して協調検証が行われるハードウェアエミュレータ２とを有する。 - 特許庁

The cooperation verification device 10 is provided with: an arithmetic unit 101 for operating simulation by making hardware and software cooperate with each other; and a storage device 103.例文帳に追加

本発明による協調検証装置１０は、ハードウェアとソフトウェアとを協調させてシミュレーションを行なう演算装置１０１と、記憶装置１０３とを具備する。 - 特許庁

To provide a technique for efficiently finding out a failure occurrence condition in verification of a black box of a logic system comprising hardware and software.例文帳に追加

本発明は、ハードウェアおよびソフトウエアにより構成される論理システムのブラックボックス検証において、障害発生条件を効率的に見つける技術を提供する。 - 特許庁

To provide an automatic software verification system for reducing man-hours required to create a regression test program necessary during development as a whole.例文帳に追加

製品全体として開発時に必要とされるリグレッションテストプログラム作成に要する工数を低減できるソフトウェア自動検証システムを提供することを目的とする。 - 特許庁

To accelerate the CPU switching of a high-speed and good debugging hardware/software co-verification system.例文帳に追加

高速かつデバッグ性の良いハードウェア／ソフトウェア強調検証装置におけるＣＰＵ切り替え時間を高速化するハードウェア／ソフトウェア協調検証装置と方法を提供する。 - 特許庁

Route comparison software 33 compares cheapest route information obtained by the actual equipment simulator 31 with cheapest route information obtained by the verification simulator 32, and outputs the comparison result.例文帳に追加

経路比較ソフト３３は、実機シミュレータ３１で得られた最安経路情報と、検証シミュレータ３２で得られた最安経路情報とを比較し、その比較結果を出力する。 - 特許庁

To provide an accelerating method for logic verification capable of avoiding the repetition of unwanted simulation without manually preparing a simulation vector or software again.例文帳に追加

人手によるシミュレーションベクトルの作直しやソフトウェアの作直しを必要とせずに、不要なシミュレーションの繰返しを避けることが可能な論理検証の高速化手法を提供する。 - 特許庁

To verify software without performing specification of a partial verification range or setting of a condition to be satisfied between modules having call relation.例文帳に追加

部分検証範囲の特定や、呼び出し関係があるモジュール間で満たすべき条件の設定を行うことなくソフトウェアの検証を行うことができるようにする。 - 特許庁

To reduce the man-hours and required time of logic analysis, verification, etc., in logic simulation to be executed by cooperating a logic circuit model and a software model with each other.例文帳に追加

論理回路モデルとソフトウェアモデルを協調させて実行する論理シミュレーションでの論理解析や検証等の工数および所要時間の削減を実現する。 - 特許庁

To support verification of consistency of a function mounted in software and an expected function based on design information, and to allow visual grasp of a test result.例文帳に追加

ソフトウェアに実装されている機能と設計情報に基づく期待される機能との整合性の検証を支援し、試験結果の視覚的な把握を可能にする。 - 特許庁

To provide an yearly information processing verification method and a semiconductor capable of checking the normal operation of software or the like, when yearly setting information is changed.例文帳に追加

年設定情報の変更を行なった場合にソフトウェア等が正常に稼動することを確認することができる年情報処理検証方法および半導体装置を提供する。 - 特許庁

This case involves downloading verification software over the Web into the Web browser of a client for the purpose of performing checks to verify the integrity and security of the client's device or system.例文帳に追加

本発明は、クライアント装置又はシステムの完全性及びセキュリティを検証するためのチェックを行う目的でウェブを経てクライアントのウェブブラウザへ検証ソフトウェアをダウンロードすることを含む。 - 特許庁

To provide a design support program and method capable of effectively performing verification of operation of conveyance mechanism control software at an abnormal time such as jam occurrence etc.例文帳に追加

ジャム発生等の異常時における搬送機構制御ソフトウェアの動作検証を効率良く行うことができる設計支援プログラム及び設計支援方法を提供すること。 - 特許庁

To automatically generate "verification characteristics" for model inspection from design information of software, and to automatically add time constraint applied to the design information to the verification characteristics, and to prepare a data transmission/reception sequence and time constraint without being aware of the degree of abstraction (hierarchy).例文帳に追加

ソフトウエアの設計情報からモデル検査用の「検証用性質」を自動生成し、設計情報に付与された時間制約を自動で検証用性質に追加し、抽象度(階層)を意識する必要なく、データ送受信シーケンス及び時間制約を用意できるようにする。 - 特許庁

In the dynamic detecting method for detecting the illegal memory access and memory leakage of the software system, the method verifies the operation of the software system in advance and uses the operation verification result to divide and inspect investigation objects of the memory access and memory leakage.例文帳に追加

ソフトウェアシステムの不正なメモリアクセス及びメモリリークを検出するための動的な検出方法において、前記ソフトウェアシステムの動作検証を事前に行い、前記動作検証結果を利用してメモリアクセス及びメモリリークの調査対象を分割して検査するソフトウェア試験方法である。 - 特許庁

The server device 10 verifies the signature result, and when the verification is successful, encrypts an installation key for permitting the execution of the installation of software with a user public key, and transmits it to the user terminal 20.例文帳に追加

サーバ装置１０は、署名結果の検証を行い、正しく検証ができた場合は、ソフトウェアのインストールの実行を許可するインストールキーをユーザ公開鍵で暗号化し、ユーザ端末２０へ送信する。 - 特許庁

To provide a verification system for shortening time required to construct a hardware configuration such as taking out and putting in of a memory and external storage equipment in actual device verification for software of which the operation varies in accordance with a hardware configuration such as a memory capacity and a connection situation of other peripheral equipment and with settings of a basic input/output system.例文帳に追加

メモリ容量や他の周辺機器の接続状況等のハードウェア構成、基本入出力システムの設定によって動作が変化するソフトウェアの実機検証において、メモリや外部記憶機器の抜き差しなどのハードウェア構成の構築に掛かる時間を短縮できる検証方式を提供する。 - 特許庁

In a step S2, aiming at a communication verification test of the radio communication terminal applying a software radio technique, verification tests for both radio communication performance of the radio communication terminal and communication protocol stack operation are performed through a radio channel assigned in other than a real network, using an automatic analysis system of a terminal monitor.例文帳に追加

ステップＳ２では、ソフトウェア無線技術を適用した無線通信端末の通信検証用試験のために、実網とは別に割り当てられた無線チャネルによって、端末モニタ・自動解析システムを用いて、無線通信端末の無線通信性能及び通信プロトコルスタック動作の検証試験を実施する。 - 特許庁

To make it possible to easily execute the storage/verification of data loaded from an external device at the activation of a program by software processing any time required during the operation of the program and to easily specify a troubled position therefore.例文帳に追加

起動時に外部装置からローディングしたデータの保持検証を、稼働時にソフトウェア処理でいつでも必要なときに容易に行うことを可能とし、これによって不具合箇所の特定を容易に行うことができる。 - 特許庁