1 Homing and Synchronizing Sequences
This chapter considers two fundamental problems for Mealy machines, i.e., finite-state machines with inputs and outputs. The machines will be used in subsequent chapters as models of a system or program to test. We repeat Definition 21.1 of Chapter 21 here: readers already familiar with Mealy machines can safely skip to Section 1.1.2.
KeywordsConjunctive Normal Form Input String Input Symbol Generate Test Case Product Machine
Unable to display preview. Download preview PDF.