Patent ID: 7117484
Filing Date: 2006-10-03
Classification: G06F

Abstract:
1. A recursive computer-implemented model-based test generation method for validating a middleware application, comprising the steps of: generating a model comprising an abstract program in accordance with specifications of said middleware application; performing a first translation of said model into a set of test programs for programming said middleware application, said test programs comprising meta-data that are acceptable input for said middleware application; performing a second translation of said model into a set of behavioral models that describe behavior of said middleware application responsively to an application of said meta-data thereto; generating a set of test cases for each of said test programs according to said behavioral models, said test cases comprising test case data and predicted results; executing said test programs using said test case data of said test cases therein to cause a stimulation of said middleware application; observing actual results produced by said stimulation of said middleware application; and determining validity of said middleware application by comparing said actual results with said predicted results.