「モデルベースドテスティング（MBT）」において、テストケースの導出に使用される「モデル」の例はどれか。

2026年1月25日

システムの振る舞いを論理的に定義したモデルからパスを抽出する。

ISO/IEC 25010の「セキュリティ」の副特性に含まれるものはどれか。

リスク対策「回避」の例として、不適切なものはどれか。