Checking Experiments for Incompletely Specified Sequential Machines.
AIR FORCE INST OF TECH WRIGHT-PATTERSON AFB OHIO SCHOOL OF ENGINEERING
Pagination or Media Count:
Methods are given for designing checking experiments for incompletely specified sequential machines ISSMs. The methods closely parallel the methods of designing checking experiments for completely specified sequential machines CSSMs. Therefore, the basic concepts of all the important published methods of designing checking experiments for CSSMs are summarized and referenced. These concepts are modified where necessary and are then applied to ISSMs to find checking sequences experiments. To verify the proposed checking experiment the IO sequence is reduced to the original machine by one of several machine identification algorithms which are also shown and referenced. Author
- Computer Hardware