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

To provide a content distributed storage system, capable of ensuring an appropriate number of replicas in a system, even when a node device storing replicas of contents with high evaluation values is withdrawn from the system, and to provide an information delivery method, a delivery device and a delivery processing program.例文帳に追加

高い評価値が付与されたコンテンツのレプリカを保存しているノード装置がシステムから脱退してしまった場合であっても、適切な数のレプリカを当該システム内に事前確保することを可能としたコンテンツ分散保存システム、情報配信方法、配信装置、及び配信処理プログラムを提供する。 - 特許庁

To provide an information processing apparatus and method, and a program, which are capable of suitably deleting information, which is related to an operation environment etc. personalized in a certain device and has been treated and left in the other devices, from the other devices, and are improved in operability and security.例文帳に追加

ある装置でパーソナライズされた操作環境等の情報を他の装置で取り扱った後に他の装置内に残った情報を好適に削除することができ、操作性の向上及びセキュリティ強化を図ることができる情報処理装置及び情報処理方法並びにプログラムを提供する。 - 特許庁

To provide an image processor capable of performing a proxy reception function and a relay multi-address function without increasing the image memory of the image processor even though the data amount of received image data is large and to provide image processing method and program for the image processor.例文帳に追加

受信画像データのデータ量が多くても、画像処理装置の画像メモリを増大させずに、代行受信機能、中継同報機能を発揮させることができる画像処理装置、画像処理装置の画像処理方法およびプログラムを提供することを目的とするものである。 - 特許庁

When on-operation is performed in the off-state of an ignition switch 18, a processor 11 makes high the clock frequency of a clock signal outputted by a clock generation part 12 and makes low the clock frequency after the finishing processing of the control program 51 executed in the off-state is completed.例文帳に追加

イグニッションスイッチ１８のオフ状態でオン操作がなされた場合、プロセッサ１１はクロック生成部１２が出力するクロック信号のクロック周波数を高め、オフ状態で実行される制御プログラム５１の終了処理が完了した後にクロック周波数を低減する。 - 特許庁

The game control means mounted on a main board executes a security check program and a software delay processing in response to the input of a reset signal, transmits a putout start command to a putout control board, and confirms a detection signal of a clear switch for clearing the contents of backup RAM.例文帳に追加

主基板に搭載されている遊技制御手段は、リセット信号の入力に応じて、セキュリティチェックプログラムおよびソフトウェア遅延処理を実行したら、払出制御基板に対して払出起動コマンドを送信した後、バックアップＲＡＭの内容をクリアするためのクリアスイッチの検出信号を確認する。 - 特許庁

To record and reproduce a TS (transport stream) to/from a recording medium as it is by shifting a recording and reproduction system from the conventional PS (program stream) system to a TS system and to enable dubbing between the TS system and the PS system by performing TS/PS conversion processing.例文帳に追加

記録再生システムを従来のＰＳ系からＴＳ系へ移行することにより、ＴＳをそのまま記録媒体に記録再生することが可能であり、また、ＴＳ／ＰＳ変換処理を施すことによりＴＳ系とＰＳ系システムとの間でのダビングも可能である。 - 特許庁

To provide a node device, a node processing program, and a content data storage method for determining whether or not there exists any free capacity in a cache of another node device, and for improving the use efficiency of the cache as a whole peer-to-peer type communication system.例文帳に追加

本発明の目的は、他のノード装置のキャッシュに空き容量があるかを判断して、ピアツーピア型の通信システム全体としてキャッシュの使用効率を向上させるノード装置、ノード処理プログラム、及びコンテンツデータ保存方法を提供することを提供することである。 - 特許庁

To provide an image forming apparatus provided with a page number information adding means and a page rearranging means without the risk of breakage due to fixation and without damaging the degree of freedom of document preparation by a user, an image processing method, a program for making a computer execute the method, and a recording medium.例文帳に追加

定着による破損の危険が無く、又ユーザの文書作成の自由度を損なわないページ番号情報付加手段及びページ並べ替え手段を備えた画像形成装置、画像処理方法、その方法をコンピュータに実行させるプログラム、および記録媒体を提供する。 - 特許庁

A biometric information processing program causes a computer to execute an image capturing step for capturing an image of a biometric object using light reflected from the biometric object, and an extracting step for extracting a frequency component having a frequency higher than a predetermined spatial frequency from the biometric image captured in the image capturing step.例文帳に追加

生体情報処理プログラムは、コンピュータに、生体からの反射光を用いて生体の画像を撮影する撮影ステップと、撮影ステップにおいて撮影された生体画像から、所定の空間周波数よりも高い周波数成分を抽出する抽出ステップと、を実行させる。 - 特許庁

Interface circuits 131a and 132a for direct input and an interface circuit 134a for direct output are connected to the data bus 118 of a microprocessor 111 having a non-volatile memory 112 in which a control program or the like is stored and an RAM memory 113 for arithmetic processing.例文帳に追加

制御プログラム等が格納された不揮発メモリ１１２と演算処理用ＲＡＭメモリ１１３を有するマイクロプロセッサ１１１のデ−タバス１１８には、直接入力用インタフェ−ス回路１３１ａ、１３２ａ、直接出力用インタフェ−ス回路１３４ａが接続される。 - 特許庁

The compiler 103 automatically generates the communication processing of the signal to be transferred between the plurality of programmable controllers 2 and converts the program 101 described in the editor 102 into an execution module 104 in a form which can be executed by each of the plurality of programmable controllers 2.例文帳に追加

コンパイラ１０３は、複数のプログラマブルコントローラ２の間で授受される信号の通信処理を自動生成するとともに、エディタ１０２に記述されたプログラム１０１を複数のプログラマブルコントローラ２の各々で実行可能な形式である実行モジュール１０４に変換する。 - 特許庁

The input coordinate processing program displays an acquired display image in a 1st LCD 11 when an operating direction indicated by a series of coordinate information acquired by coordinate input operation indicates upward direction toward the position of the 1st LCD 11 from the position of the 2nd LCD 12.例文帳に追加

入力座標処理プログラムは、座標入力操作によって得られた一連の座標情報が示す操作方向が第２のＬＣＤ１２の位置から第１のＬＣＤ１１の位置へ向かう上方向を示しているとき、取得した表示画像をその第１のＬＣＤ１１に表示する。 - 特許庁

To provide a vehicle mounted information apparatus which easily selects a music using a correlation between the pathway of navigation and the music reproduced during running the pathway, a creation method for pathway music information data base, a retrieval method for music information, an information processing method and a computer program.例文帳に追加

ナビゲーションの経路と、その経路の走行中に再生された楽曲との関連付けを用いて楽曲を容易に選択する車載情報機器、経路楽曲情報データベース作成方法、楽曲情報検索方法、情報処理方法及びコンピュータプログラムを提供する。 - 特許庁

To provide a data processing apparatus which can determine the priority for each storage destination and display information and show the respective storage destinations, when displaying the information for selecting the storage destination for storing the input data, and to provide its control method, program, and storage medium.例文帳に追加

入力されたデータを保存する保存先を選択するための情報を表示する場合に、各保存先の優先度を決定し、決定した優先度に基づいて、それぞれの保存先を示す情報を表示することができるデータ処理装置及びその制御方法、プログラム、記憶媒体を提供する。 - 特許庁

To provide an engineering tool having a connection monitoring function, which can efficiently detect disconnection of a cable and reconnection to the other control device without frequently performing monitoring processing of the connecting state with a control device, and a connection monitoring method and a program therefor.例文帳に追加

制御装置との接続状態の監視処理を頻繁に行わずにケーブルの接続断線と他の制御装置へのつなぎ換えが行われたことを効率よく検出できる接続監視機能を有するエンジニアリングツールとその接続監視方法及びプログラムを提供する。 - 特許庁

To provide a display mode setting system, a display mode setting device, a display mode setting method and a display mode setting processing program by which a display mode such as angle or lighting is directly instructed without requiring a user such as an instructor to visit an image production site, etc.例文帳に追加

指示者等のユーザが画像製作現場等に赴かなくても、アングルやライティング等といった表示態様を直接的に指示することを可能とする表示態様設定システム、表示態様設定装置、表示態様設定方法及び表示態様設定処理プログラムを提供する。 - 特許庁

To provide a multi-cycle path detection device, a multi-cycle path detection method, and a multi-cycle path detection program which shorten a time required for logic synthesis and layout processing by detecting automatically a multi-cycle path with high accuracy, and by submitting it to multi-cycle path designation.例文帳に追加

この発明は、マルチサイクルパスを高い確度で自動検出してマルチサイクルパス指定に供させることにより、論理合成やレイアウト処理に要する時間を短縮させるようにしたマルチサイクルパス検出装置、マルチサイクルパス検出方法及びマルチサイクルパス検出プログラムを提供することを目的としている。 - 特許庁

The image processing method, apparatus and program are characterized by converting a color image including a plurality of color components into a monochromatic image by repeating, over all pixels of the color image, the step of selecting a minimum value of each of the color components as a gradation value for each pixel for the color image.例文帳に追加

複数の色成分を有するカラー画像に対して、各画素毎に、各色成分の最小値を階調値として選択する工程を、前記カラー画像の全画素に渡って繰り返し、前記カラー画像を単色画像に変換することを特徴とする画像処理方法、装置、およびプログラム。 - 特許庁

A processing program describing display control contents for every image display mode is formed into a module as an element module and only command data specifying the element module are transmitted from a transmitting side control part (the main control part, for example) to a receiving side control part (a special pattern control part, for example).例文帳に追加

画像表示態様毎の表示制御内容を記述した処理プログラムが要素モジュールとしてモジュール化され、送信側制御部（例えば主制御部）側から受信側制御部（例えば特別図柄制御部）へは、その要素モジュールを特定するコマンドデータのみが送信される。 - 特許庁

To provide an information processing technology, that is, a sales promotion system, a method, a program for sales promotion and a control method for client system for executing effective promotion of franchisees by narrowing targets using detailed use information such as credit card settlement on a communication network.例文帳に追加

通信ネットワーク上においてクレジットなど決済の利用明細情報を用いて対象を絞ることで加盟店の効果的なプロモーションを行う情報処理技術すなわち販促システム、方法及び販促用プログラム並びにクライアントシステムの制御方法を提供する。 - 特許庁

To provide an information processor capable of facilitating its operation by making images to be easily utilized, such as displaying only an optional image or image group and facilitating the designation of a processing object of image transfer, image erasure, etc., and to provide an image classifying method, a storage medium and a program.例文帳に追加

任意の画像または画像群だけを表示したり、画像の転送または画像の削除などの処理対象の指定を容易にするなど、画像を利用し易くすることで、操作を容易にすることを可能とした情報処理装置、画像分類方法、記憶媒体、及びプログラムを提供する。 - 特許庁

Decoding key information, used for decoding a broadcast signal of a program broadcast encoded by scramble processing, is transmitted from a digital broadcast transmission device 10 via the Internet E to a digital broadcast receiving device 50 of a user who has preliminarily registered and joined a CM (commercial)-excluding broadcast service.例文帳に追加

予めＣＭ排除放送サービスに登録加入したユーザのデジタル放送受信装置５０に、インターネットＥを介してスクランブル処理により暗号化された番組放送の放送信号の復号化に用いる解除キー情報をデジタル放送送信装置１０から送信しておく。 - 特許庁

To provide a device and a method for processing an image capable of preventing color or black-and-white wrong output, even for an original in which the decision of a color original or a black-and-white original is difficult, and to provide a device for reading the original, a device for forming the image and a computer program.例文帳に追加

カラー原稿であるか又は白黒原稿であるかの判定が困難な原稿であっても、カラー又は白黒の誤った出力を防止することができる画像処理方法、画像処理装置、原稿読取装置、画像形成装置及びコンピュータプログラムを提供する。 - 特許庁

When broadcasting time of programs overlaps each other, a reservation processing part 15 sets a switching time to switch programs to be received by a tuner and acquires CM chapter information representing the starting time or ending time of CM included in the broadcasting time of the program.例文帳に追加

予約処理部１５は、番組の放送時間が重複している場合に、チューナにより受信される番組が切り換えられる時刻である切り換え時刻を設定するとともに、番組の放送時間に含まれるＣＭの開始時刻または終了時刻を表すＣＭチャプタ情報を取得する。 - 特許庁

To provide a forming method of shape model for analysis capable of automating an optimization work based on a shape model formation including a complicated processing operation by extending the function of a macro file for efficiently operating software to construct a further flexible and efficient program.例文帳に追加

ソフトを効率的に動作させるマクロファイルの機能を拡大し、より柔軟性の高い、効率的なプログラムを構築することにより、複雑な処理操作を含む形状モデル作成に基づく最適化作業を自動化することができるような解析用形状モデルの作成方法を提供する。 - 特許庁

To provide an image processor, an image processing system, and a program whereby scan document information including an image signal or the like obtained by applying read scanning to an original is stored, users can view an image resulting from the original a part region of which is daubed, and only a particular user can view an image resulting from the original itself.例文帳に追加

原稿を読取走査して得た画像信号等を含むスキャン文書情報を蓄積し、該スキャン文書情報を基に、原稿のある領域が塗りつぶされた画像を見ることができる一方で、特別な利用者のみ、原稿のままの画像を見ること可能にする。 - 特許庁

● Under the Regional Innovation Cluster Program (global), Ministry of Education, Culture, Sports, Science and Technology, help develop and commercialize cutting-edge diagnostic and therapeutic devices by integrating optical technology, miniaturization technology and information processing technologies into haptic (tactile sensor) technology innovation from Nihon University College of Engineering. 例文帳に追加

○ 文部科学省等が実施する「地域イノベーション戦略支援プログラム（グローバル型）」により、日本大学工学部が有する「ハプティック（触覚）」技術を活用した研究成果に、光技術、微細化技術、情報処理技術を加えた、先端的診断機器及び治療器具の開発と事業化を目指す。 - 経済産業省

To provide an information processing device which makes positions etc. on a page of each object recognizable in a retrieval result, when retrieving multiple pages managed by an application program capable of managing information by arranging one or more objects on each page with an arbitrary layout.例文帳に追加

１以上のオブジェクトを各ページ上に任意のレイアウトで配置して情報を管理することができるアプリケーションプログラムが管理する複数のページを検索したときに、検索結果において、各オブジェクトのページ上の位置等がわかるようにした情報処理装置を提供する。 - 特許庁

The terminal also includes a means that programs and processes an event to start search for one fixed part or more in the local network where the terminal can be in operation and the program/processing means activates the search means on the occurrence of a programmed start event.例文帳に追加

この端末はさらに、端末が動作できるローカルネットワークの１つまたは複数の固定部分の探索を開始するイベントをプログラムし処理するための手段を含んでおり、前記プログラム／処理手段は、プログラムされた開始イベントの発生時に探索手段を活動化する。 - 特許庁

To provide a program for adding free expressions of a user which surpass an annotation of a character string information subject to information resources while displaying the information resources in the same way as in the conventional web browser and allowing the expressions to be immediately shared by other users, and an information processing method.例文帳に追加

情報資源を従来のウェブブラウザと同様に表示しつつ、文字列情報主体の注釈を越えた利用者の自由な表現を情報資源に付け加え、且つその表現を他の利用者と即時的に共有するプログラム及び情報処理方法を提供する。 - 特許庁

Based on a correction processing program (image quality correction data) corresponding to the model data of a digital camera and the image quality data of image data transmitted from a client, a correction processor performs optimal image quality correction for the image data automatically and can provide the corrected data to a source client.例文帳に追加

補正処理装置によって、デジタルカメラの機種データに対応した補正処理プログラム（画質補正データ）およびクライアントから送信された画像データの画質データに基づいて、当該画像データに対して最適な画質補正を自動的に行って送信元のクライアントに提供するすることができる。 - 特許庁

To provide an image processor for performing an image processing to obtain a higher degree of color coincidence than that in a conventional way concerning a part where process color ink is superimposed on special color ink and also to provide an image processing program for operating a computer as the image processor to enhance the color coincidence degree.例文帳に追加

本発明は、プロセスカラーインクで色で表現されるプロセスカラー画像を表わすプロセスカラー画像データと特色インクで色が表現される特色画像データとの双方からなる画像データを、プロセスカラーインクで色が表現される網点画像を表わす網点画像データに変換する画像処理装置等に関し、プロセスカラーインクと特色インクとが重なった部分について、従来よりも色の一致の程度を高める画像処理を行なう。 - 特許庁

A task management method according to the present invention comprises a request step for transmitting a task takeover request for taking over the server task to a server when abnormality occurrence in the active processing device is detected; and a step for informing that the server task can be occupied to a process of the waiting application program in the standby processing device when takeover permission of the server task is received from the server.例文帳に追加

そして、本タスク管理方法は、現用系の処理装置における異常の発生が検知された場合、サーバのタスクを引き継ぐためのタスク引き継ぎ要求をサーバに送信する要求ステップと、サーバから当該サーバのタスクの引き継ぎ許可を受信した場合、サーバのタスクを占有可能である旨を待機系の処理装置において待機中のアプリケーション・プログラムのプロセスに対し通知するステップとを含む。 - 特許庁

The simulation device arranging, wire-connecting, and describing the processing functions of the control program as block icons includes an arithmetic processing part making a function selection column for making a user select an execution function from internal functions included in a control function block during display be displayed, and includes a function to make a port of an interface corresponding to the execution function be automatically displayed in conjunction with the selection of the execution function.例文帳に追加

制御プログラムの処理関数をブロックアイコンとして配置、結線して記述するシミュレーション装置であって、表示中の制御関数ブロックに含まれる内部関数の中から実行関数を前記ユーザに選択させるための関数選択欄を表示させる演算処理部を備え、実行関数の選択と連動して、その関数に対応するインターフェイスのポートを自動的に表示させる機能を備える。 - 特許庁

The control device 10 for the plant includes an input means 13 for inputting process signals sent from the plant, a numerical operation part 11 for outputting a boolean value that has determined the normality/abnormality of the process signals through arithmetic processing based on a program, and a control module 20 for outputting control signals associated with the safety protection operation of the plant by logically processing the boolean value on the basis of a logic circuit.例文帳に追加

プラントの制御装置１０において、プラントから送信されるプロセス信号を入力する入力手段１３と、プログラムに基づく演算処理によって前記プロセス信号の正常／異常を判定したブール値を出力する数値演算部１１と、論理回路に基づき前記ブール値を論理処理し前記プラントの安全保護動作に係る制御信号を出力させる論理処理部２０と、を備える。 - 特許庁

The controller 7 is provided with a duplex processing program for duplexing the data by folder units by automatic backup processing by mirroring in the case of recording data in the hard disk.例文帳に追加

ハードディスク機構部８とコントローラ７を備え、上位装置９からの依頼に基づきコントローラ７の制御でハードディスク機構部８のハードディスクに対しデータの記録／再生を行うと共に、データの自動バックアップを行う自動バックアップ機能付き磁気記録再生装置であって、コントローラ７はハードディスクに対してデータの記録を行う際、ミラーリングによる自動バックアップ処理で、データの２重化をフォルダ単位で行う２重化処理プログラムを備えている。 - 特許庁

To provide an image processing apparatus and an image processing program for storing read image information as reusable image information, and for making it possible to additionally register new image information to the stored image information without generating wasteful data or identification code, and for re-outputting image information, when the output of additionally registered image information is instructed.例文帳に追加

本発明は、読み取られた画像情報を再利用可能な画像情報として保存するとともに、保存された画像情報への新たな画像情報の追加登録を無駄なデータや識別コードを発生させること無く行うことを可能とし、追加登録された画像情報の出力の指示があった場合は、当該画像情報を再出力する画像処理装置および画像処理プログラムを提供する。 - 特許庁

To provide a table processor, by which the contents of data files are compared and differentially edited and the differentially edited results can be displayed without using another file converting tool, and a storage medium with a processing result stored thereon in the table processor for comparing the contents of two data files stored in a table format and the storage medium in which the processing program therefor is stored.例文帳に追加

表形式で記憶した２つのデータファイルの内容比較処理を行う表処理装置およびその処理プログラムを格納した記憶媒体において、別途ファイル変換ツール等を使用することなく、データファイルの内容比較および差分編集を行い、差分編集結果を表示することができる表処理装置およびその処理プログラムを格納した記憶媒体を提供することである。 - 特許庁

In the information processing system for performing parallel processing while performing data communication between two or more computation nodes 1, 2 connected through an inter-node network 5, the computation node 1 includes communication control software for shifting the computation node 1 into a power-saving mode when the computation node 2 is yet to be ready for data reception although a running program on the computation node 1 is ready for data transmission.例文帳に追加

ノード間ネットワーク５で接続された複数の計算ノード１，２間でデータ通信を行いながら並列処理を行う情報処理システムにおいて、計算ノード１は、計算ノード１で動作中のプログラムがデータ送信の準備が完了したにもかかわらず、計算ノード２でデータ受信の準備が完了していない場合に、計算ノード１を省電力モードに移行させるための通信制御ソフトウェアを備える。 - 特許庁

To provide an image processor that can conduct new color component generation processing that generates a new different color component from a color component of a color system in an image adopting the color system consisting of a plurality of color components and to each pixel of which one color component is made to correspond with high accuracy by means of a simple arithmetic operation and to provide a recording medium with an image processing program recorded thereon.例文帳に追加

複数の色成分から成る表色系によって示され、各々の画素に１つの色成分が対応付けられている画像に対し、該表色系を構成する色成分とは異なる新たな色成分を生成するための新色成分生成処理を、精度良くかつ簡単な演算によって行える画像処理装置および画像処理プログラムを記録した記録媒体を提供することを目的とする。 - 特許庁

To provide an information processing system capable of preventing information from being simply leaked to a third party even when one electronic information device is stolen/discarded or the like by managing a private key used for processing the information by a plurality of electronic information devices while ensuring the convenience of an administrator for managing the electronic information devices and a user utilizing the electronic information devices and to provide a control method thereof and a program.例文帳に追加

電子情報機器を管理する管理者や利用するユーザの利便性を確保しつつ、複数の電子情報機器で情報を処理するための秘密鍵を管理することで、一方の機器が盗難・廃棄等された場合であっても第三者に対して簡単に情報が漏洩することを防止することができる情報処理システム及びその制御方法並びにプログラムを提供する。 - 特許庁

To stably realize separation between a subject and a background without imposing a burden on a user as to an image processor for applying prescribed processing to an image in accordance with the existence and arrangement of a required subject included in the image, a camera loaded with the image processor, communication equipment for transmitting an image taken by the camera, and a program for realizing the described image processing.例文帳に追加

本発明は、画像に含まれる所望の被写体の有無および配置に応じてその画像に所定の処理を施す画像処理装置、その画像処理装置が搭載されたカメラ、そのカメラによってとらえられた画像を送信する通信装置および既述の画像処理を実現するプログラムに関し、ユーザーに負担をかけることなく被写体と背景との切り分けが安定に実現されることを目的とする。 - 特許庁

The above problem is solved by using; a logic for CPU performance profiling, which is incorporated in an instruction processor in an information processing device and called a hardware monitor; a function which generates interruption when the number of times of measurement events, provided by the logic, over a prescribed shreshold value are generated; and an interruption processing handler for executing performance profiling for an application program.例文帳に追加

本発明では、情報処理装置内の命令プロセッサに組み込まれている、ハードウェアモニタと呼ばれるCPU性能プロファイリングのための論理、およびその論理で提供されるある一定の閾値を超える回数の測定イベントが発生した際に割込みを発生する機能と、アプリケーションプログラムの性能プロファイリングを実施するための割込み処理ハンドラを用いる事で、上述の課題を解決するものである。 - 特許庁

To provide a recycle information sharing method, program, and system for allowing a dealer bringing a vehicle to a recycle processing field to previously obtain deposit condition of a vehicle recycle fee for removing burden for cost collection agency work from the dealer and for efficiently controlling information about the recycle fee required for recycling processing of the vehicle.例文帳に追加

本発明は、車輌のリサイクル料金の預託状況を、車輌をリサイクル処理場に持ち込む業者側が事前に把握し前記業者の諸費用代行の負担を防止すること及び車輌のリサイクル処理に要するリサイクル料金に関する情報を効率よく管理することができるリサイクル情報共有方法、リサイクル情報共有プログラム、リサイクル情報共有システムを提供することを課題とする。 - 特許庁

An information processing device comprises: trap insertion means that shapes a verification target program according to a coverage criterion and inserts a trap; software model inspection means that performs software model inspection on the trap-inserted program to which the trap is inserted by the trap insertion means, and outputs path information satisfying the coverage criterion; and precondition generation means that generates a precondition satisfying the coverage criterion from the path information.例文帳に追加

検証対象プログラムをカバレッジ基準に応じて整形しトラップを挿入するトラップ挿入手段と、前記トラップ挿入手段によってトラップを挿入されたトラップ入りプログラムについてソフトウェアモデル検査を行い、前記カバレッジ基準を満たすパス情報を出力するソフトウェアモデル検査手段と、前記パス情報から前記カバレッジ基準を満たす事前条件を生成する事前条件生成手段と、を備えたことを特徴とする。 - 特許庁