Test Generation from Finite State Models
The purpose of this chapter is to introduce techniques for the generation of test data from finite state models of software designs. A fault model and three test generation techniques are presented. The test generation techniques presented are the W-method, the Unique Input/Output method, and the Wp-method.
5.1 Software Design and Testing
Development of most software systems includes a design phase. In this phase the requirements ...