HOME
ISTQB Model-Based Tester Extension

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

入力条件の複雑な論理関係をモデル化するのに適した手法はどれか。

因果グラフは複数の原因（入力）と結果（出力）の論理的な結びつきを可視化するのに役立つ。

2026年3月13日

実行中のシステムとモデルの同期がズレた場合の状態を何と呼ぶか。

システムの実際の状態とモデル上の状態が一致しなくなることで、テストの継続が不可能になる。

2026年3月13日

MBTで過度な抽象化を行った場合に発生する問題はどれか。

モデルを簡略化しすぎると、特定の条件下でしか発生しないバグをモデル上で表現できなくなる。

2026年3月13日

カバレッジを維持しつつテスト手順の総数を減らすアルゴリズムを何と呼ぶか。

数学的手法を用いて、最短かつ最小のケース数で目的の網羅率を達成する。

2026年3月13日

ISO 29119等のテスト標準とMBTの関係として正しいものはどれか。

MBTはISO 29119で定義されているテスト設計プロセスを自動化・高度化する手段として位置づけられる。

2026年3月13日

MBTで検出されたバグを報告する際に含めるべき特有の情報はどれか。

バグ再現のために、モデル上のどの遷移経路で問題が発生したかを明記することが重要である。

2026年3月13日

モデル内のアクション言語で使用を避けるべき要素はどれか。

モデルに複雑なロジックを書き込みすぎると、テスト設計ではなく実装の複製になってしまう。

2026年3月13日

通信プロトコルのテストにMBTが適している理由はどれか。

プロトコルは状態遷移として定義されることが多いため、モデル化による網羅的検証が容易である。

2026年3月13日

モデルの記述ミスや論理的矛盾を自動でチェックするプロセスを何と呼ぶか。

ツールを用いてモデル内の到達不能な状態やデッドロックを静的に検出することを指す。

2026年3月13日

FMEA等の安全性分析結果をMBTに反映させる方法はどれか。

予測される故障モードをモデルに組み込むことで、異常系テストを体系的に生成できる。

2026年3月13日