「"静的解"」に関連した英語例文の一覧と使い方 - Weblio英語例文検索

顧客が静的解析の知識を多く必要とせずに静的解析を実行することを可能とし、プロジェクトごとの静的解析システムの維持コストの削減、および静的解析実施部門の無駄の無い静的解析システムの運用を可能とするソースコード静的解析支援システムを得ること。例文帳に追加

To provide a source code static analysis support system with which a customer realizes static analysis without need of much knowledge of static analysis, maintenance cost of a static analysis system at every project is reduced and an operation of the static analysis system can be performed without waste of a static analysis performing section. - 特許庁

静的情報解析部１６が、ソースコード１２を静的解析して静的解析情報を得る。例文帳に追加

A static information analyzing part 16 operates the static analysis of a source code 12, and obtains static analysis information. - 特許庁

静的解析処理システム、方法、およびプログラム例文帳に追加

STATIC ANALYSIS PROCESSING SYSTEM, METHOD, AND PROGRAM - 特許庁

バッファオーバーフロー静的解析方法およびプログラム例文帳に追加

BUFFER OVERFLOW STATIC ANALYSYS METHOD AND PROGRAM - 特許庁

静的解析装置、方法及びプログラム例文帳に追加

STATIC ANALYSIS DEVICE, METHOD AND PROGRAM - 特許庁

静的解析結果の分析表示装置例文帳に追加

ANALYSIS DISPLAY DEVICE FOR STATIC ANALYSIS RESULT - 特許庁

ソースプログラムの静的解析装置例文帳に追加

STATIC ANALYSIS SYSTEM FOR SOURCE PROGRAM - 特許庁

ソースコードの静的解析によって得られた情報を容易に分析することが可能な静的解析結果分析システムを得る。例文帳に追加

To provide a system and apparatus for analyzing a static analysis result for easily analyzing information acquired by static analysis of a source code. - 特許庁

静的解析処理部は、静的解析の実行時に、仕様違反検出コードに基づいて関数の仕様違反を検出する。例文帳に追加

The static analysis processing part detects the specification violation of the function based on the specification violation detection code when executing the static analysis. - 特許庁

従来の静的解析法により静的解析値を得、応答値との関係から耐震設計を行なう。例文帳に追加

Static analyzed values are provided from a conventional static analysis method, and the aseismic design is performed by using the relation thereof to the response values. - 特許庁

ソースコードを複数の静的解析ツールで静的解析を行い、解析結果をわかりやすくまとめる。例文帳に追加

To summarize analysis results in an understandable manner by performing a static analysis of a source code by a plurality of static analysis tools. - 特許庁

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

To provide an SQL static analysis program and an SQL static analyzer using a static analysis technology contributing to performance improvement of database access. - 特許庁

複数のソースコードにまたがる静的解析において、静的解析時に必要な全てのソースコードの解析を行うのではなく、事前に静的解析可能なサーバのバージョン管理ツールなどで管理されているコミット済みのソースコードに対して、サーバにおいて事前処理として解析を実施し、実際の解析時には、サーバにおいてこの事前処理の結果に基づいて静的解析を実施する。例文帳に追加

In a static analysis across a plurality of source codes, not all the source codes required in the static analysis, but the committed source code managed in advance by a version management tool of a statically analyzable server is analyzed in the server as preprocessing, and in actual analysis, the system performs the static analysis based on the result of the preprocessing in the server. - 特許庁

分散オブジェクト環境でのプログラムの静的解析方法および最適化方法例文帳に追加

STATIC ANALYZING METHOD AND OPTIMIZING METHOD OF PROGRAM IN DISTRIBUTED OBJECT ENVIRONMENT - 特許庁

コンパイラまたはアセンブラを用いて静的解析を行った結果により、ステップ数調整オブジェクトを出力した後、リンカを用いてメモリ配置による静的解析を行い、その結果で修正する。例文帳に追加

The number of steps adjustment objects are outputted according to results obtained by performing a static analysis by using a compiler or assembler, a static analysis by memory arrangement is subsequently performed by using a linker, and modification is performed with the results of the static analysis. - 特許庁

記録部３は、静的解析結果データ２０を装置内部に取り込んで記録すると共に、内部データ形式に変換して内部静的解析結果データ２１を生成する。例文帳に追加

A recording part 3 captures static analysis result data 20 to the inside of a device and records the captured data, and converts the data into an internal data format to generate internal static analysis result data 21. - 特許庁

クライアントの負荷を抑制し、静的解析の結果を編集中のソースコードに反映することができ、解析ルールの管理が容易な静的解析システムを提供する。例文帳に追加

To provide a static analysis system which can control the load on a client, reflect the result in an edited source code, and easily manage analysis rules. - 特許庁

特に、加速度の低減率Ｆｈ，減衰定数ｈを仮定して限界耐力計算ルートに従って静的解析により静的解析値を得、応答値と一致するようにＦｈ，ｈを設定する。例文帳に追加

In particular the reducing rate Fh and damping constant (h) of an acceleration are assumed, the static analysis is performed according to a limit strength calculation route to provide the static analysis values, and the values Fh and (h) are set so as to match the response values. - 特許庁

利用者に静的解析の結果を図で分かりやすく表示させる手段を提供することで、指摘された問題の発生箇所およびそれらの関係等のソフトウェアの品質特性を把握し易くし、静的解析結果を効率良く分析させることを可能とする静的解析結果の分析表示装置を得ること。例文帳に追加

To provide an analysis display device for a static analysis result which allows a user to easily recognize the quality characteristics of software such as the generation places of pointed problems and their relations, and allows the user to efficiently analyze a static analysis result by providing a means for intelligibly displaying the static analysis result to the user with a diagram. - 特許庁

ソフトウェア静的解析における問題箇所の検出精度を向上させることが可能なソースコード問題予測技術を提供する。例文帳に追加

To provide a technique for predicting source code problems, capable of improving detection accuracy of the problems in software static analysis. - 特許庁

抽出加工部４は、内部静的解析結果データ２１から表示に必要なデータを抽出、加工して加工データ２２を生成する。例文帳に追加

An extraction processing part 4 extracts data necessary for display from the internal static analysis result data 21 and processes the extracted data to generate processed data 22. - 特許庁

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

Static analysis information (such as complexity) on a partial region of a source program including a similar region (clone piece) is calculated. - 特許庁

また、不要な解析自体を実行しないことで、静的解析に要する時間を短縮し、開発作業を効率化することができる。例文帳に追加

No unnecessary analysis is performed, thereby reducing the time required for static analysis and improving efficiency in development. - 特許庁

ソースコードの規模を縮小しつつ、ソースコードに潜むバグを検出することが可能な静的解析処理システムを提供する。例文帳に追加

To provide a static analysis processing system capable of detecting bugs latent in a source code while reducing the scale of the source code. - 特許庁

同一（または類似する）原因により生じた警告が整理されていないために、静的解析の警告の確認に手間がかかる例文帳に追加

To solve the problem in which it takes time and labor to confirm a warning of static analysis because warnings generated due to the same (or a similar) cause are not organized. - 特許庁

表示部は、静的解析結果データを３次元グラフとして可視化し、問題箇所指摘部５で指摘された問題箇所を強調して表示する。例文帳に追加

A display part visualizes the static analysis result data as a three-dimensional graph, and emphasizes and displays the problematic place pointed by the problematic place pointing part 5. - 特許庁

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

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. - 特許庁

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

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. - 特許庁

ソースコード静的解析ツールを実行する際に、入力パラメータとして必要になるオプション情報を自動的に収集できるオプション情報解析システムを提供する。例文帳に追加

To provide an option information analysis system which is capable of automatically collecting option information required as input parameters when executing a source code static analysis tool. - 特許庁

静的解析部１０１は、ソースプログラム２００を静的に解析し、動的呼出し側関数及び動的呼出され側関数を洗い出し、各関数に関数ＩＤを付与する。例文帳に追加

A static analyzing part 101 analyzes a source program 200 statically and identifies dynamic calling side functions and dynamic called side functions to add function IDs to each function. - 特許庁

また、静的解析では見出だすことができない回路冗長性を発見することにより回路の合理化を図ると同時に、論理合成時間、論理最適化時間、静的消費電力解析時間の短縮を図ることができる。例文帳に追加

In addition, the circuit can be rationalized by detecting the redundancy of the circuit which can not be detected by still analysis and the logical synthesis time, logical optimization time and static power consumption analysis time can be shortened. - 特許庁

回路は静的解析または直流解析を使用して解析されて、ボディ効果および局部的熱効果を含んだ、回路デバイスに対する初期局部効果が得られる。例文帳に追加

The circuit is analyzed using static analysis or DC analysis and an initial local effect for the circuit device including body effect and local heat effect is obtained. - 特許庁

静的解析を利用してソフトウェアの排他制御に関する不具合を精度よく検出することができる排他制御不具合候補抽出装置を提供する。例文帳に追加

To provide an exclusive control trouble candidate extraction device allowing detection of trouble related to exclusive control of software with high accuracy by use of static analysis. - 特許庁

所望プレテンション部は、初期化処理の際に−一連の準静的解析の際に、所望のプレテンションをビーム要素に実際に印加することができることを確実にするよう構成される。例文帳に追加

The desired pretension portion is configured for ensuring the desired pretension can actually be applied to the beam element during an initialization process, that is, a series of quasi-static analyses. - 特許庁

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

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. - 特許庁

類似度とそれ以外の静的解析情報とを関連付けて評価し、分析の目的に応じて類似度情報を選別し分析者に情報提供する。例文帳に追加

Similarity is associated with the static analysis information other than the similarity and evaluated to select similarity information in accordance with an analysis purpose and then provide the information to an analyst. - 特許庁

本発明は特定の技術者の経験や感覚に左右されず、ソフトウェア開発組織やプロジェクトの特質に合致したソースコード静的解析の警告の優先順位付けを行う。例文帳に追加

To prioritize warnings about static analysis of source codes that match the characteristic of a software development organization or project, without depending on the experience or sense of any particular engineer. - 特許庁

静的解析の対象となるソースコードの流用部分の検索を行い、流用を検出した場合、ソースコードの流用部分の解析を実行しない。例文帳に追加

An analysis system searches for a shared portion of the source code for static analysis, and does not analyze the shared portion when sharing is detected. - 特許庁

静的解析を利用してソフトウェアの排他制御に関する不具合を精度よく検出することができる排他制御不具合候補抽出装置を提供する。例文帳に追加

To provide an exclusive control fault candidate extraction device capable of precisely detecting a fault relating to exclusive control of software by using static analysis. - 特許庁

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

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 detect shared resources to be managed by individual semaphores among a plurality of shared resources managed by one semaphore by the static analysis of source codes. - 特許庁

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

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. - 特許庁

ビルドサーバ１２のビルド部１２１は、構成管理サーバ１１のソフトウェア部品のソースに更新があった場合、ソースを取得して実行プログラムを作成し、静的解析を行い、レポートを作成する。例文帳に追加

In an automatic performance evaluation system, a build part 121 of a build server 12 obtains a source of software component and prepares a program for execution when the source of software component of a configuration management server 11 is updated to analyze it statically and prepare a report. - 特許庁

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

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. - 特許庁