「Software verification」を含む例文一覧(173)
1 2 3 4 次へ＞- SOFTWARE VERIFICATION SYSTEM
ソフトウェア検証システム - 特許庁 - SOFTWARE VERIFICATION DEVICE, SOFTWARE VERIFICATION METHOD AND SOFTWARE VERIFICATION PROGRAM
ソフトウェア検証装置、ソフトウェア検証方法およびソフトウェア検証プログラム - 特許庁 - VERIFICATION METHOD FOR SOFTWARE
ソフトウエアの検証方法 - 特許庁 - SOFTWARE VERIFICATION SUPPORT TOOL
ソフトウェア検証支援ツール - 特許庁 - AUTOMATIC SOFTWARE VERIFICATION SYSTEM
ソフトウェア自動検証システム - 特許庁 - SOFTWARE VERIFICATION SUPPORT DEVICE, SOFTWARE VERIFICATION SUPPORT METHOD, AND SOFTWARE VERIFICATION SUPPORT PROGRAM
ソフトウェア検証支援装置、ソフトウェア検証支援方法、およびソフトウェア検証支援プログラム - 特許庁 - SOFTWARE VERIFICATION SUPPORT DEVICE, SOFTWARE VERIFICATION SUPPORT METHOD, AND SOFTWARE VERIFICATION SUPPORT PROGRAM
ソフトウェア検証支援装置、ソフトウェア検証支援方法及びソフトウェア検証支援プログラム - 特許庁 - ACTUAL DEVICE VERIFICATION SYSTEM FOR SOFTWARE
ソフトウェアの実機検証方式 - 特許庁 - MICROCOMPUTER SOFTWARE OPERATION VERIFICATION SYSTEM
マイコンソフトウェア動作検証システム - 特許庁 - SOFTWARE VERIFICATION METHOD AND SOFTWARE VALIDATION MACHINE
ソフトウェア検証方法およびソフトウェア検証機 - 特許庁 - SOFTWARE VERIFICATION MODEL GENERATION METHOD
ソフトウェア検証モデル生成方法 - 特許庁 - INFORMATION PROCESSING DEVICE, SOFTWARE VERIFICATION METHOD, AND SOFTWARE VERIFICATION PROGRAM
情報処理装置、ソフトウェア検証方法及びソフトウェア検証プログラム - 特許庁 - HARDWARE/SOFTWARE CO-VERIFICATION SYSTEM
ハードウェア／ソフトウェア協調検証装置 - 特許庁 - HARDWARE/SOFTWARE COOPERATION VERIFICATION SYSTEM
ハードウェア／ソフトウェア協調検証システム - 特許庁 - SOFTWARE AND HARDWARE COOPERATION VERIFICATION SYSTEM
ソフトウェア・ハードウェア協調検証システム - 特許庁 - SOFTWARE VERIFICATION METHOD AND METHOD FOR FORMING VERIFICATION DATA
ソフトウェア検証方法および検証用データ作成方法 - 特許庁 - SOFTWARE VERIFICATION METHOD, SYSTEM AND PROGRAM
ソフトウェア検証方法、システム及びプログラム - 特許庁 - PROGRAM VERIFICATION DEVICE FOR MICROCOMPUTER SOFTWARE
マイクロコンピュータソフトウェアのプログラム検証装置 - 特許庁 - SOFTWARE BEHAVIOR MODELING DEVICE, SOFTWARE BEHAVIOR MODELING METHOD, SOFTWARE BEHAVIOR VERIFICATION DEVICE AND SOFTWARE BEHAVIOR VERIFICATION METHOD
ソフトウェア挙動モデル化装置、ソフトウェア挙動モデル化方法、ソフトウェア挙動検証装置及びソフトウェア挙動検証方法 - 特許庁 - SOFTWARE VERIFICATION SUPPORT PROGRAM, RECORDING MEDIUM FOR RECORDING ITS PROGRAM, SOFTWARE VERIFICATION SUPPORT DEVICE, AND SOFTWARE VERIFICATION SUPPORT METHOD
ソフトウェア検証支援プログラム、該プログラムを記録した記録媒体、ソフトウェア検証支援装置、およびソフトウェア検証支援方法 - 特許庁 - HARDWARE FUNCTION VERIFICATION METHOD BY SOFTWARE
ソフトウェアによるハードウェア機能検証方法 - 特許庁 - SOFTWARE VERIFICATION SYSTEM AND METHOD, AND PROGRAM
ソフトウェア検証システムと方法およびプログラム - 特許庁 - VERIFICATION METHOD FOR SOFTWARE, VERIFICATION PROGRAM FOR SOFTWARE, AND IMAGE FORMING DEVICE WITH THE SAME PROGRAM INCORPORATED
ソフトウェア検証方法、ソフトウェア検証プログラム、及び、該プログラムが組み込まれた画像形成装置 - 特許庁 - SOFTWARE UPDATE VERIFICATION APPARATUS, METHOD, AND PROGRAM
ソフトウェア更新検証装置、方法及びプログラム - 特許庁 - SOFTWARE DESIGN VERIFICATION DEVICE AND VERIFICATION PROGRAM AND VERIFICATION TARGET PROGRAM TO BE USED FOR THE SAME DEVICE
ソフトウェア設計検証装置ならびにそれに用いる検証プログラムおよび検証対象プログラム - 特許庁 - SOFTWARE VERIFICATION SUPPORT SYSTEM AND COMPUTER PROGRAM HAVING VERIFICATION SUPPORT FUNCTION
ソフトウエア検証支援システム、及び検証支援機能を有するコンピュータプログラム - 特許庁 - METHOD FOR GENERATING HARDWARE/SOFTWARE COOPERATIVE VERIFICATION DATA
ハードウェア／ソフトウェア協調検証データ生成方法 - 特許庁 - SOFTWARE OBJECT VERIFICATION METHOD FOR REAL-TIME SYSTEM
リアルタイムシステムのためのソフトウェアオブジェクト検証方法 - 特許庁 - SOFTWARE VERIFICATION METHOD, INFORMATION PROCESSOR AND PROGRAM
ソフトウェア検証方法、情報処理装置およびプログラム - 特許庁 - To attain both high-speed capability and debug functionality in cooperative verification of software and hardware.
高速性とデバッグの機能性を両立させる。 - 特許庁 - HIGH-RELIABILITY SOFTWARE FILE GENERATION SYSTEM AND SOFTWARE RELIABILITY VERIFICATION SYSTEM
高信頼性ソフトウェアファイル生成方式およびソフトウェア信頼性検証方式 - 特許庁 - To provide a software behavior modeling device, a software behavior modeling method, software behavior verification device and a software behavior verification method, in which a software behavior can be easily verified while maintaining the verification accuracy of software behavior.
ソフトウェアの挙動の検証精度を保ちながら、ソフトウェアの挙動を簡易に検証することを可能とするソフトウェア挙動モデル化装置、ソフトウェア挙動モデル化方法、ソフトウェア挙動検証装置及びソフトウェア挙動検証方法を提供する。 - 特許庁 - To make the verification of software effective and to shorten the time.
ソフトウエアの検証の効率化及び時間短縮を行う。 - 特許庁 - APPARATUS AND METHOD FOR SUPPORTING VERIFICATION OF SOFTWARE INTERNATIONALIZATION
ソフトウェアの国際化の検証を支援する装置及び方法 - 特許庁 - HARDWARE/SOFTWARE COLLABORATIVE VERIFICATION SYSTEM AND METHOD, AND PROGRAM
ハードウェア−ソフトウェア協調検証システム、方法、及びプログラム - 特許庁 - To provide a technique for specifying a verification range for appropriate partial verification of software.
ソフトウェアの部分検証を適正に行うための検証範囲を特定する技術を提供する。 - 特許庁 - To remotely execute verification from system verification of a system LSI to software debugging.
システムＬＳＩのシステム検証からソフトウェアデバッグまでの検証を遠隔地から実施できること。 - 特許庁 - The verification processing part 122 executes software verification processings in steps by every change of each software by successively changing software for modulation processing or software for demodulation processing.
検証処理部１２２は、変調処理用ソフトウェアまたは復調処理用ソフトウェアを順次変更させて、各ソフトウェアの変更毎にソフトウェア検証処理を段階的に実行する。 - 特許庁 - The received software verification job includes an indication of a portion of the software to be verified.
受信されたソフトウェアの検証のジョブは、検証されるべきソフトウェアの一部の指示を含む。 - 特許庁 - VERIFICATION SYSTEM FOR INPUT/OUTPUT INFORMATION AND STORAGE INFORMATION OF SOFTWARE
ソフトウェアの入出力情報及び保持情報の検証システム - 特許庁 - To provide a cooperation verification device, a cooperation verification method and a hardware/software cooperation verification program by which a period of time needed for a cooperation verification time is shortened.
協調検証時間を短縮する協調検証装置、協調検証方法、及びハードウェア・ソフトウェア協調検証プログラムを提供することにある。 - 特許庁 - To improve completeness of verification on software or hardware.
ソフトウェアまたはハードウェアにかかる検証の網羅性を向上させること。 - 特許庁 - To provide a software development environment with a design specification verification tool.
設計仕様検証ツール付きのソフトウェア開発環境を提供する。 - 特許庁 - To efficiently perform verification of control software which controls a device.
デバイスを制御する制御ソフトウェアの検証を効率よく行うこと。 - 特許庁 - The information processor confirms a verification scenario describing verification processing of software including a plurality of modules with a regulated mutual calling relation, a maximum verification scale showing the upper limit of verification scale to be processed by the verification scenario and a verification scale of each module, and then executes the verification scenario to a source module of verification in the software.
情報処理装置は、相互の呼出し関係が規定された複数のモジュールを含むソフトウェアの検証処理が記述された検証シナリオと、検証シナリオにより処理すべき検証規模の上限を表す最大検証規模と、各モジュールの検証規模とを認識した後、ソフトウェアにおける検証の起点モジュールに対し検証シナリオを実行する。 - 特許庁 - To provide a software design verification device for automatically verifying the consistency of software design sheets, and for reducing correction costs due to return and a verification program and a verification target program to be used for this software design verification device.
本発明は、ソフトウェア設計書間の整合性検証を自動的に行い、手戻りによる修正コストを低減することが可能なソフトウェア設計検証装置ならびにそれに用いる検証プログラムおよび検証対象プログラムを提供することを目的とする。 - 特許庁 - SOFTWARE VERIFICATION MODEL GENERATION DEVICE AND METHOD
ソフトウェア検証用モデル生成装置、及びソフトウェア検証用モデル生成方法 - 特許庁 - PERSONAL AUTHENTICATION SOFTWARE AND SYSTEM FOR TRAVEL PRIVILEGE ASSIGNMENT AND VERIFICATION
旅行特権割当ておよび検証用個人認証ソフトウェアおよびシステム - 特許庁 - A processor 14 and logic circuits (FPGA11 to 13) are mounted on a logical verification device 1 so that hardware verification and software verification can be cooperatively controlled.
プロセッサ１４と、論理回路（ＦＰＧＡ１１〜１３）を論理検証装置１に実装してハードウェア検証とソフトウェア検証を協調させた制御をおこなう。 - 特許庁 - To integrally execute the logical verification of an object of logical verification by cooperatively operating hardware and software, and to control the logical verification from a remote place.
ハードウェア及びソフトウェアを協調させて論理検証対象の論理検証を総合的におこなえ、この論理検証を遠隔地から制御できること。 - 特許庁
- 特許庁
- Copyright © Japan Patent office. All Rights Reserved.
