Accession Number:

AD0779080

Title:

Checking Experiments for Incompletely Specified Sequential Machines.

Descriptive Note:

Master's thesis,

Corporate Author:

AIR FORCE INST OF TECH WRIGHT-PATTERSON AFB OHIO SCHOOL OF ENGINEERING

Personal Author(s):

Report Date:

1974-03-01

Pagination or Media Count:

107.0

Abstract:

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

Subject Categories:

  • Computer Hardware

Distribution Statement:

APPROVED FOR PUBLIC RELEASE