execution tracesとは 意味・読み方・使い方

Concrete execution traces are generated for remaining warnings using model checking.例文帳に追加

具体的な実行トレースが、モデル検査を用いて残存する警告のために生成される。 - 特許庁

Further, an adapted scenario re-execution control section 61 traces a state after an operation adapted to the congestion to conduct proper processing such as release and update.例文帳に追加

また、対処シナリオ再実行制御部６１、輻輳への対処オペレーション後の状況追跡を行うことで解除、更新等の適切な処置を行う。 - 特許庁

To solve a problem that production efficiency is low since work must be discontinued and traces of a new program without execution record and an edited program must be confirmed in an editing mode, when a starting position or a restarting position is remarkably shifted from the scheduled shift.例文帳に追加

開始位置や再開位置が予定より大きくずれていると加工を中止し、実行実績のない新規プログラムや編集されたプログラムは編集モードで軌跡を確認しなければならないため、生産効率が悪い。 - 特許庁

A transition test support system according to the present invention reads an improvement tag describing a part in which an application is improved from execution result traces of applications, and excludes the part from a target of comparison between a current system and a new system.例文帳に追加

本発明に係る移行テスト支援システムは、アプリケーションが改修されている箇所を記述した改修タグをアプリケーションの実行結果トレースから読み込み、その部分を現行システムと新システムの間の比較対象から除外する。 - 特許庁

In this programmable controller provided with a program memory 2 storing a sequence program, a data memory 5 storing data necessary to control and a microprocessor 1 for carrying out the execution of the sequence program and the whole control, it is possible to monitor real data in the middle of sequence program execution by adding a data trace circuit 9 that immediately traces data used in the middle of execution of the sequence program.例文帳に追加

シーケンスプログラムを記憶したプログラムメモリと制御に必要なデータを記憶するデータメモリと、前記シーケンスプログラムの実行と全体の制御を実行するためのマイクロプロセッサを備えたプログラマブルコントローラにおいて、シーケンスプログラムの実行中に使用したデータを即時トレースするデータトレース回路を付加することにより、シーケンスプログラム実行中の実データをモニタすることが可能なようにしたプログラマブルコントローラ。 - 特許庁

The first extraction unit 120 traces statements contained in the execution trace 110b in the forward direction to track a transition relation of a variable corresponding to a preliminary condition of the property 110a and extracts a statement containing the variable to be tracked.例文帳に追加

第１の抽出部１２０は、実行トレース１１０ｂに含まれる命令文を順方向に辿り、プロパティ１１０ａの事前条件に対応する変数の推移関係を追跡し、追跡中の変数を含む命令文を抽出する。 - 特許庁