Postconditionとは 意味・読み方・使い方

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 first data analyzing part 103 generates a test data template 2 to describe a precondition, a postcondition and a test range of a software combination test on the basis of the keyword information.例文帳に追加

第１のデータ解析部１０３は、キーワード情報に基づいて、ソフトウェア組合せ試験の事前条件、事後条件、試験範囲を記載する為のテストデータテンプレート２を生成する。 - 特許庁

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

検査データ生成装置は、第一変数と第二変数を含む所定の事前条件１１１ａ，１１２ａに対して所定の事後条件を満たす仕様を複数有する検査対象プログラムの検査データを生成する。 - 特許庁