HOME
Lv007

「Lv007」の記事一覧

異なるプロジェクト間でMBTモデルを再利用するための工夫はどれか。

モデルを機能単位で部品（コンポーネント）化することで、類似システムへの展開が容易になる。

2026年3月13日

GUIの画面遷移をMBTでテストする際、状態として扱うべきものはどれか。

各画面を「状態」、ボタン押下などを「イベント（遷移）」として定義することでGUIテストを自動化できる。

2026年3月13日

MBTが従来の手動設計よりも多くの不具合を見つける主な理由はどれか。

人間が見落としがちなレアケースや複雑なパスを、モデルに基づき体系的に生成できるためである。

2026年3月13日

境界値分析をMBTに適用する際の方法として適切なものはどれか。

モデルに記述された条件式の境界となる値を、テストデータとして優先的に生成する。

2026年3月13日

複数の独立したモデルが共有リソースにアクセスする際の競合を検出する手法はどれか。

モデルを静的に解析することで、並行動作時に発生し得るリソースの競合やデッドロックを予測できる。

2026年3月13日

MBTにおいて避けるべき「アンチパターン」はどれか。

実装の詳細をモデルに含めすぎると、モデルの保守が困難になり、MBTの利点が失われる。

2026年3月13日

具体的な値の代わりに変数記号を用いて、モデル内の全パスを解析する手法はどれか。

シンボリック実行を用いると、特定の条件分岐を通過するために必要な入力値を数学的に導出できる。

2026年3月13日

CIパイプラインにMBTを組み込む際の自動化範囲はどれか。

コードの変更を検知してモデルからテストを再生成し、そのまま実行する流れを自動化する。

2026年3月13日

テスト実行中にモデルの状態が実システムと同期していることを確認しやすくする性質を何と呼ぶか。

可観測性が高いと、不具合が発生した際にモデルのどの部分で問題が起きたかを特定しやすくなる。

2026年3月13日

特定の実行環境や設定に依存する振る舞いを定義するモデルを何と呼ぶか。

実行時の環境設定やユーザー権限などのコンテキストに応じたモデルの切り替えが必要になる。

2026年3月13日