By Topic

An Approach to Regression Test Selection of Adaptive EFSM Tests

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Bo Guo ; Comput. Sci. Dept., Univ. of Nebraska-Omaha, Omaha, NE, USA ; Subramaniam, M. ; Hai-Feng Guo

A formal approach to automatically building a regression test suite whose tests are guaranteed to exercise a given set of system changes is proposed. Given a test and a change, the approach analyzes the test description to provably predict whether or not the test will exercise the change. Adaptive tests whose descriptions involve multiple control paths and support values over commonly used data types are considered. We introduce fully-observable adaptive tests whose descriptions contain all the relevant information about their executions. A structural invariant generated from a test description identifies fully-observable tests and is used to develop a procedure to automatically select tests exercising changes.

Published in:

Theoretical Aspects of Software Engineering (TASE), 2011 Fifth International Symposium on

Date of Conference:

29-31 Aug. 2011