{{ $t("message.ADVERTISEMENT") }}
{{ $t("message.AD_EXPIRE_DATE") }}2024年03月
文献
J-GLOBAL ID:201502268575724770   整理番号:15A0557490

組み合わせインタラクションテストにおけるBDDを用いた制約処理法の性能評価

著者 (4件):
資料名:
巻: J98-D  号:ページ: 384-395 (WEB ONLY)  発行年: 2015年03月01日 
JST資料番号: U0473A  ISSN: 1881-0225  資料種別: 逐次刊行物 (A)
記事区分: 原著論文  発行国: 日本 (JPN)  言語: 日本語 (JA)
抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
本研究では,組み合わせインタラクションテストにおけるテストケース生成での制約処理について注目する。制約処理とは,テストケース生成時にテストケース若しくはテストケースの一部(インタラクション)が制約に違反していないかどうかを判定し,違反するものを除去する処理を指す。制約処理の手法は様々あるが,現在はSATソルバを用いた制約処理法が主に利用されている。本研究では,制約処理をBDD(Binary Decision Diagram)を用いて実装した場合の制約処理の性能を評価する。BDDは論理関数を無閉路有向グラフ(DAG)でコンパクトに表現するデータ構造であり,グラフのパス長に対して線形で判定できるため,高速な制約判定が期待できる。本研究では,代表的なテストケース生成ツールであるCASAを用い,CASAの制約処理部をBDDに書き換え,書き換え前のSATソルバを用いた制約処理との性能を比較した。本評価実験から,制約処理の前処理において,BDDの方が従来のSATソルバよりも高速な制約判定が可能であることが確認できた。(著者抄録)
シソーラス用語:
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ(有料)でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。

準シソーラス用語:
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ(有料)でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。

分類 (1件):
分類
JSTが定めた文献の分類名称とコードです
計算機システム開発 
引用文献 (22件):
もっと見る

前のページに戻る