Recursive use of model based test generation for middleware validation
First Claim
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.
2 Assignments
0 Petitions
Accused Products
Abstract
Middleware is validated using a two layered modeling strategy for the generation of test suites. A high level model of the syntax of the programming language used to program the middleware generates a series of high level abstract programs. These high level abstract programs then undergo two separate translations. First they are translated directly into actual test programs, which are expressed in the programming language of the middleware. Second, they are translated into second models of the high level abstract programs. Running the model based test generator again on the second models produces a set of suites of test cases, each test case consisting of data inputs and predicted results for one of the actual test programs. The actual test programs are run repetitively using the middleware execution engine. The results are compared with the predicted results, using a generic validation engine.
66 Citations
36 Claims
-
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. - View Dependent Claims (2, 3, 4, 5, 6, 7)
-
-
8. 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. - View Dependent Claims (9, 10, 11, 12, 13, 14, 15)
-
-
16. 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. - View Dependent Claims (17, 18, 19, 20, 21, 22)
-
-
23. 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. - View Dependent Claims (24, 25, 26, 27, 28, 29, 30)
-
-
31. 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. - View Dependent Claims (32, 33, 34, 35, 36)
-
Specification