Physical Sciences and Mathematics Commons^™

Test Selection On Extended Finite State Machines With Provable Guarantees, Bo Guo, Mahadevan Subramaniam

Chemistry Faculty Publications

Building high confidence regression test suites to validate new system versions is a challenging problem. A model- based approach to build a regression test suite from a given test suite is described. The generated test suite includes every test that will traverse a change performed to produce the new version, and consists of only such tests to reduce the testing costs. Finite state machines extended with typed variables (EFSMs) are used to model systems and system changes are mapped to EFSM transition changes adding/deleting/replacing EFSM transitions and states. Tests are a sequence of input and expected output messages with concrete …