Recursive use of model based test generation for middleware validation
US7117484B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Apr 16, 2002 |
| Grant date | Oct 3, 2006 |
| Priority date | — |
| Expiry date | Feb 13, 2024 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F11/3684
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
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.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.