Specification Based Regression Testing Using Explicit State Space Enumeration

Chakrabarti, Sujit Kumar and Srikant, YN (2006) Specification Based Regression Testing Using Explicit State Space Enumeration. In: International Conference on Software Engineering Advances, Oct. 2006 , Tahiti.

PDF Specification.pdf - Published Version Restricted to Registered users only Download (206kB) | Request a copy

Abstract

This paper presents a method of partial automation of specification based regression testing, which we call ESSE (Explicit State Space Enumeration). The first step in 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 (SUT). Thereafter, the finite state model thus obtained is used to compute good test sequences that can be used to regression test subsequent versions of the system. We present 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.

Item Type:	Conference Paper
Publisher:	IEEE
Additional Information:	Copyright 2006 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.
Keywords:	Configuration management;Maintenance and evolution;Open systems development
Department/Centre:	Division of Electrical Sciences > Computer Science & Automation
Date Deposited:	27 Dec 2011 09:17
Last Modified:	27 Dec 2011 09:17
URI:	http://eprints.iisc.ac.in/id/eprint/42820

Actions (login required)

View Item