Specification Based Regression Testing Using Explicit State Space Enumeration
Sujit Kumar Chakraborti and Y.N. Srikant
IISc-CSA-TR-2006-3
(April 2006) Available formats: [pdf]
Filed on April 21, 2006
Updated on April 24, 2006
When a software system enters maintenance phase, Regression
Testing becomes an important Software Engineering activity. Large
size and complex nature of the software, frequent releases and low defect
rate demands in subsequent releases and patches makes it imperative
to carry out regression testing in a near exhaustive and efficient
manner.
This paper presents a method of partial automation of specification
based regression testing, ESSE (Explicit State Space Enumeration).
The central idea of ESSE method is the extraction of a finite
state model of the system making use of an already tested version of
the system under test. We demonstrate the usefulness of the finite
state model thus obtained by presenting two new algorithms for test
sequence computation - both based on our finite state model generated
by the above method. We also provide the details and results
of the experimental evaluation of ESSE method. Comparison with a
practically used random-testing algorithm has shown substantial
improvements.
Please bookmark this technical report as http://aditya.csa.iisc.ernet.in/TR/2006/3/.Problems ? Contact techrep@csa.iisc.ernet.in
[Updated at 2009-10-22T06:42Z]