2014
DOI: 10.1007/978-3-319-13338-6_17
|View full text |Cite
|
Sign up to set email alerts
|

Efficient Combinatorial Test Generation Based on Multivalued Decision Diagrams

Abstract: Combinatorial interaction testing (CIT) is an emerging testing technique that has proved to be effective in finding faults due to the interaction among inputs. Efficient test generation for CIT is still an open problem especially when applied to real models having meaningful size and containing many constraints among inputs. In this paper we present a novel technique for the automatic generation of compact test suites starting from models containing constraints given in general form. It is based on the use of … Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
10
0

Year Published

2015
2015
2024
2024

Publication Types

Select...
3
2

Relationship

2
3

Authors

Journals

citations
Cited by 14 publications
(10 citation statements)
references
References 23 publications
0
10
0
Order By: Relevance
“…MEDICI stays in between ACTS and CASA. MEDICI_1_1_1 produces test suites a little smaller then ACTS's ones but it is 10 times slower, MEDICI_10_30_5 produces test suites comparable to CASA but it can be faster [8]. Overall, ACTS is chosen in the 85% of cases for a single test cost of 0.01s and its percentage continuously decreases until 18% at the test cost of 500s while the percentages of the other generators increase.…”
Section: Methodsmentioning
confidence: 95%
See 3 more Smart Citations
“…MEDICI stays in between ACTS and CASA. MEDICI_1_1_1 produces test suites a little smaller then ACTS's ones but it is 10 times slower, MEDICI_10_30_5 produces test suites comparable to CASA but it can be faster [8]. Overall, ACTS is chosen in the 85% of cases for a single test cost of 0.01s and its percentage continuously decreases until 18% at the test cost of 500s while the percentages of the other generators increase.…”
Section: Methodsmentioning
confidence: 95%
“…MEDICI, as many other tools, can be fine tuned by using options: we use a fast variant (MEDICCLLl) and a more slow one (MEDICClO_30_5) which should produce fewer tests [8]. We use the same tool with two different configurations in order to prove that our approach could be used to decide the parameters for a single given tool.…”
Section: B Data Understanding and Preparationmentioning
confidence: 98%
See 2 more Smart Citations
“…In the experiments, we will be able to compute the models afi by assuming that we know the exact model of the system. We use multi-valued decision diagrams (MDDs) [12] in order to calculate the number of tests that are permitted by the constraints in the model.…”
Section: Smentioning
confidence: 99%