スコープ・要求
事前条件
Precondition
読み：じぜんじょうけん
操作や処理を開始する前に、成立している必要がある条件です。
01初心者向け
まず意味をつかむ
「予約を変更する」なら、変更する予約が存在することなどが出発点になります。処理そのものが行う仕事と、開始時点で用意されている条件を分けます。
02実務者向け
仕事でどう使うか
機能ごとに、利用者の状態、データの存在、権限などを記載します。その条件を誰がどこで保証するのかを確認し、条件外の入力をどう扱うかも設計します。
03専門家向け
判断を一段深める
事前条件を書くことは、外部からの不正な呼出しを無視してよいという意味ではありません。契約上の前提と実行時の検証を区別し、信頼境界に応じて防御を設けます。
IN PRACTICE
具体例で考える
架空の経費承認では「対象申請が提出済みで、操作者に承認権限がある」を事前条件とし、未提出の申請は承認処理へ進めません。
理解を助けるための架空の例です。提出済みの申請
承認権限あり
承認処理を開始
左の条件が両方成立して開始できる例で、検証方式は省略しています。
ここは誤解しやすい
処理が完了した後に実現する条件と混同しないようにします。
この知識を、組織の力へ。