Abstract: The disclosed technology teaches delivering scarce test equipment resources to a user within a test organization: receiving a test graph that specifies equipment capabilities needed, by class and times when the capabilities are needed. The technology includes maintaining an inventory of equipment resources and capabilities, by class, and responsive to the user invoking the graph, scheduling the needed equipment: identifying alternative resources responsive to the need and selecting a group of resources to schedule; bundling the group of resources to schedule into an immediate bundle needed to start the test and a deferred bundle needed later, after the start of the test; and queuing a deferred bundle reservation for a later time, after the scheduled start of the test. During the test, the technology includes notifying the user of availability of the equipment resources in the deferred bundle when they become available and marking the deferred bundle as in use.

Abstract: The disclosed technology teaches delivering scarce test equipment resources to a user within a test organization: receiving a test graph that specifies equipment capabilities needed, by class and times when the capabilities are needed. The technology includes maintaining an inventory of equipment resources and capabilities, by class, and responsive to the user invoking the graph, scheduling the needed equipment: identifying alternative resources responsive to the need and selecting a group of resources to schedule; bundling the group of resources to schedule into an immediate bundle needed to start the test and a deferred bundle needed later, after the start of the test; and queuing a deferred bundle reservation for a later time, after the scheduled start of the test. During the test, the technology includes notifying the user of availability of the equipment resources in the deferred bundle when they become available and marking the deferred bundle as in use.

Abstract: The present invention provides a system verification system that automatically generates a behavior model modeling the system under test in terms of actions of a test case and a range of expected reactions corresponding to those actions. In this regard, the system verification system obtains 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 automatically generates the behavior model representing the system under test in terms of the set of actions and a range of expected reactions each range corresponding one of the actions. The range of expected reactions generalizes and includes all or most of the individual reactions corresponding to said one of the actions.

Abstract: The present invention provides a system verification system that automatically generates a behavior model modeling the system under test in terms of actions of a test case and a range of expected reactions corresponding to those actions. In this regard, the system verification system obtains 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 automatically generates the behavior model representing the system under test in terms of the set of actions and a range of expected reactions each range corresponding one of the actions. The range of expected reactions generalizes and includes all or most of the individual reactions corresponding to said one of the actions.