Postconditionを含む例文一覧と使い方
該当件数 : 9件
A keyword extracting part 102 inputs software of a sequence diagram 1 and extracts keyword information about processing order, a precondition and a postcondition of the software.例文帳に追加
キーワード抽出部１０２は、シーケンス図１のソフトウェアを入力し、ソフトウェアの処理順序、事前条件、事後条件に関するキーワード情報を抽出する。 - 特許庁
Thereafter, a second setting part 205 sets a precondition (OiPRE) and a postcondition (OiPOS) related to the operation from the extracted operation (description).例文帳に追加
この後、第２の設定部２０５は、抽出された操作（記述）から、当該操作に関する事前条件（ＯｉＰＲＥ）および事後条件（ＯｉＰＯＳ）を設定する。 - 特許庁
Next, a first setting part 203 sets conditions A by use of a precondition (UPRE), a postcondition (UPOS) and an invariable condition (UINV) related to the use case.例文帳に追加
つぎに第１の設定部２０３により、ユースケースに関する事前条件（ＵＰＲＥ）、事後条件（ＵＰＯＳ）および不変条件（ＵＩＮＶ）を用いて条件Ａを設定する。 - 特許庁
The policy description includes a postcondition wherein a condition to be satisfied about a state of the management target system just after operation defined by the policy description is described by first-order predicate logic.例文帳に追加
ポリシ記述は、ポリシ記述に定義された操作の直後に管理対象システムの状態について成立すべき条件を一階述語論理により記述した事後条件を含む。 - 特許庁
A second inspection means generates a logical expression wherein the invariant condition, the postcondition of the policy description already registered in a policy storage part 162, and the postcondition of the policy description of an inspection target are connected, and decides sufficiency of the generated logical expression by a sufficiency decision means 13 to inspect whether collision occurs between the policy descriptions under the condition wherein the invariant condition is satisfied.例文帳に追加
第２の検査手段は、検査対象のポリシ記述の事後条件と、ポリシ記憶部１６２に登録済みのポリシ記述の事後条件と、不変条件とを∧結合した論理式を生成し、充足判定手段１３により、生成した論理式の充足性を判断することで、不変条件が成立する条件の下、ポリシ記述間で衝突が生じるか否かを検査する。 - 特許庁
This inspection data generation device generates the inspection data of the inspection target program having a plurality of specifications satisfying a prescribed postcondition to prescribed preconditions 111a, 112a including a first variable and a second variable.例文帳に追加
検査データ生成装置は、第一変数と第二変数を含む所定の事前条件１１１ａ，１１２ａに対して所定の事後条件を満たす仕様を複数有する検査対象プログラムの検査データを生成する。 - 特許庁
In the information processor, an operation situation of the program is automatically verified according to previously formally described specifications (e.g. a precondition and a postcondition of a method), and a range of an erroneous position inside the program, that is, a range wherein behavior should be confirmed is automatically narrowed down.例文帳に追加
あらかじめ形式的に記述しておいた仕様（例えばメソッドの事前条件と事後条件）に従って、プログラムの動作状況を自動的に検証、プログラム内の誤っている箇所の範囲、つまり挙動を確認すべき範囲を自動的に絞り込む。 - 特許庁
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.例文帳に追加
より詳細には、メソッドの表明に関して注釈で事前条件と事後条件を定まった形式で記述しておき、その表明注釈を解析する表明注釈解析部４と、メソッドを表明ごとにシンボリックデバッガ３に実行させる実行制御部５と、実行結果が事前条件又は事後条件を満たすか否かを評価するデバッグ範囲特定部６と、を有する。 - 特許庁
| Copyright © Japan Patent office. All Rights Reserved. |
|
ログイン |
Weblio会員(無料)になると
|
|
ログイン |
Weblio会員(無料)になると
|