構造振動モデルの定義を測定と検証まで含めて整理する

機能を増やして不足に備える判断と、機能を減らして運用を安定させる判断は、同じ対象に対して繰り返し現れる。ソフトウェアの設計では、未知の要求に対応できるように例外経路を追加することがある。例えば、通常の処理が失敗した場合に … 続きを読む

権限設定を変えずに許可外の操作を実行させる経路

あるプログラムには機密ファイルを読み取る権限があり、別の利用者にはそのプログラムの設定ファイルを書き換える権限だけがあるとする。設定ファイルには読み取り対象と送信先を指定できる。プログラムが設定内容をそのまま処理に反映す … 続きを読む

ソフトウェアの複雑性はどこへ移るのか

ソフトウェアが扱う状態や入力の候補は、システムを構成する要素が増えるにつれて急速に増える。二つの値しか取らない変数が \(n\) 個あるだけでも、入力の組み合わせは \(2^n\) 通りになる。変数が 10 個なら 1, … 続きを読む

認可の安全性は権限の成立時点まで定義する

ある組織に所属する利用者だけが、その組織へ新しいメンバーを追加できるとする。組織に所属していない利用者が、自分自身をメンバーとして追加しようとした場合、現在の所属関係を調べれば操作は拒否される。ところが、追加予定の所属情 … 続きを読む