SPYH-Method: An Improvement in Testing of Finite-State Machines
Michal Soucha, Kirill Bogdanov · 2018
Test generation based on finite-state machines can improve the quality of software that can be modelled by a finite-state machine. The cost of testing depends on the size of the constructed test suite, that is, the number of tests and their combined length. There are two advanced testing methods, the H-method and the SPY-method, that generate small test suites but focus on different aspects during the construction of a test suite. This paper proposes a new testing method called the SPYH-method that combines the advantages of the two methods in order to reduce the cost of testing by constructing smaller test suites.