RepOK-based reduction of bounded exhaustive testing

Valeria Bengolea, Nazareno Aguirre, Darko Marinov, Marcelo Frias

Research output: Contribution to journalArticlepeer-review


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.

Original languageEnglish (US)
Pages (from-to)629-655
Number of pages27
JournalSoftware Testing Verification and Reliability
Issue number8
StatePublished - Dec 1 2014


  • Automated test generation
  • Bounded exhaustive testing
  • Test suite reduction

ASJC Scopus subject areas

  • Software
  • Safety, Risk, Reliability and Quality


Dive into the research topics of 'RepOK-based reduction of bounded exhaustive testing'. Together they form a unique fingerprint.

Cite this