TMCへの確認 #33
TMCへの確認:制約ノートの書き口
説明
②制約ノートの書き口
事前条件、事後条件において、①で記載したそれぞれどのような状態を取っているのかを、
制約ノートの「制約」欄に記述することで、明確にしました。
上記のような定義を用いると、以下のような効果が期待されます。
・利点:ステートマシン図での状態と、事前条件/事後条件の紐づけが可能
一方で、以下のような懸念点も考えられますが、いかがでしょうか?
・欠点:手で書いているため、図を変更すると条件に関するメンテナンスが必要
関連するチケット