System verification test using a behavior model

A verification system for testing a system under test, the verification system comprising:

• a client computer for capturing 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
• a server computer coupled to the client computer for 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 server computer generates the generalized behavior model by:
• 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.

A computer readable medium storing a computer program product configured to cause a computer to perform a computer-implemented method for system verification testing of a system under test, the computer-implemented 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.