
Test Generation
3.2 FINITE-STATE MACHINES
Many devices used in daily life contain embedded computers. For exam-
ple, an automobile has several embedded computers to perform various
tasks, engine control being one example. Another example is a computer
inside a toy for processing inputs and generating audible and visual re-
sponses. Such devices are also known as embedded systems. An embed-
ded system can be as simple as a child’s musical keyboard or as complex
as the flight controller in an aircraft. In any case, an embedded system
contains one or more computers for processing inputs.
An embedded computer often receives inputs from its environment
and