Superfit Combinational Elusive Bug Detection

Software that has been well tested and analyzed may fail unpredictably when a certain combination of conditions occurs. In bounded exhaustive testing (BET) all combinations are tested on reduced versions of a problem/application with the idea that bugs associated with combinations for full versions of a program may also show up when combinations are tested for the reduced version. In previous work, a class oriented JUnit framework approach to BET was introduced, along with the idea of a BET test pattern. In this paper we considered the application of BET to system testing, using an extension of the FIT (framework for integrated testing) framework called SuperFIT. This approach is described along with a simple example of the application of a SuperFIT test generation tool.