Generating a test suite from an abstract state machine

Details Generating a test suite from an abstract state machine Generating a test suite from an abstract state machine

2006-08-08

2006-08-08

Alavi, Amir (Department: 2624)

Image analysis

Image compression or coding

Reexamination Certificate

active

07088864

ABSTRACT:
A method and apparatus to generate a test suite from an abstract state machine (ASM) involves generating a finite state machine (FSM) for the ASM, and generating the test suite from the FSM. An initial state of the ASM is selected. A first encoding having a plurality of bits is generated to represent the initial state. Each bit of the first encoding represents a result of an evaluation of a non-trivial guard condition of the ASM. The initial state is associated with the first encoding in the data structure for the FSM. At least one other states of the ASM are identified that result from applying at least one actions of the ASM to the initial state. At least one other encodings are generated, each of the at least one other encodings corresponding to one of the at least one other states, and for each one of the at least one other states, when the corresponding of the at least one other encodings is not the same as the any one encoding already associated with a state in the data structure, data is included in the data structure associating the one of the at least one other states and a corresponding of the at least one other encodings.

REFERENCES:
patent: 6212566 (2001-04-01), Vanhoof et al.
patent: 6560270 (2003-05-01), Hischke
patent: 6597727 (2003-07-01), Philips et al.
patent: 6708327 (2004-03-01), Aliphas
patent: 2002/0067757 (2002-06-01), Philips et al.
patent: 2003/0159087 (2003-08-01), Grieskamp et al.
patent: 2003/0191797 (2003-10-01), Gurevich et al.
Grieskamp, W., “Generating Finite State Machines from Abstract State Machines,” Technical Report MSR-TR-2001-97, Microsoft Research, Revised May 2002, pp. 1-19.

Affiliated with

Also associated with

Rating

Generating a test suite from an abstract state machine does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Generating a test suite from an abstract state machine, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Generating a test suite from an abstract state machine will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3672862