SPYH-method: an Improvement in Testing of Finite-State Machines

Test generation based on finite-state machines can improve the quality of software that can be modelled by a finitestate 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 SPYHmethod that combines the advantages of the two methods in order to reduce the cost of testing by constructing smaller test suites.