2025年7月29日火曜日

契約による設計


 ・オブジェクトの仕様を形式的に表現するアサーション(=表明)という考えを取り入れる

・アサーションを満たすことができなかった場合は、例外を投げる 

・事前条件、事後条件、不変式の3つのアサーションを使用する

・事前条件は、操作を実行するために必要な条件を定義する

・事後条件は、操作の実行により起こる結果を定義する

0 件のコメント:

コメントを投稿

アクセス制御の方式

1.ユーザーベース認証 認証されたユーザー事に アクセス範囲を決める。 2.任意アクセス制御 ユーザーが属するグループに対して、アクセス範囲を決める。 3.強制アクセス制御(MAC) 管理者がすべて権限を付与。オブジェクトの所有者さえ変更できない。 4.ロールベースアクセス制御 ...