An approach to regression test selection of adaptive EFSM tests

Bo Guo; Mahadevan Subramaniam; Hai Feng Guo

doi:10.1109/TASE.2011.39

An approach to regression test selection of adaptive EFSM tests

Bo Guo, Mahadevan Subramaniam, Hai Feng Guo

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 Scopus citations

Abstract

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.

Original language	English (US)
Title of host publication	Proceedings - 5th International Conference on Theoretical Aspects of Software Engineering, TASE 2011
Pages	217-220
Number of pages	4
DOIs	https://doi.org/10.1109/TASE.2011.39
State	Published - 2011
Event	5th International Conference on Theoretical Aspects of Software Engineering, TASE 2011 - Xi'an, Shaanxi, China Duration: Aug 29 2011 → Aug 31 2011

Publication series

Name	Proceedings - 5th International Conference on Theoretical Aspects of Software Engineering, TASE 2011

Conference

Conference	5th International Conference on Theoretical Aspects of Software Engineering, TASE 2011
Country/Territory	China
City	Xi'an, Shaanxi
Period	8/29/11 → 8/31/11

Keywords

Extended Finite State Machines
Regression Test Selection
Theorem Proving

ASJC Scopus subject areas

Computational Theory and Mathematics
Software

Access to Document

10.1109/TASE.2011.39

Cite this

Guo, B., Subramaniam, M., & Guo, H. F. (2011). An approach to regression test selection of adaptive EFSM tests. In Proceedings - 5th International Conference on Theoretical Aspects of Software Engineering, TASE 2011 (pp. 217-220). Article 6042082 (Proceedings - 5th International Conference on Theoretical Aspects of Software Engineering, TASE 2011). https://doi.org/10.1109/TASE.2011.39

An approach to regression test selection of adaptive EFSM tests. / Guo, Bo; Subramaniam, Mahadevan; Guo, Hai Feng.
Proceedings - 5th International Conference on Theoretical Aspects of Software Engineering, TASE 2011. 2011. p. 217-220 6042082 (Proceedings - 5th International Conference on Theoretical Aspects of Software Engineering, TASE 2011).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Guo, B, Subramaniam, M & Guo, HF 2011, An approach to regression test selection of adaptive EFSM tests. in Proceedings - 5th International Conference on Theoretical Aspects of Software Engineering, TASE 2011., 6042082, Proceedings - 5th International Conference on Theoretical Aspects of Software Engineering, TASE 2011, pp. 217-220, 5th International Conference on Theoretical Aspects of Software Engineering, TASE 2011, Xi'an, Shaanxi, China, 8/29/11. https://doi.org/10.1109/TASE.2011.39

@inproceedings{f467ed5ad60243b3b72383a93fb5fbfd,

title = "An approach to regression test selection of adaptive EFSM tests",

abstract = "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.",

keywords = "Extended Finite State Machines, Regression Test Selection, Theorem Proving",

author = "Bo Guo and Mahadevan Subramaniam and Guo, {Hai Feng}",

year = "2011",

doi = "10.1109/TASE.2011.39",

language = "English (US)",

isbn = "9780769545066",

series = "Proceedings - 5th International Conference on Theoretical Aspects of Software Engineering, TASE 2011",

pages = "217--220",

booktitle = "Proceedings - 5th International Conference on Theoretical Aspects of Software Engineering, TASE 2011",

note = "5th International Conference on Theoretical Aspects of Software Engineering, TASE 2011 ; Conference date: 29-08-2011 Through 31-08-2011",

}

TY - GEN

T1 - An approach to regression test selection of adaptive EFSM tests

AU - Guo, Bo

AU - Subramaniam, Mahadevan

AU - Guo, Hai Feng

PY - 2011

Y1 - 2011

N2 - 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.

AB - 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.

KW - Extended Finite State Machines

KW - Regression Test Selection

KW - Theorem Proving

UR - http://www.scopus.com/inward/record.url?scp=80055114349&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=80055114349&partnerID=8YFLogxK

U2 - 10.1109/TASE.2011.39

DO - 10.1109/TASE.2011.39

M3 - Conference contribution

AN - SCOPUS:80055114349

SN - 9780769545066

T3 - Proceedings - 5th International Conference on Theoretical Aspects of Software Engineering, TASE 2011

SP - 217

EP - 220

BT - Proceedings - 5th International Conference on Theoretical Aspects of Software Engineering, TASE 2011

T2 - 5th International Conference on Theoretical Aspects of Software Engineering, TASE 2011

Y2 - 29 August 2011 through 31 August 2011

ER -

An approach to regression test selection of adaptive EFSM tests

Abstract

Publication series

Conference

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this