Java PathFinderにおける探索打ち切りポリシーを用いたヒューリスティック探索

DOI

書誌事項

タイトル別名
  • Heuristic Search with Java PathFinder Using Cutoff Policy

説明

Java PathFinder (JPF)に代表されるソフトウェアモデル検査技術は，テスト工程における不具合検出に有効であるが，状態爆発への対応が課題となる．この課題を解決する手法として優先度に基づくヒューリスティック探索手法が提案されている．プログラムによって適する探索手法や優先度の付け方が異なるため，有効なヒューリスティック探索手法が多数存在することがのぞましい．本論文では，「範囲限定探索」に基づくヒューリスティック探索手法を提案する．従来手法は，ヒューリスティック関数によって各状態から不具合に早く到達できるかを見積もり，これに基づいて探索順序を決定する．これに対して提案手法では，「探索打ち切りポリシー関数」によって各状態から不具合に早く到達できるかを判断し，見込みが低い場合にはその状態からの探索を打ち切る．提案手法の有効性を検証するためにJPFに実装し，検証ツール評価用に作成されたテストプログラムを用いて既存手法との比較実験を行った．Javaによるテストプログラムを用いた実験の結果，提案手法が状態数比で2倍以上優位となるケースを確認し，ヒューリスティック探索の適用の幅が広がることを示した．

収録刊行物

関連プロジェクト

もっと見る

詳細情報 詳細情報について

  • CRID
    1390282679714791808
  • NII論文ID
    130004549315
  • DOI
    10.11309/jssst.30.3_109
  • ISSN
    02896540
  • 本文言語コード
    ja
  • 資料種別
    journal article
  • データソース種別
    • JaLC
    • CiNii Articles
    • KAKEN
  • 抄録ライセンスフラグ
    使用不可

問題の指摘

ページトップへ