HOME
ISTQB Model-Based Tester Extension

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

モデル内に「出口のない状態（シンク状態）」が存在しないか確認する目的はどれか。

一度入ると抜け出せない状態はシステムのハングアップを意味するため、設計段階で排除する必要がある。

2026年3月13日

システムの小さなUI変更でアダプタが動作しなくなる現象を何と呼ぶか。

実装の詳細（座標など）に依存しすぎたアダプタは、仕様変更に対して非常に弱くなる。

2026年3月13日

過去の不具合データに基づき、故障が発生しやすいパスを重点的にテストする手法はどれか。

過去の不具合実績をモデルの遷移にマッピングし、リスクの高い箇所を重点的に探索する。

2026年3月13日

多数の変数が組み合わさるモデルで、状態数を抑えるための技術はどれか。

個々の変数の値を状態として扱うのではなく、論理的に意味のある範囲にグループ化して状態数を削減する。

2026年3月13日

仕様が未確定な部分をモデル化する際の一時的な記述手法として適切なものはどれか。

未定義の部分を「TBD（要定義）」等の状態で記述し、後から詳細を具体化していくことで全体像を保つ。

2026年3月13日

独自のドメイン特化言語（DSL）をツールに導入する主な目的はどれか。

汎用的な言語ではなく、特定の業務ドメインに最適化された言葉でモデルを書くことで、専門家の理解を助け…

2026年3月13日

モデル内部の複雑な処理を隠蔽し、外部には特定のインターフェースのみを見せる手法はどれか。

サブモデルを利用することで、モデル全体の可読性と再利用性を向上させることができる。

2026年3月13日

特定の時間内に応答がない場合に「タイムアウト」遷移を発生させるために必要な要素はどれか。

経過時間を保持する変数を導入し、その値が閾値を超えたことをガード条件として遷移を定義する。

2026年3月13日

生成されたテストスイートが、モデルの論理構造をどの程度網羅しているか評価することを何と呼ぶか。

テストがモデル内のすべての状態や遷移、あるいは特定の論理パスを網羅しているかを定量的に示す。

2026年3月13日

TCP/IPなどの通信手順の正当性を確認するためにMBTで重視されるカバレッジはどれか。

遷移の組み合わせ（Aの後にBが来る等）を網羅することで、複雑な通信シーケンスの不備を検出する。

2026年3月13日