文献

J-GLOBAL ID：201502268575724770   整理番号：15A0557490

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

著者 (4件)： 坂野宏樹 (大阪大 基礎工) ,  中川博之 (大阪大 大学院情報科学研究科) ,  小島英春 (大阪大 大学院情報科学研究科) ,  土屋達弘 (大阪大 大学院情報科学研究科)
資料名： 電子情報通信学会論文誌 D(Web)
巻： J98-D  号： 3  ページ： 384-395 (WEB ONLY)  発行年： 2015年03月01日 
JST資料番号： U0473A  ISSN： 1881-0225  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 本研究では,組み合わせインタラクションテストにおけるテストケース生成での制約処理について注目する。制約処理とは,テストケース生成時にテストケース若しくはテストケースの一部(インタラクション)が制約に違反していないかどうかを判定し,違反するものを除去する処理を指す。制約処理の手法は様々あるが,現在はSATソルバを用いた制約処理法が主に利用されている。本研究では,制約処理をBDD(Binary Decision Diagram)を用いて実装した場合の制約処理の性能を評価する。BDDは論理関数を無閉路有向グラフ(DAG)でコンパクトに表現するデータ構造であり,グラフのパス長に対して線形で判定できるため,高速な制約判定が期待できる。本研究では,代表的なテストケース生成ツールであるCASAを用い,CASAの制約処理部をBDDに書き換え,書き換え前のSATソルバを用いた制約処理との性能を比較した。本評価実験から,制約処理の前処理において,BDDの方が従来のSATソルバよりも高速な制約判定が可能であることが確認できた。(著者抄録)

シソーラス用語： 性能評価 ,  *二分決定グラフ ,  *処理 ,  *制約条件 ,  *データ構造 ,  製造 ,  シナリオ ,  プログラム検証 ,  評価試験 ,  *ソフトウェア開発 ,  充足可能性問題 ,  論理 ,  命題 ,  論理演算
準シソーラス用語： *制約処理 ,  テストケース生成 ,  連言

分類 (1件)： 計算機システム開発  (JD02010R)

引用文献 (22件)：

• M. Grindal, J. Offutt, and S.F. Andler, "Combination testing strategies: A survey," Software Testing, Verification, and Reliability, vol.15, pp.167-199, 2005.
• C. Nie and H. Leung, "A survey of combinatorial testing," ACM Computing Surveys (CSUR), vol.43, no.2, pp.11:1-11:29, Feb. 2011. http://doi.acm.org/10.1145/1883612.1883618
• D.R. Kuhn, R.N. Kacker, and Y. Lei, Introduction to Combinatorial Testing, CRC Press, Boca Raton, FL, USA, 2013.
• M.B. Cohen, M.B. Dwyer, and J. Shi, "Constructing interaction test suites for highly-configurable systems in the presence of constraints: A greedy approach," IEEE Trans. Softw. Eng., vol.34, no.5, pp.633-650, Sept. 2008. http://dx.doi.org/10.1109/TSE.2008.50
• B.J. Garvin, M.B. Cohen, and M.B. Dwyer, "Evaluating improvements to a meta-heuristic search for constrained interaction testing," Empirical Software Engineering, vol.16, no.1, pp.61-102, Feb. 2011. http://dx.doi.org/10.1007/s10664-010-9135-7

タイトルに関連する用語 (6件)： 組み合わせ ,  インタラクション ,  テスト ,  BDD ,  制約処理 ,  性能評価