An approach to regression test selection of adaptive EFSM tests

Bo Guo, Mahadevan Subramaniam, Hai Feng Guo

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

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 languageEnglish (US)
Title of host publicationProceedings - 5th International Conference on Theoretical Aspects of Software Engineering, TASE 2011
Pages217-220
Number of pages4
DOIs
StatePublished - Nov 4 2011
Event5th International Conference on Theoretical Aspects of Software Engineering, TASE 2011 - Xi'an, Shaanxi, China
Duration: Aug 29 2011Aug 31 2011

Publication series

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

Conference

Conference5th International Conference on Theoretical Aspects of Software Engineering, TASE 2011
CountryChina
CityXi'an, Shaanxi
Period8/29/118/31/11

Keywords

  • Extended Finite State Machines
  • Regression Test Selection
  • Theorem Proving

ASJC Scopus subject areas

  • Computational Theory and Mathematics
  • Software

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). [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 proceedingConference 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
Guo B, Subramaniam M, Guo HF. An approach to regression test selection of adaptive EFSM tests. In 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). https://doi.org/10.1109/TASE.2011.39
Guo, Bo ; Subramaniam, Mahadevan ; Guo, Hai Feng. / An approach to regression test selection of adaptive EFSM tests. Proceedings - 5th International Conference on Theoretical Aspects of Software Engineering, TASE 2011. 2011. pp. 217-220 (Proceedings - 5th International Conference on Theoretical Aspects of Software Engineering, TASE 2011).
@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",
month = "11",
day = "4",
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",

}

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/11/4

Y1 - 2011/11/4

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

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

ER -