HOME
ISTQB Model-Based Tester Extension

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

具現化された値ではなく、論理式を用いてモデル内のパスを記録する手法はどれか。

パスを論理的な条件式として記録することで、どのような条件のデータであればそのパスを通るかを解析でき…

2026年3月13日

開発が進むにつれてモデルを徐々に拡張していく手法の利点はどれか。

全体の完成を待たずに、定義された部分から順次モデリングとテスト生成を行うことで開発サイクルを早める。

2026年3月13日

同じ初期状態と入力に対して、常に同じ遷移を辿るモデルの性質を何と呼ぶか。

決定性のあるモデルはテスト結果の再現性が高く、デバッグや回帰テストに適している。

2026年3月13日

並行開発において複数のモデルの変更を統合する作業を何と呼ぶか。

複数の設計者が行った変更を、論理的な矛盾なく一つのモデルにまとめる高度な管理が必要となる。

2026年3月13日

リスクの高い遷移を優先的にテストするアルゴリズムにおいて、重みとして使用される値はどれか。

故障の発生確率と影響度を掛け合わせたリスク露出度を重みとして、テストの優先度を決定する。

2026年3月13日

大量の顧客データを「有効なユーザー」と「無効なユーザー」の2つの状態として扱う手法はどれか。

具体的な値を抽象的な論理状態に置き換えることで、モデルの複雑さを劇的に抑えることができる。

2026年3月13日

モデル内で複数の遷移が可能な際、確率に基づき遷移を選択するモデルはどれか。

各遷移に発生確率（重み）を付与することで、より現実的なユーザー行動に近いテストを実現する。

2026年3月13日

モデルが特定の安全性制約（プロパティ）に違反しないことを証明する手法はどれか。

モデルチェッキングは全探索を用いて、モデルが定義された論理制約を破ることがないかを確認する。

2026年3月13日

ハードウェア、OS、アプリケーション層を分離してアダプタを設計するメリットはどれか。

層ごとにアダプタを分けることで、特定のハードウェア変更などが全体に与える影響を最小限に抑えられる。

2026年3月13日

複数のプロセスが共有リソースを巡って互いの終了を待つ状態をモデルで検出するにはどうするか。

モデルを状態空間探索にかけることで、並行処理におけるデッドロックの可能性を数学的に特定できる。

2026年3月13日