HOME
ISTQB Model-Based Tester Extension

「ISTQB Model-Based Tester Extension」の記事一覧

モデルに意図的にエラー状態を挿入してテストを行う手法はどれか。

モデルの一部を変更（ミュート）し、テストケースがその変更を検出できるかを確認してテストの質を測る。

2026年3月13日

MBTモデルにおいて、すべての状態で常に真でなければならない条件はどれか。

システムの安全性を保証するために、どの状態においても維持されるべき論理制約である。

2026年3月13日

MBT導入の投資を回収するのに時間がかかる主な理由はどれか。

初期段階ではモデル作成の負荷が高いが、その後の回帰テストや変更対応で徐々に効果が蓄積される。

2026年3月13日

抽象モデルをより具体的な実装に近いモデルへ変換するプロセスを何と呼ぶか。

上位の抽象的な仕様から、テスト実行可能な具体的なモデルへと段階的に詳細度を高めていく。

2026年3月13日

MBTのモデル記述に「Z言語」や「B-Method」等の形式言語を用いる目的はどれか。

形式言語を用いることで、曖昧さを完全に排除した厳密な仕様記述と検証が可能になる。

2026年3月13日

同一の遷移パスに対して異なるデータセットを適用する手法はどれか。

パス（論理）とデータ（値）を分離し、一つのパスに対して複数のデータバリエーションを流し込む。

2026年3月13日

2つの独立した状態マシンを組み合わせて1つのモデルにする操作を何と呼ぶか。

並行して動作する複数のコンポーネントを一つの巨大な状態空間として扱うための数学的手法である。

2026年3月13日

アダプタ層で「キーワード」を使用するメリットはどれか。

抽象的な操作（キーワード）と具体的な実装を分離することで、UI変更の影響を最小限に抑えられる。

2026年3月13日

モデルの各バージョンと生成されたテストの関係を管理する重要性はどれか。

どのバージョンのモデルからどのテストが作られたかを記録することで、不具合の再現や監査に対応できる。

2026年3月13日

モデルに期待値が含まれていない場合の対処法として正しいものはどれか。

テスト対象とは別に、正解を定義した「参照モデル」や「ゴールデンプログラム」を利用する。

2026年3月13日