TY - JOUR
T1 - RepOK-based reduction of bounded exhaustive testing
AU - Bengolea, Valeria
AU - Aguirre, Nazareno
AU - Marinov, Darko
AU - Frias, Marcelo
N1 - Publisher Copyright:
Copyright © 2014 John Wiley & Sons, Ltd.
PY - 2014/12/1
Y1 - 2014/12/1
N2 - While the effectiveness of bounded exhaustive test suites increases as one increases the scope for the bounded exhaustive generation, both the time for test generation and the time for test execution grow exponentially with respect to the scope. In this article, a set of techniques for reducing the time for bounded exhaustive testing, by either reducing the generation time or reducing the obtained bounded exhaustive suites, is proposed. The representation invariant of the software under test's input, implemented as a repOK routine, is exploited for these reductions in two ways: (i) to factor out separate representation invariants for disjoint structures of the inputs; and (ii) to partition valid inputs into equivalence classes, according to how these exercise the repOK code. The first is used in order to split the test input generation process, as disjoint substructures can be independently generated. The second is used in order to reduce the size of a bounded exhaustive test suite, by removing from the suite those tests that are equivalent to some tests already present in the suite.
AB - While the effectiveness of bounded exhaustive test suites increases as one increases the scope for the bounded exhaustive generation, both the time for test generation and the time for test execution grow exponentially with respect to the scope. In this article, a set of techniques for reducing the time for bounded exhaustive testing, by either reducing the generation time or reducing the obtained bounded exhaustive suites, is proposed. The representation invariant of the software under test's input, implemented as a repOK routine, is exploited for these reductions in two ways: (i) to factor out separate representation invariants for disjoint structures of the inputs; and (ii) to partition valid inputs into equivalence classes, according to how these exercise the repOK code. The first is used in order to split the test input generation process, as disjoint substructures can be independently generated. The second is used in order to reduce the size of a bounded exhaustive test suite, by removing from the suite those tests that are equivalent to some tests already present in the suite.
KW - Automated test generation
KW - Bounded exhaustive testing
KW - Test suite reduction
UR - http://www.scopus.com/inward/record.url?scp=84910595166&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84910595166&partnerID=8YFLogxK
U2 - 10.1002/stvr.1547
DO - 10.1002/stvr.1547
M3 - Article
AN - SCOPUS:84910595166
SN - 0960-0833
VL - 24
SP - 629
EP - 655
JO - Software Testing Verification and Reliability
JF - Software Testing Verification and Reliability
IS - 8
ER -