path coverageとは 意味・読み方・使い方

To effectively generate path information satisfying a coverage criterion from a viewpoint of structure for a program.例文帳に追加

プログラムについて、構造の観点からのカバレッジ基準をみたすパス情報を効果的に生成すること。 - 特許庁

In the first optical path, a device focuses the optical radiation from the optical sources into respective focal points (21a, 22a, 23a) along the first optical path to provide substantially continuous coverage of a selected portion of the first optical path.例文帳に追加

第１の光路において、装置はそれぞれの光源からの光を第１の光路に沿う複数の焦点（２１ａ，２２ａ、２３ａ）のそれぞれに集束させて、第１の光路の選ばれた部分の実質的に連続な覆域を提供する。 - 特許庁

To shorten a verification period by preliminarily preventing the execution of simulation based on hardware description where the total number of paths is huge at the time of performing the path coverage measurement of a logic circuit.例文帳に追加

論理回路のパスカバレッジ測定において、パス総数が膨大なハードウェア記述によるシミュレーションの実行を未然に防止して、検証期間の短縮化を図ること。 - 特許庁

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.例文帳に追加

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

By associating measurement reports with each other from users moving in both directions along the path (S30), the method determines whether or not a specific pattern for a coverage hole can be identified (S40), and distinguishes the coverage hole (S60) from a radio link failure caused by a handover failure (S50).例文帳に追加

経路に沿って両方向に移動しているユーザからの測定報告を相互に関連付けることにより（Ｓ３０）、カバレッジ・ホールに特有のパターンが識別されうるか否かが判断され（Ｓ４０）、ハンドオーバ失敗の結果として生じている無線リンク障害から（Ｓ５０）のカバレッジ・ホールを区別する（Ｓ６０）。 - 特許庁

6. The rated coverage (which refers to a range on a glide path within which the horizontal electric field intensity of a radio wave transmitted from said facility is 1.5 millivolts per meter or more; the same shall apply to "7." below) shall be as listed below:発音を聞く 例文帳に追加

（六）　定格輻射範囲（グライドパス上において、当該施設から輻射された電波の水平電界強度が毎メートル一・五ミリボルト以上である範囲をいう。以下（七）において同じ。）は、次のとおりであること。 - 日本法令外国語訳データベースシステム

The coverage measurement unit acquires a control program, extracts execution paths of the control program, extracts an FSM from among the extracted execution paths, narrows down a test object when extracting the execution path or the FSM, acquires test execution log information, refers to the acquired test execution log information, and performs coverage measurement on the basis of the extracted FSM.例文帳に追加

カバレージ測定装置は、制御プログラムを取得し、制御プログラムの実行パスを抽出し、抽出した実行パスの中からＦＳＭを抽出し、上記実行パスの抽出時又はＦＳＭの抽出時にテスト対象の絞り込みを行い、テスト実行ログ情報を取得し、取得したテスト実行ログ情報を参照し、抽出したＦＳＭに基づいたカバレージ測定を行う。 - 特許庁

This courage measurement device extracts the execution path of a control program to be tested, specifies the range of an input value about functions in an execution path in the control program, sets a discrete division being a space obtained by dividing the input range by a prescribed method, and performs coverage measurement based on the execution rate of the test corresponding to the discrete division.例文帳に追加

カバレージ測定装置は、テスト対象の制御プログラムの実行パスを抽出し、制御プログラム中の実行パス中の関数について、入力値の範囲を特定し、入力範囲を所定の方法で分割した空間である離散区分を設定し、離散区分に対応するテストの実行率に基づいてカバレージ測定している。 - 特許庁