eToc implements a genetic algorithm for test case
generation working on classes written in the Java programming language.
A test suite is generated so as to maximize the level of
branch coverage reached by the test cases. Assertions
on the expected outputs must be added manually.
The high level organization of the tool is depicted in the figure above.
Description:
The Java source code of the Class Under Test (CUT)
is analyzed and transformed by the
Branch instrumentor module, which produces an instrumented version of the
original class and determines information about method signatures, call and
control dependences, used by other modules. In particular, the
Chromosome former is able to generate chromosomes based on the method
signatures, and implements mutation operators to transform them.
The Test case generator evolves a population of chromosomes according
to evolutionary rules.
Chromosomes are obtained from the Chromosome former, which is also
responsible for mutating them. The test case associated to each chromosome
is executed using the instrumented version of the CUT, in order to
determine the targets (branches) covered by each individual.
At the end of execution, the Test case generator minimizes the set of
chromosomes while keeping the level of coverage reached by the genetic
algorithm. Minimized test cases are converted into the format used by the
tool Junit, that is, a Junit test class is
generated. After manually adding assertions, test cases in the test class
can be executed by means of Junit.
Download:
eToc is available as open source software. To download eToc
click here.
Documentation:
More information about eToc and the principles behind its usage
can be found in:
Paolo Tonella,
Evolutionary Testing of Classes
IRST Technical Report, Ref. No. P04-09-06. April 2004.
