Excavating
Patent
1993-06-16
1995-06-20
Beausoliel, Jr., Robert W.
Excavating
371 151, 371 221, G06F 1100
Patent
active
054266513
ABSTRACT:
Method for the automatic generation, from a system or protocol specified as an FSM, of unique test sequences in order to establish whether or not the implementation is in a particular state. On the basis of the FSM a table comprising legal possibilities is generated for each state, as well as a series of tables comprising legal impossibilities for the remaining states. Unique test sequences are found by selecting those IO sequences which occur in the "possibilities table" and in all the "impossibilities tables". If required, the shortest UIO sequence can be selected therefrom.
REFERENCES:
patent: 4692921 (1987-09-01), Dahbura et al.
patent: 4764863 (1988-08-01), Silverthorn, III et al.
patent: 4829575 (1989-05-01), Lloyd
patent: 4991176 (1991-02-01), Dahbura et al.
patent: 5239262 (1993-08-01), Grutzner et al.
F. Lombardi `On a New Approach for Enhancing the Fault Coverage of Conformance Testing of Protocol` IEEE 1991 pp. 428-435.
Shen et al `Protocol Conformance Testing Using Multiple UIO Sequenies` IEEE 1992 pp. 1282-1287.
P. R. Menon `FSM-Based Test Generation Methods-A Survey` IEEE 1992 pp. 196-200.
Hasan Ural, "Formal Methods for Test Sequence Generation", pp. 311-325, Computer Communications vol. 15, No. 5, Jun. 1992, London, GB.
Beausoliel, Jr. Robert W.
De'cady Albert
Koninklijke PTT Nederland N.V.
LandOfFree
Method for the automatic generation of test sequences 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 the automatic generation of test sequences, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method for the automatic generation of test sequences will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-1849776