symbolic debuggerとは 意味・読み方・使い方

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 debugger processing method and a recording medium that can efficiently execute the symbolic debugging of application software.例文帳に追加

アプリケーションソフトウェアのデバッグをシンボリックに効率良く実行することができるデバッガ処理方法および記録媒体を提供する。 - 特許庁

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

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