事後条件の英語

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

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. - 特許庁

事後値が所定の条件を満たした場合、通信路値更新制御信号に基づいて、拡張型通信路値更新器3-02，3-05は事後値の更新処理を停止し、保持していた更新後の事後値を出力する。例文帳に追加

When the posteriori value satisfies the prescribed condition, the expansion type communication path value updating apparatuses 3-02 and 3-05 stop update processing of the posteriori value based on the communication path value update control signal, and outputs the held posteriori value after update. - 特許庁

同庁予算の執行についての監査は，国務院布告によって定められた条件に従い，事後的に行われる。例文帳に追加

The audit of the execution of the Institute’s budget shall be effected a posteriori in compliance with the conditions laid down by a Conseil d’Etat decree.発音を聞く  - 特許庁

その分布を事前確率分布として、実際に得られた検査結果を前提条件とし、被験者の易罹患性の事後確率分布を推定する。例文帳に追加

A posteriori probability distribution of the susceptibility of the examinee is estimated by making the examination result actually obtained as a precondition letting the distribution as a prior probability distribution. - 特許庁

撮像条件を変えて画像を連続して取得する場合に、取得画像の容易な事後管理を実現する。例文帳に追加

To achieve an easy management of acquired images after acquisition when sequentially acquiring images by changing imaging conditions. - 特許庁

テスト対象のソフトウェアコンポーネントの実行状態が、事前条件定義情報で表される状態に至った場合に、実行仮想環境アプリケーションサーバ１００が、当該実行状態を、事前条件定義情報に対応する事後条件定義情報で表される状態に遷移させる。例文帳に追加

When the execution state of the software components to be tested is put in a state expressed by the pre-condition definition information, an execution virtual environment application server 100 shifts the execution state to the state expressed by the post-condition definition information corresponding to the pre-condition definition information. - 特許庁

キーワード抽出部１０２は、シーケンス図１のソフトウェアを入力し、ソフトウェアの処理順序、事前条件、事後条件に関するキーワード情報を抽出する。例文帳に追加

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. - 特許庁

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

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. - 特許庁