HOME
ISTQB Model-Based Tester Extension

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

要求仕様書からモデルを作成する際の最大の課題はどれか。

自然言語で書かれた要求には解釈の余地があるため、モデル化の際に厳密な定義が求められる。

2026年3月13日

モデル上の動作と実際のシステムの動作が一致しない現象を何と呼ぶか。

モデルが現実を正しく抽象化できていない場合、モデル上では合格しても実機で失敗するなどの乖離が生じる。

2026年3月13日

MBTにおける「制約付きランダム」の目的はどれか。

特定の制約条件（ガード条件など）を満たす範囲内で、ランダムにテスト入力を生成する。

2026年3月13日

MBTに関連するモデリングの標準を策定している主な団体はどれか。

OMGはUMLやSysMLなど、MBTで広く使われる言語の標準化を行っている。

2026年3月13日

MBTとAI/機械学習の組み合わせで期待される効果はどれか。

機械学習を用いることで、既存の仕様書やログからモデルを自動生成する研究が進んでいる。

2026年3月13日

回帰テストにおけるMBTの最大の強みはどれか。

仕様変更箇所をモデルに反映させるだけで、必要な回帰テストケースを自動的に再生成できる。

2026年3月13日

モデルが特定の安全性（セーフティ）プロパティを満たしているか検証する技術はどれか。

モデルチェッキングは、数理的な手法を用いてモデルが設計上の制約に違反しないかを確認する。

2026年3月13日

モデルが複雑になり、状態の組み合わせが指数関数的に増える現象を何と呼ぶか。

状態爆発は、複数の変数の組み合わせにより取り得る状態数が膨大になる問題である。

2026年3月13日

複数の状態マシンが同時に動作するシステムのモデル化で重要な概念はどれか。

並行動作するシステムでは、各状態マシン間でのイベントの同期や通信のモデル化が不可欠である。

2026年3月13日

MBTを探索的テストに活用する方法として適切なものはどれか。

モデルを地図のように使い、まだ探索されていない領域を人間が重点的にテストする。

2026年3月13日