5
Test Generation from Finite State Models
CONTENTS
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 ...
Get Foundations of Software Testing, 2nd Edition now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
