Method for generating verification tests

Details Method for generating verification tests Method for generating verification tests

1985-08-22

1987-09-08

Atkinson, Charles E.

Excavating

324 73R, 371 15, G01R 3128

Patent

active

046929215

ABSTRACT:
A method for developing test sequences that verify the operation of a finite state machine. The method includes developing a set of unique input/output sequences for the various states of the machine and constructing a test sequence for each edge of the machine. The test sequence is a concatenation of a head sequence that brings the machine to the head state of the tested edge, the input/output sequence associated with the tested edge, and a unique input/output sequence which verifies that the machine entered the expected tail state.

REFERENCES:
patent: 4519078 (1985-05-01), Komonytsky
patent: 4601032 (1986-07-01), Robinson
patent: 4604744 (1986-08-01), Littlebury

Affiliated with

Also associated with

Rating

Method for generating verification tests does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Method for generating verification tests, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method for generating verification tests will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-2163236