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

STATIC ANALYSIS DEVICE, METHOD AND PROGRAM例文帳に追加

静的解析装置、方法及びプログラム - 特許庁

STATIC ANALYSIS SYSTEM FOR SOURCE PROGRAM例文帳に追加

ソースプログラムの静的解析装置 - 特許庁

STATIC TIMING ANALYSIS METHOD AND PROGRAM例文帳に追加

静的タイミング検証方法および静的タイミング検証用プログラム - 特許庁

To provide an SQL static analysis program and an SQL static analyzer using a static analysis technology contributing to performance improvement of database access.例文帳に追加

データベースアクセスの性能改善に寄与する静的解析技術を用いたＳＱＬ静的解析プログラム及びＳＱＬ静的解析装置を提供する。 - 特許庁

Static analysis information (such as complexity) on a partial region of a source program including a similar region (clone piece) is calculated.例文帳に追加

上記課題を解決するため、類似領域（クローン片）を含むソースプログラムの部分領域の静的解析情報（複雑度等）を算出する。 - 特許庁

To provide a technique speeding up a program by utilizing a combination of a static analysis result and a dynamic analysis result and precisely pre-compiling a program block (PB) with a high importance level especially in a multicore environment.例文帳に追加

特にマルチコア環境において、静的解析結果と動的解析結果を組合わせて利用し、精度良く重要度の高いプログラムブロック（ＰＢ）の事前コンパイルを行い、プログラムを高速化する技術を提供する。 - 特許庁

To provide a system that does not display a warning message to an analyzed source program on an output device and displays a warning message to an added or corrected source program on the output device when addition or correction is applied to the source program having undergone static analysis and static analysis is performed again.例文帳に追加

静的解析済みのソースプログラムに追加または修正を行い再度静的解析を行う場合、 すでに解析を行っているソースプログラムに対する警告メッセージは出力装置に表示させず、追加または修正したソースプログラムに対する警告メッセージを出力装置に表示させるシステムを提供する。 - 特許庁

A system and a method for infeasible path detection include performing a static analysis on a program to prove a property of the program.例文帳に追加

実行不可能な経路検出のためのシステム及び方法は、プログラムの性質を証明するためのプログラムに静的解析を行うことを含んでいる。 - 特許庁

A static source analysis part 10 statically analyzes the program inside a source program storage part 5, digs up a dynamically calling side function and a dynamically called side function, and imparts an identification label to each the function.例文帳に追加

静的ソース解析部１０は、ソースプログラム蓄積部５内のプログラムを静的に解析し、動的呼出し側関数及び動的呼出され側関数を洗い出し、各関数に識別ラベルを付与する。 - 特許庁

To provide a static program analysis system for contributing to prevent errors in an actually running program by cooperating an importance of a rule with occurrence of an error.例文帳に追加

ルールの重要度を不具合の発生と連携させることによって、実際に稼動しているプログラムでの不具合発生を未然に防ぐことに貢献できるプログラム静的解析システムを提供することを目的とする。 - 特許庁

This software testing device that obtains information about the dynamic characteristics of a software system, uses a static analysis 130 and a dynamic analysis 131 and dynamically changes positions for obtaining the information about the dynamic characteristics of a program and acquisition conditions.例文帳に追加

ソフトウェアシステムの動的特性に関する情報を得るソフトウェア試験装置において、静的な分析１３０と動的な分析１３１を用い、プログラムの動的特性に関する情報を得るための位置と取得条件を動的に変更する。 - 特許庁

The SQL static analysis program executed by a computer achieves: a function to store table information of a database targeted by SQL texts to be input; a function to store SQL static analysis definition information for determining whether the SQL texts include factors deteriorating performance of the database access or not; and a function to analyze the SQL texts using the table information and the SQL static analysis definition information.例文帳に追加

本発明に係る実施形態である、コンピュータに実行されるＳＱＬ静的解析プログラムは、入力されるＳＱＬ文が対象とするデータベースのテーブル情報を記憶する機能と、ＳＱＬ文がデータベースアクセスの性能劣化を引き起こす要因を含んでいるかを判定するためのＳＱＬ静的解析定義情報を記憶する機能と、テーブル情報とＳＱＬ静的解析定義情報とを用い、ＳＱＬ文を解析する機能と、を実現させる。 - 特許庁

In a static analysis device 10, a defect information generation part 12 extracts a place which is determined that it cannot be confirmed whether or not it is a defect because it includes an unconfirmed element, from a source program.例文帳に追加

静的解析装置１０において，欠陥情報生成部１２は，ソースプログラムから，未確定要素を含むために欠陥であるか否かを確定できないと判定された箇所を抽出する。 - 特許庁

To provide a technology which reduces labor of a user to confirm indication, when presenting the indication about a place which is determined that it cannot be confirmed whether or not it is a defect, in static analysis of a source program.例文帳に追加

ソースプログラムの静的解析において，欠陥であるか否かを確定できないと判定された箇所の指摘を提示する際に，それらの指摘を確認するユーザの手間を軽減する技術を提供する。 - 特許庁

To provide a structure design method for executing the static/dynamic analysis of an architectural structure including inner walls of plane of structure such as the side walls, hanging walls, spandrel walls and slits of the architectural structure, and to provide its program and a computer-readable and executable recording medium in which the program is written.例文帳に追加

建築構造物の袖壁、垂れ壁、腰壁、スリット壁等の構面内壁を含めた建築構造物の静的・動的解析が可能な構造設計方法を提供し、そのプログラム及びそのプログラムが記録媒体に書き込まれ、コンピュータが読み出して実行可能な記録媒体を提供する。 - 特許庁

To provide a member cross section examination method allowing a member constituting a construction structure to be arbitrarily selected; and to provide a recording medium having a program by the member cross section examination method stored and allowing a static elastic-plastic analysis and a dynamic elastic-plastic analysis by a member rigidity matrix corresponding to the member cross section examination result thereof.例文帳に追加

建築構造物を構成する部材を任意に選択可能にする部材断面検定方法を提供し、この部材断面検定法によるプログラムが格納され、この部材断面検定結果に対応した部材剛性行列により、静的弾塑性解析及び動的弾塑性解析を可能とするプログラムを格納した記録媒体を提供することを目的とするものである。 - 特許庁

To accurately and easily estimate in a short time the effects of a gate overhead of a clock synthesizing part and of power consumption generated in a circuit by automatically creating a CTS (clock tree synthesis) constraint file from clock definition information of STA (static timing analysis) regarding a clock synthesizing method, a semiconductor device and a program.例文帳に追加

本発明は、クロック合成方法、半導体装置及びプログラムに関し、ＳＴＡのクロック定義情報からＣＴＳ制約ファイルを自動生成することにより、短時間で、正確に、且つ、容易にクロック合成部分のゲートオーバーヘッドの影響と回路に生じる消費電力の影響を見積もることを可能とすることを目的とする。 - 特許庁