Recursive use of model based test generation for middlevare validation

A computer software product, comprising a computer-readable medium in which computer program instructions are stored, which instructions, when read by a computer, cause the computer to perform a method of validating a computer application, comprising the steps of:

• generating an abstract program in accordance with syntactic requirements of a computer application being validated;
• performing a first translation of said abstract program into meta-data that is an acceptable input for said computer application;
• performing a second translation of said abstract program into a behavioral model of said abstract program;
• generating a test case from said behavioral model, said test case comprising data and predicted results;
• stimulating said computer application with instructions of said meta-data and said data;
• observing actual results produced by said computer application responsive to said step of stimulating;
• and
• comparing said actual results with said predicted results.

A method of validating middleware, comprising the steps of:

• generating an abstract program in accordance with syntactic requirements of a middleware system application being validated;
• performing a first translation of said abstract program into meta-data that is an acceptable input for said middleware system;
• performing a second translation of said abstract program into a behavioral model of said abstract program;
• generating a test case from said behavioral model, said test case comprising data and predicted results;
• stimulating said middleware system with instructions of said meta-data and said data;
• observing actual results produced by said middleware system responsive to said step of stimulating;
• and
• comparing said actual results with said predicted results.

A computer software product, comprising a computer-readable medium in which computer program instructions are stored, which instructions, when read by a computer, cause the computer to perform a method of validating middleware, comprising the steps of:

• generating an abstract program in accordance with syntactic requirements of a middleware system being validated;
• performing a first translation of said abstract program into meta-data that is an acceptable input for said middleware system;
• performing a second translation of said abstract program into a behavioral model of said abstract program;
• generating a test case from said behavioral model, said test case comprising data and predicted results;
• stimulating said middleware system with instructions of said meta-data and said data;
• observing actual results produced by said middleware system responsive to said step of stimulating;
• and
• comparing said actual results with said predicted results.

An apparatus for validating a computer application, comprising:

• a test generator for generating an abstract program in accordance with syntactic requirements of a computer application being validated;
• a translation module for performing a first translation of said abstract program into meta-data that is an acceptable input for said computer application, and for performing a second translation of said abstract program into a behavioral model of said abstract program, said test generator being adapted for generating a test case from said behavioral model, said test case comprising data and predicted results;
• an execution engine for stimulating said computer application with instructions of said meta-data and said data, and for observing actual results produced by said computer application;
• and
• a validation engine for comparing said actual results with said predicted results.

An apparatus for validating middleware, comprising:

• a test generator for generating an abstract program in accordance with syntactic requirements of a middleware system being validated;
• a translation module for performing a first translation of said abstract program into meta-data that is an acceptable input for said middleware system, and for performing a second translation of said abstract program into a behavioral model of said abstract program, said test generator being adapted for generating a test case from said behavioral model, said test case comprising data and predicted results;
• an execution engine for stimulating said middleware system with instructions of said meta-data and said data, and for observing actual results produced by said middleware system;
• and
• a validation engine for comparing said actual results with said predicted results.