Generating tests for an extended finite state machine using diff

Details Generating tests for an extended finite state machine using diff Generating tests for an extended finite state machine using diff

1996-06-05

1999-06-29

Teska, Kevin J.

G06F 1700, G06F 1750

Patent

active

059180374

ABSTRACT:
An automatic test generation system in which the coverage levels of the tests can be controlled to tradeoff between the extent of the test conducted and the length of time required to execute the test. The system under test is modeled as an extended finite state machine made up of interconnected models. The coverage level of each model can be controlled to avoid generating paths that differ only be edges within certain models if those differing edges are already included in other paths. The coverage level for each model can be set automatically through a process which computes the effect on the total number of paths generated when the coverage level of selected models is varied.

REFERENCES:
patent: 5038307 (1991-08-01), Krishnakumr et al.
patent: 5394347 (1995-02-01), Kita et al.
patent: 5408597 (1995-04-01), Kita et al.
patent: 5513122 (1996-04-01), Cheng et al.
patent: 5623499 (1997-04-01), Ko et al.
Hutchins et al. "Experiments on the Effectiveness of Dataflow and Controlflow-Based Test Adequacy Criteria," IEEE, pp. 191-200.
Automating the Test Generation Process, by Larry Apfelbaum, pp. 1-12, May 95'.
TestMaster -Automating Software Quality, Teradyne Software and Systems Test, 1994, 5 pages plus brochure.
Positive Results at Cadence Design Systems Using Model Reference Testing Approach, by Michael D. Sowers, Teradyne Software and Systems Test, 1 page, No date.

Affiliated with

Also associated with

Rating

Generating tests for an extended finite state machine using diff 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 tests for an extended finite state machine using diff, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Generating tests for an extended finite state machine using diff will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-1385107