Presentation | 2016-10-27 ZDD-based test case generation method for high strength combinatorial interaction testing Teru Ohashi, Tatsuhiro Tsuchiya, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | Combinatorial interaction testing is a well practiced software testing method. This method requires any $t$-wise parameter interaction to be exercised by at least one test case. The value of $t$ is usually referred to as strength. Thus far very few techniques are known for constructing test suites of high strength. In this paper we propose an approach that uses ZDD-based graph algorithms to construct a very high strength combinatorial test suite. Constructing high strength test suites is challenging because of the large number of interactions that must be handled during test suite construction. A ZDD is a data structure that can be used to enumerate a very large number of paths in an undirected graph and to perform operations on large sets of graphs. In our approach test cases and interactions are represented as subgraphs of the same graph. Using a ZDD-based graph library to operate on the graphs, we succeeded in constructing test suites of high strength up to $t = 11$ for some problem instances. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | Combinatorial interaction testing / pair-wise testing / BDD / ZDD |
Paper # | SS2016-18,DC2016-20 |
Date of Issue | 2016-10-20 (SS, DC) |
Conference Information | |
Committee | DC / SS |
---|---|
Conference Date | 2016/10/27(2days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | Hikone Kinro-Fukushi Kaikan Bldg. |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | Software System and Dependability on Network, etc |
Chair | Michiko Inoue(NAIST) / Kazuhiro Ogata(JAIST) |
Vice Chair | Satoshi Fukumoto(Tokyo Metropolitan Univ.) / Akio Nakata(Hiroshima City Univ.) |
Secretary | Satoshi Fukumoto(Kyoto Sangyo Univ.) / Akio Nakata(Tokyo Inst. of Tech.) |
Assistant | / Kazuyuki Shima(Hiroshima City Univ.) |
Paper Information | |
Registration To | Technical Committee on Dependable Computing / Technical Committee on Software Science |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | ZDD-based test case generation method for high strength combinatorial interaction testing |
Sub Title (in English) | |
Keyword(1) | Combinatorial interaction testing |
Keyword(2) | pair-wise testing |
Keyword(3) | BDD |
Keyword(4) | ZDD |
1st Author's Name | Teru Ohashi |
1st Author's Affiliation | Osaka University(Osaka Univ) |
2nd Author's Name | Tatsuhiro Tsuchiya |
2nd Author's Affiliation | Osaka University(Osaka Univ) |
Date | 2016-10-27 |
Paper # | SS2016-18,DC2016-20 |
Volume (vol) | vol.116 |
Number (no) | SS-277,DC-278 |
Page | pp.pp.1-6(SS), pp.1-6(DC), |
#Pages | 6 |
Date of Issue | 2016-10-20 (SS, DC) |