US Patent 9727450 Model-based software application testing

A method of testing a software application may include receiving a business process model of a software application, the business process model comprising representations of elements of the software application and labels for the elements of the software application. The method may further include generating a plurality of test cases according to the business process model, each test case comprising respective links between one or items of test data and the labels for the elements of the software application, and executing the test cases to test the software application. The method may further include prioritizing and generating pre-conditions for test cases. The method may be embodied in an article of manufacture, such as a non-transitory computer-readable medium storing instructions.