Boots – shoes – and leggings
Patent
1997-09-15
1999-02-09
Teska, Kevin J.
Boots, shoes, and leggings
39518314, 364578, 371 271, G06F 1716
Patent
active
058705902
ABSTRACT:
A system and apparatus for generating an extended finite state machine (EFSM) from a specification expressed as a set of data relationships. The specification is written in a specification language designed for the purpose, and is parsed in a conventional fashion. The parsed specification is used as input to the method of the invention, which comprises routines for transforming it into an EFSM including states and transitions. The EFSM thus generated is used as input to a traversal procedure, for ultimately generating validation tests to verify the operation of an implementation of the specification, with one such test being generated for each path traversed through the EFSM. The traversal of the EFSM may be carried out in a conventional fashion or by using applicant's EFSM traversal method. The EFSM's transitions represent functions and test information, and the states represent the status of the EFSM at particular points, given the traversal of a particular path through the EFSM, i.e. the history of execution of the EFSM. Annotations are generated and correlated with the transitions, the annotations comprising value assignments, variable value partitions, input or other events, constraints on the execution of the EFSM, predicates acting as prerequisites for the traversal of their associated transitions, and test statements that will act to verify operation of the implementation when the validation tests are executed. Diagnostic function strings are generated as annotations to transitions, for outputting diagnostic statements reflecting the success or failure of the implementation upon execution of the validation tests.
REFERENCES:
patent: 4692921 (1987-09-01), Dahbura et al.
patent: 4933897 (1990-06-01), Shankar et al.
patent: 4991176 (1991-02-01), Dahbura et al.
patent: 5038307 (1991-08-01), Krishnakumar et al.
patent: 5067129 (1991-11-01), Evans et al.
patent: 5161115 (1992-11-01), Teshima et al.
patent: 5317757 (1994-05-01), Medicke et al.
patent: 5394347 (1995-02-01), Kita et al.
patent: 5418793 (1995-05-01), Chang et al.
patent: 5513122 (1996-04-01), Cheng et al.
patent: 5539680 (1996-07-01), Palnitkar et al.
patent: 5655074 (1997-08-01), Rauscher
patent: 5659555 (1997-08-01), Lee et al.
Elkind Lois Scirocco
Kita Ronald Allen
Trumpler Mark Edward
Drozenski Diane C.
Kuta Christine
Ross Gary
Teska Kevin J.
Walker Tyrone V.
LandOfFree
Method and apparatus for generating an extended finite state mac 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 and apparatus for generating an extended finite state mac, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and apparatus for generating an extended finite state mac will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-1958425