Recursive use of model based test generation for middleware validation

A computer software product for recursive model-based test generation to validate a middleware applications, including a computer-readable medium in which computer program instructions are stored, which instructions, when read by a computer, cause the computer to:

• generate a model comprising an abstract program in accordance with specifications of said middleware application;
• perform 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;
• perform 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;
• generate 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;
• execute said test programs using said test case data of said test cases therein to cause a stimulation of said middleware application;
• observe actual results produced by said stimulation of said middleware application;
• and
• determine validity of said middleware application by comparing said actual results with said predicted results.

A recursive computer-implemented model-based test generation method for validating a middleware application, comprising the steps of:

• using a test generator a first time to generate a first model comprising an abstract program in accordance with specifications of said middleware application;
• performing a first translation of said first 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 first model into a set of second models that describe behavior of said middleware application responsively to an application of said meta-data thereto;
• using said test generator a second time to generate a set of test cases for each of said test programs according to said second 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.

A computer software product for recursive model-based test generation to validate a middleware application, including a computer-readable medium in which computer program instructions are stored, which instructions, when read by a computer, cause the computer to:

• execute a test generator a first time to generate a first model comprising an abstract program in accordance with specifications of said middleware application;
• perform a first translation of said first 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;
• perform a second translation of said first model into a set of second models that describe behavior of said middleware application responsively to an application of said meta-data thereto;
• execute said test generator a second time to generate a set of test cases for each of said test programs according to said second models, said test cases comprising test case data and predicted results;
• execute said test programs using said test case data of said test cases therein to cause a stimulation of said middleware application;
• observe actual results produced by said stimulation of said middleware application;
• and
• determine validity of said middleware application by comparing said actual results with said predicted results.

Apparatus for recursive model-based test generation to validate a middleware application, comprising:

• a test generator operative a first time to generate a first model comprising an abstract program in accordance with specifications of said middleware application;
• a processor operative to perform a first translation of said first 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, said processor operative to perform a second translation of said first model into a set of second models that describe behavior of said middleware application responsively to an application of said meta-data thereto,
• wherein said test generator is operative to generate a set of test cases for each of said test programs according to said second models, said test cases comprising test case data and predicted results;
• an execution engine operative to cause a stimulation of said middleware application, wherein said test programs are a first input of said execution engine, and said test case data are a second input of said execution engine, and wherein actual results are produced by said stimulation of said middleware application;
• and
• a validation engine for determining validity of said middleware application by comparing said actual results with said predicted results.