文献

J-GLOBAL ID：201702233584184421   整理番号：17A1913781

SATソルバを使用したロケーティングアレイの生成手法について

A SAT-based method for generating locating arrays

著者 (4件)： 小西達也 (大阪大 大学院情報科学研究科) ,  小島英春 (大阪大 大学院情報科学研究科) ,  中川博之 (大阪大 大学院情報科学研究科) ,  土屋達弘 (大阪大 大学院情報科学研究科)
資料名： 電子情報通信学会技術研究報告  (IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
巻： 117  号： 301(MSS2017 24-46)  ページ： 147-152  発行年： 2017年11月09日 
JST資料番号： S0532B  ISSN： 0913-5685  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 本論文では,ソフトウェアテストの1つ,組み合わせテストについて議論する。具体的には,組み合わせテストで使用するテストケース集合の1つ,ロケーティングアレイに焦点を当てる。ロケーティングアレイは,与えられたパラメータ値の組み合わせをすべて網羅しているだけでなく,実行結果から不具合の原因となる組み合わせを特定することができる。ロケーティングアレイの生成手法に関する研究はまだ少なく,また,多くの場合について構成に必要な最小のテストケース数がわかっていない。そこで,SATソルバを使用したロケーティングアレイの生成手法を提案する。また,実際にロケーティングアレイを求め,得られた最小のテストケース数についても報告する。(著者抄録)

シソーラス用語： *応用プログラム ,  試験 ,  *ソフトウェア ,  デバッギング ,  *プログラム検査 ,  充足可能性問題 ,  生産
準シソーラス用語： ソフトウェアテスト ,  *ソルバ ,  テストケース ,  自動生成

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

引用文献 (8件)：

• D.R. Kuhn and D.R. Wallace, ′′Software fault interactions and implications for software testing,′′ IEEE Transactions on Software Engineering, vol.30, no.6, pp.418-421, June 2004.
• D.R. Kuhn, R.N. Kacker, and Y. Lei, Introduction to combinatorial testing, CRC Press, 2013.
• C.J. Colbourn and D.W. McClary, ′′Locating and detecting arrays for interaction faults,′′ Journal of combinatorial optimization, vol.15, pp.17-48, 2008.
• T. Nagamoto, T. Nagamoto, H. Nakagawa, and T. Tsuchiya, ′′Locating a faulty interaction in pair-wise testing,′′ Proc. of IEEE 20th Pacific Rim International Symposium on Dependable Computing, pp.155-156, 2014.
• B. Hnich, S. D. Prestwich, E. Selensky, and B. M. Smith, ′′Constraint models for the covering test problem,′′ Constraints (2006), vol.11, pp.199-219, 2006.

タイトルに関連する用語 (3件)： SAT ,  ソルバ ,  手法