Patent ID: 8527813

Claim:
A method for dynamically reprioritizing unexecuted test cases in a test case set for a Model-Based Testing (MBT) System Under Test (SUT) design model during test case execution comprising: inputting a design model representing the SUT as an event-flow; analyzing the design model structure in terms of possible event-flows considering the design model's control and data elements; computing test complexity for the coverage of the event-flows and control and data elements; selecting test case generation criteria for a desired test objective; generating a plurality of test cases based on the test case selection criteria wherein each test case is an event sequence; computing test case capability for the coverage of event-flows and data wherein the more data and flows each test case tests, the greater their capability is to detect faults; weighting identified test data towards their coverage for selection; prioritizing the test cases based on the test selection criteria and the weighting of test data; executing the test cases in their priority against the model; detecting if a test case failed during execution; calculating a distance between a failed test case and each remaining test case to be executed; and based on the distance calculation for each unexecuted test case, executing the test case having the greatest distance.