HOME
Lv013

「Lv013」の記事一覧

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

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

2026年3月13日

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

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

2026年3月13日

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

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

2026年3月13日

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

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

2026年3月13日

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

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

2026年3月13日

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

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

2026年3月13日

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

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

2026年3月13日

設計モデル（UML等）をテスト用モデル（状態遷移図等）へ変換する際の課題はどれか。

設計目的とテスト目的では必要な情報が異なるため、変換時に意図した動作が維持されるか確認が必要である。

2026年3月13日

テスト実行中のメモリ使用量やCPU負荷をモデルに関連付ける手法を何と呼ぶか。

モデル上の特定のパスや状態と、その実行時のリソース消費量を紐づけて分析する。

2026年3月13日

モデルが対象システムの実際の挙動をどの程度正確に反映しているかを示す指標はどれか。

忠実度が高いほど、モデルに基づくテストの結果と実システムの動作の乖離が少なくなる。

2026年3月13日