「code coverage」に関連した英語例文の一覧と使い方 - Weblio英語例文検索

A design apparatus of an integrated circuit device optimizes both of design data 100 and a verification vector 101 by being provided with a code optimizing means 104 for deleting or commenting out a non-execution code description and by storing code coverage information generated by a code coverage measuring means 102 into a code coverage database 103 to use the database 103.例文帳に追加

コードカバレッジ計測手段１０２によって生成されるコードカバレッジ情報をコードカバレッジデータベース１０３に格納し、コードカバレッジデータベース１０３を利用して、非実行コード記述を削除またはコメントアウトするコード最適化手段１０４を備えることによって設計データ１００および検証ベクタ１０１の両方のコード最適化を行うという効果を奏する。 - 特許庁

To provide a method, apparatus and computer instructions for presenting coverage data for code.例文帳に追加

コードに関するカバレッジ・データを提示するための方法、装置、およびコンピュータ命令を提供すること。 - 特許庁

METHOD AND APPARATUS FOR AUTONOMIC TEST CASE FEEDBACK USING HARDWARE ASSISTANCE FOR CODE COVERAGE例文帳に追加

コード・カバレッジ用のハードウェア支援を使用する自律テスト・ケース・フィードバックのための方法および装置 - 特許庁

To provide a circuit verification apparatus executing code coverage measurement in emulation.例文帳に追加

コードカバレッジ計測をエミュレーションにおいて実行することができる回路検証装置を提供する。 - 特許庁

To provide a coverage measurement system and a coverage measuring method and its program in which the coverage of a code to be used can be measured at high accuracy even when a source code of a component is not disclosed and only a restricted function is used for the component.例文帳に追加

コンポーネントのソースコードが公開されていない場合にも、またコンポーネントにおける限定した関数のみを用いる場合にも、高い精度において、利用するコードのカバレッジの測定を行うことが可能なカバレッジ測定システム及びカバレッジ測定方法並びにそのプログラムを提供する。 - 特許庁

A flow graph creation part 24 creates a flow graph and narrows down the coverage measurement to a code part only which is actually executed.例文帳に追加

フローグラフ作成部２４がフローグラフを作成して、実際に実行するコード部分のみにカバレッジ測定を絞る。 - 特許庁

MICROCOMPUTER AND METHOD FOR DECIDING CODE COVERAGE OF OPEN LOOP CONTROL/CLOSED LOOP CONTROL PROGRAM OF THE SAME MICROCOMPUTER例文帳に追加

マイクロコンピュータ及び当該マイクロコンピュータの開ループ制御／閉ループ制御プログラムのコードカバレージの決定方法 - 特許庁

The coverage measurement system comprises a virtual machine part for executing a test of software to be measured at its coverage by an assembler code or a binary code and a positional information extraction part for extracting the positional information of an executed instruction code in the test by the virtual machine part.例文帳に追加

本発明のカバレッジ計測システムアは、センブラコードまたはバイナリコードにより、カバレッジ測定対象のソフトウェアのテストを実行する仮想マシン部と、該仮想マシン部におけるテストにおいて、実行された命令コードの位置情報を抽出する位置情報抽出部とを有する。 - 特許庁

To improve verification coverage with respect to the function of a verification scenario, and detect LSI design faults accurately and efficiently, by estimating an upper limit of code coverage.例文帳に追加

コードカバレッジの上限を見積もることにより、検証シナリオの機能に関する検証網羅性の向上を図り、ＬＳＩの設計障害の正確かつ効率的な検出を図ること。 - 特許庁

A coverage information calculation device is provided with a counter in a memory or the like for every framework of a code included in the program, before executing the program being the calculation object of the coverage information.例文帳に追加

カバレッジ情報算出装置は、カバレッジ情報の算出対象であるプログラムを実行する前に、該プログラムに含まれるコードの枠組み毎にカウンタをメモリなどに設けておく。 - 特許庁

To provide a coverage acquiring system capable of reducing a burden for the confirmation work or the like of a manager when coverage information is less than 100%, by acquiring the coverage information in accordance with significance in each line within a source code.例文帳に追加

ソースコード中の各行の重要度に応じたカバレッジ情報の取得することにより、カバレッジ情報が１００％未満の場合における管理者の確認作業等の負担軽減を図ることの可能なカバレッジ取得システムを提供する。 - 特許庁

To provide a means generating deactivation specification description including a function complying with an inactive code in verification of a logic system for facilitating analysis on a code coverage result.例文帳に追加

論理システムの検証において非活性コードに対応する機能を含む非活性動作仕様記述を生成し、コードカバレッジ結果の解析を容易化する手段を提供する。 - 特許庁

The digital image, the bar code, and a claimset including a warranty coverage request are transmitted to a second computer 108 via a communication network 106.例文帳に追加

デジタル・イメージ、バーコードそして保証適用の請求を含むクレームセットが、通信ネットワーク106を介して第２コンピューター108へ伝送される。 - 特許庁

By using the high level abstraction model source code early created, the coverage is measured without waiting for the completion of the actual logic of the RTL.例文帳に追加

早く作成できた高抽象度モデルソースコードを用いることにより、ＲＴＬの実論理の完成を待たずにカバレッジを計測できる。 - 特許庁

For example, on the occurrence of a fault in a base station 8-1 as shown in Fig. 1, a base station 8-4 modifies its own coverage area as shown in a code 7-4' to cover the coverage area 7-1 of the base station 8-1 thereby ensuring communication with the mobile station resident in the coverage area 7-1.例文帳に追加

例えば図１に示すように基地局８−１に障害が生じると、基地局８−４が自己のカバーエリア７−４の形状を符号７−４′のごとく変形して基地局８−１のカバーエリア７−１を覆い、カバーエリア７−１に在圏する移動局との通信を確保するようにした。 - 特許庁

The circuit verification apparatus 1 also includes an assertion converting unit 14 configured to convert each of the predetermined measurement points to a corresponding assertion description and a code coverage result decompressing unit 13 configured to receive the database and an assertion result 112 obtained by performing measurement based on the assertion description and generate a code coverage result 113.例文帳に追加

また、回路検証装置１は、所定の計測ポイントついて、それぞれ対応するアサーション記述に変換するアサーション変換部１４と、データベースとアサーション記述に基づいて計測を行い得られたアサーション結果１１２とを受け取り、コードカバレッジ結果１１３を生成するコードカバレッジ結果伸長部１３とを有する。 - 特許庁

Once the probes are inserted and data are collected by running the binary representing the code and probes, the data may be overlaid onto the optimization map and arc and block relationships to provide code coverage data.例文帳に追加

プローブが挿入され、コードおよびプローブを表すバイナリを実行することによってデータが収集されると、そのデータは、最適化マップ、およびアークとブロックの関係上にオーバレイされて、コードカバレッジデータが提供される。 - 特許庁

A control path set generating section 15 generates a control path set including an execution path in the source code on the basis of first coverage criteria related to a control flow graph and a software structure.例文帳に追加

制御パスセット生成部１５は、制御フローグラフ、及びソフトウェア構造にかかる第１カバレッジ基準に基づき、ソースコード内の実行パスを含む制御パスセットを生成する。 - 特許庁

The coverage measurement device 200 acquires a measurement target code (201), acquires inspection item information (202), inspects the measurement target code based on the inspection item information (203), specifies a branch already inspected using branch correspondence state variable information and allocation information of a state variable generated during the inspection (204), and performs coverage measurement (205).例文帳に追加

カバレージ測定装置２００は、測定対象コードを取得し（２０１）、検査項目情報を取得し（２０２）、測定対象コードを検査項目情報に基づいて検査し（２０３）、検査中に生成した状態変数の割り当て情報及びブランチ対応状態変数情報を用いて、検査済みのブランチを特定して（２０４）、カバレージ測定を行う（２０５）。 - 特許庁

Then information of the adjacent base station to a radio base station BTS 22 in the coverage zone of which the mobile station is resident is retrieved (S204), and a hand-off number of times of the base station code received by the mobile station is incremented by '1' (S205).例文帳に追加

次に、移動局が位置する無線基地局ＢＴＳ２２の隣接基地局情報を検索し（Ｓ２０４）、移動局に通知した基地局コードのハンドオフ使用回数に１を加算する（Ｓ２０５）。 - 特許庁

The circuit verification apparatus 1 includes a code coverage measurement point extracting unit 11 which reads a verification object circuit description 107 described in a hardware description language and metrics information 108 including information about multiple measurement objects, extracts multiple measurement points for code coverage measurement from the verification object circuit description 107, and generates a database including only predetermined measurement points among the extracted multiple measurement points.例文帳に追加

回路検証装置１は、ハードウエア記述言語により記述された検証対象回路記述１０７と複数の計測対象の情報が含まれるメトリクス情報１０８とを読み込み、検証対象回路記述１０７からコードカバレッジ計測のための複数の計測ポイントを抽出し、抽出した前記複数の計測ポイント中の所定の計測ポイントのみに集約したデータベースを生成するコードカバレッジ計測ポイント抽出部１１を有する。 - 特許庁

Each mobile subscriber unit has global code seeds for the entire communications service coverage area or a constantly updated code seeds list for neighbor area, and maintains a communication link with one cell base station while continuously searching to access other available cell base stations.例文帳に追加

移動加入者局ユニットの各々は通信サービス対象地域全体を対象とする大域符号シードまたは隣接地域を対象とする常時更新符号シードのリストを有し、一つのセル基地局との通信リンクを維持しながらそれ以外の利用可能なセル基地局にアクセスするよう絶えずサーチする。 - 特許庁

In a step 109 of calculating the toggle rate, the toggle rate can be calculated by using a code coverage calculating tool with respect to connection data in an RTL design phase which can be obtained in an RTL designing step of the semiconductor integrated circuit in place of a conventional toggle rate calculation with respect to a net list.例文帳に追加

トグル率算出工程１０９で、従来のネットリストに対するトグル率算出に代えて、半導体集積回路のＲＴＬ設計工程で得られるＲＴＬ設計段階の接続データに対してコードカバレッジ算出ツールを用いてトグル率を算出することを可能にする。 - 特許庁

Although differences in institutions and conditions make generalizations difficult, the Law Concerning Special Exceptions to the Civil Code Concerning Requirements for Opposition to Transfer of Receivables was partially amended and the Trust Business Law was amended in fiscal 2004, and the necessary procedures are being pursued to expand the coverage of the credit insurance system to include trust companies.例文帳に追加

制度や環境の違いがあり、一概にはいえないが、日本においても近時、2004年度に債権譲渡の対抗要件に関する民法の特例等に関する法律の一部改正や信託業法の改正が53行われており、さらには信託会社を信用補完制度の対象とするべく、必要な手続きを進めているところである。 - 経済産業省

(v) The necessary organization or system to communicate with the Minister of Land, Infrastructure, Transport and Tourism shall be established in order to be prepared for such cases where the operation of aeronautical radio navigation facilities must be terminated, rated coverage and course must be altered, or identification code transmission or other functions of said facilities are in failure due to certain inevitable reasons as well as when the operation or functions of said aeronautical radio navigation facilities are restored. 例文帳に追加

五　やむを得ない事由により、航空保安無線施設の運用を停止し、又は定格通達距離及びコースの変更、識別符号送信の不良その他航空保安無線施設の機能をそこなうこととなつた場合及び当該航空保安無線施設の運用又は機能が復旧した場合に必要となる国土交通大臣との連絡体制を整備すること。 - 日本法令外国語訳データベースシステム

Whether it is possible for the government to order changes in the terms of existing contracts by enacting a new law is a matter of legal technicality. Should such an order be allowed, there would be the issue of who should bear responsibility for possible defaults. So, the proposed bill looks like “tokuseirei” (a decree for wholesale debt forgiveness issued in the Middle Ages to bail out cash-strapped vassals). I believe that legal and budgetary issues, including principles under the Civil Code and the extent of the coverage of government guarantee, should be considered carefully before the bill is introduced. He has apparently concluded that the proposed moratorium is technically possible and necessary for social and economic reasons. 例文帳に追加

既存の契約の変更を法律で命じることが出来るのかどうか、そういう法技術的な問題があって、仮に命令出来た時にデフォルトを起こしたという場合は誰の責任にするのかというような問題もあるので、徳川時代の徳政令みたいな話かなと思っているんですけれども、そういう点は民法上の原則とか政府の保証というのがどこまで及ぶのかと、これは法律上の問題、予算上の問題、よくご検討されてやられたらといいと思っています。そのこと自体、技術的に可能であって、なおかつ社会的、経済的な必要性があるという判断は判断としてあるんだろうと思っています。 - 金融庁