Recursive use of model based test generation for middleware...

Details Recursive use of model based test generation for middleware... Recursive use of model based test generation for middleware...

2006-10-03

2006-10-03

Zhen, Wei (Department: 2191)

Data processing: software development, installation, and managem

Software program development tool

Testing or debugging

C717S104000, C717S105000, C717S124000

Reexamination Certificate

active

07117484

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.

REFERENCES:
patent: 5475843 (1995-12-01), Halviatti et al.
patent: 5590331 (1996-12-01), Lewis et al.
patent: 5892947 (1999-04-01), DeLong et al.
patent: 5918037 (1999-06-01), Tremblay et al.
patent: 5950004 (1999-09-01), Bearse et al.
patent: 6006028 (1999-12-01), Aharon et al.
patent: 6148277 (2000-11-01), Asava et al.
patent: 6152612 (2000-11-01), Liao et al.
patent: 6275976 (2001-08-01), Scandura
patent: 6279124 (2001-08-01), Brouwer et al.
patent: 6343372 (2002-01-01), Felty et al.
patent: 6353896 (2002-03-01), Holzmann et al.
patent: 6421634 (2002-07-01), Dearth et al.
patent: 6698012 (2004-02-01), Kossatchev et al.
patent: 6779135 (2004-08-01), Ur et al.
patent: 2002/0026633 (2002-02-01), Koizumi et al.
patent: 2002/0100022 (2002-07-01), Holzmann
patent: 2002/0162091 (2002-10-01), Crocker
patent: 2003/0014734 (2003-01-01), Hartman et al.
patent: 2003/0028856 (2003-02-01), Apuzzo et al.
patent: 2003/0046613 (2003-03-01), Farchi et al.
patent: 2003/0097650 (2003-05-01), Bahrs et al.
Weber et al., Automated validation test generation, IEEE, Oct.-Nov. 3, 1994 pp. 99-104.
Dintelman, A perspective of the generator testing and model validation program in WSCC, IEEE, vol. 1, Jan. 31-Feb. 4, 1999 pp. 157-159.
Netisopakul et al., Data coverage testing of programs for container classes, IEEE, Nov. 12-15, 2002 pp. 183-194.
Cyre, Conceptual modeling and simulation, IEEE, 1999, pp. 293-296.
Apfelbaum et al., Model Based Testing, Google.com; May 1997, pp. 1-14.
El-Far et al., Model-based Software Testing, http://www.geocities.com/model—based—testing/ModelBasedSoftwareTesting.pdf, 2001, p. 1-22.
Dalal et al., Model-Based Testing in Practice, May 1999 (ACM Press), p. 1-10.
Goswami et al., Simulation of software behavior under hardware faults, IEEE, Jun. 1993 pp. 218-227.
Gulla et al., Executing, viewing and explaining conceptual models, IEEE, Apr. 1994 pp. 166-175.
Jacobs et al., Towards a metrics based verification and validation maturity model, IEEE, Oct. 2002 pp. 123-128.
Y. Lichtenstein et al, “Model-Based Test Generation for Process Design Verification”, Sixth Innovative Applications of Artificial Intelligence Conference, Aug. 1994, pp. 83-94.
A. Chandra, et al. “AVPGEN—A Generator for Architecture Verification”, Test Cases, IEEE Trans. Very Large Scale Integration (VLSI) systems vol. 3, No. 2, 188-200, Jun. 1995.

Affiliated with

Also associated with

Rating

Recursive use of model based test generation for middleware... does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Recursive use of model based test generation for middleware..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Recursive use of model based test generation for middleware... will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3624373