	US 7,480,602 B2
	System verification test using a behavior model
Paul Kingston Duffie, Palo Alto, Calif. (US); Patrick Hornberger, Mountain View, Calif. (US); Carl Hubbard, Los Altos, Calif. (US); Satomi Okazaki, Palo Alto, Calif. (US); and Pawan Singh, Sunnyvale, Calif. (US)
Assigned to The Fanfare Group, Inc., Mountain View, Calif. (US)
Filed on Jan. 20, 2005, as Appl. No. 11/40,348.
Prior Publication US 2006/0161508 A1, Jul. 20, 2006
Int. Cl. G06F 17/50 (2006.01)

U.S. Cl. 703—13 [703/15; 703/22; 714/38; 714/31; 714/724]

24 Claims

1. A computer-implemented method for system verification testing of a system under test, the method comprising the steps of:

obtaining a set of actions and individual reactions corresponding to the actions from a plurality of runs of a test case for the system under test; and

generating a generalized behavior model representing the system under test in terms of the set of actions and ranges of expected reactions, each range corresponding to one of the actions and generalizing the individual reactions to said one of the actions, wherein the step of generating the generalized behavior model comprises the steps of:

generating a prototype behavior model for the system under test based upon the actions and individual reactions corresponding to the actions from a single run of the test case;

generating an executable behavior model based on the prototype behavior model, the executable behavior model including the actions in at least a plurality of runs of the test case;

executing the executable behavior model on the system under test to obtain the individual reactions corresponding to the actions in the plurality of runs of the test case; and

generating the generalized behavior model including the actions in the test case and the ranges of expected reactions corresponding to the actions, each of the ranges of expected reactions generalizing the individual reactions corresponding to said one of the actions from the plurality of runs of the test cases.