Boots – shoes – and leggings
Patent
1993-07-29
1995-02-28
Ramirez, Ellis B.
Boots, shoes, and leggings
364191, G06F 1560
Patent
active
053943473
ABSTRACT:
A method for generating test programs for an implementation of a specification that has been modeled as an extended finite state machine (EFSM), the EFSM including vertices and transitions, where the transitions represent functions to be performed by the implementation, including predicates and actions such as variable assignments. The method includes traversing the EFSM in a depth-first manner from a root model start state to a root model exit state, through intermediate vertices which may be normal states or models. Models include further vertices and transitions, and may be called as submodels or as go-to models, where a go-to model includes an EFSM exit state. The EFSM may be traversed exhaustively, such that all possible paths are traversed, or in a partial transition coverage mode, where a user-defined subset of the possible paths are traversed. Each traversed path is stored in a path file and converted into a test program in a predetermined language, such as C, for interfacing with the implementation to be tested and testing its functions as represented by the transitions taken. Traversal of the EFSM is made possible by the use of a model stack, a path stack and a variables stack, which keep track of all models called, transitions and vertices encountered, and variable values assigned or altered in the course of the traversal, with cross-referencing to ensure that any desired set of path files can be automatically generated while tracking all parameters necessary to conduct the traversal.
REFERENCES:
patent: 4694411 (1987-09-01), Burrows
patent: 4809202 (1989-02-01), Wolfram
patent: 4972334 (1990-11-01), Yamabe et al.
patent: 5038307 (1991-08-01), Krishnakumar et al.
patent: 5163016 (1992-11-01), Har'el et al.
patent: 5291427 (1994-03-01), Loyer et al.
Yu et al; "An Improved Method For Automatic Validation of Communication Protocols" IEEE 1990.
Chanson et al; "A Unified Approach To Protocol Test Sequence Generation"; IEEE 1993.
Chu et al; "Global State Graph Reduction Techniques For Protocol Validation In the EFSM Model"; IEEE 1989.
Wang et al; "Automatic Test Sequence Generation For Extended Finite State Machines", IEEE 1992.
Kita Ronald A.
Lynch Thomas M.
Tremblay Sylvia C.
Cefalo Albert P.
Digital Equipment Corporation
Ramirez Ellis B.
Young Barry N.
LandOfFree
Method and apparatus for generating tests for structures express 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 tests for structures express, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and apparatus for generating tests for structures express will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-853069