シンボリックデバッガの英語

シンボリックデバッガ、方法およびプログラム例文帳に追加

SYMBOLIC DEBUGGER, SYMBOLIC DEBUGGING METHOD, AND PROGRAM - 特許庁

パイプライン処理をユーザが直感的かつ容易にデバッグすることが可能なシンボリックデバッガを提供する。例文帳に追加

To provide a symbolic debugger for enabling a user to intuitively and easily debug pipe line processing. - 特許庁

シンボリックデバッガに対してはブレークポイントの指定方式とコマンド言語仕様を拡張して利便性を向上する一方、アスペクト指向プログラミング言語に対してはコンパイル不要で、プログラムのロジック変更等が可能なデバッグ装置及びデバッガ制御方法を実現すること。例文帳に追加

To provide a debugging device and a debugger control method for extending a breakpoint designation method and command language specifications as to a symbolic debugger to improve convenience and for changing a logic of a program without requiring compiling as to an aspect-oriented programming language. - 特許庁

シンボリックデバッガは、表示手段と、ハードウェア動作モデルを実行するモデル実行手段と、その実行状態に応じて表示手段によるソースプログラムの実行状態の表示を管理する対応関係管理手段と、を有する。例文帳に追加

The symbolic debugger is provided with: a display means; a model execution means for executing a hardware operation model; and a correspondence relation management means for managing the display of the execution state of a source program by the display means according to the execution state. - 特許庁

より詳細には、メソッドの表明に関して注釈で事前条件と事後条件を定まった形式で記述しておき、その表明注釈を解析する表明注釈解析部４と、メソッドを表明ごとにシンボリックデバッガ３に実行させる実行制御部５と、実行結果が事前条件又は事後条件を満たすか否かを評価するデバッグ範囲特定部６と、を有する。例文帳に追加

More specifically, the information processor has: a manifestation comment analysis part 4 describing the precondition and the post condition in a decided form by a comment with respect to manifestation of a method, and analyzing the manifestation comment; an execution control part 5 making a symbolic debugger 3 execute the method in each the manifestation; and a debug range specification part 6 evaluating whether an execution result satisfies the precondition or the postcondition. - 特許庁