FSM-based ReTesting Methods

Abstract The selection of appropriate test cases is an important issue in software engineering. A number of methods are known for the selection of a test suite based on the specification and an implementation under test given in the form of a finite state machine (FSM). In realistic applications, this specification evolves incrementally throughout incorporating frequent modifications. In this paper, we adapt three well-known test derivation methods, namely the W, Wp, and HIS methods, for generating tests that would test the modified parts of the evolving specification. Application examples are provided