Patent Document ID: 7480602
Application ID: 11040348
Patent Flag: 1

Claim One:
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.