グレーボックステスト
アーキテクチャモデル
統一モデリング言語-UML設計モデル
有限ステートマシン-ステートモデル