/ プログラム/ 発表一覧/ 著者一覧企業展示一覧/ jsai2015ホーム /

2H5-OS-03b-5 組合せテストケース生成問題に対する制約解集合プログラミングの適用

*セッションの無断動画配信はご遠慮下さい。

Tweet #jsai2015 このエントリーをはてなブックマークに追加

05月31日(Sun) 17:20〜19:00 H会場(5F北-小講義室 (583))
2H5-OS-03b オーガナイズドセッション「OS-3 SAT技術の理論,実装,応用 (2)」

演題番号2H5-OS-03b-5
題目組合せテストケース生成問題に対する制約解集合プログラミングの適用
著者兼行 大将(神戸大学大学院システム情報学研究科)
番原 睦則(神戸大学 情報基盤センター)
宋 剛秀(神戸大学 情報基盤センター)
田村 直之(神戸大学 情報基盤センター)
井上 克巳(国立情報学研究所)
時間05月31日(Sun) 18:40〜19:00
概要制約解集合プログラミング(CASP;Constraint Answer Set Programming)は,解集合プログラミングと制約プログラミングを融合した新しいプログラミングパラダイムである.近年,SAT技術を応用した高速なCASPソルバが開発され,注目を集めている.本研究では,組合せテストケース生成問題に対して,制約充足問題としての定式化およびCASP符号化を提案し,その有効性を検証する.
論文PDFファイル