Technique using persistent foci for finite state machine...

Details Technique using persistent foci for finite state machine... Technique using persistent foci for finite state machine...

2005-09-13

2005-09-13

Ingberg, Todd (Department: 2124)

Data processing: software development, installation, and managem

Software program development tool

Testing or debugging

Reexamination Certificate

active

06944848

ABSTRACT:
A system for automatic generation of test programs employs test generation foci linked to a finite state machine behavioral model of a software application under test to produce abstract test suites that are executed by an execution engine. The foci include directive expressions that tag coverage variables of the behavioral model. The execution engine operates until the tagged coverage variables have assumed all their possible values. Both the behavioral models and the foci are archivable and can be retrieved and reused independently.

REFERENCES:
patent: 4991176 (1991-02-01), Dahbura et al.
patent: 5394347 (1995-02-01), Kita et al.
patent: 5452457 (1995-09-01), Alpert et al.
patent: 5530964 (1996-06-01), Alpert et al.
patent: 5623499 (1997-04-01), Ko et al.
patent: 5651111 (1997-07-01), McKeeman et al.
patent: 5828824 (1998-10-01), Swoboda
patent: 5918037 (1999-06-01), Tremblay et al.
patent: 6016555 (2000-01-01), Deao et al.
patent: 6065106 (2000-05-01), Deao et al.
patent: 6112312 (2000-08-01), Parker et al.
patent: 6115746 (2000-09-01), Waters et al.
patent: 6484135 (2002-11-01), Chin et al.
patent: 6505342 (2003-01-01), Hartmann et al.
patent: 6574578 (2003-06-01), Logan
patent: 6601018 (2003-07-01), Logan
“Test Environment Toolkit” TETware User Guide Revision 1.2 TET3-UG-1.2, The Open Group Released Sep. 18, 1998, pp. 1-116.
“Test Environment Toolkit” Release Notes for TETware Release 3.3, TET3-RN-3.3, The Open Group Released Sep. 18, 1998, pp. 1-8.
“Test Environment Toolkit” TETware Programmer's Guide Revision 1.2 TET3-PG-1.2, The Open Group Released Sep. 18, 1998, pp. 1-258.
“Automated Test Generation from a Behavioral Model”, James M. Clarke, Lucent Technologies, May 1998.
“Web Programming Guide”, Lotus Development Corporation, release 4.6.1, 1997.
“Automatically Tracking Test Case Execution”, Neil Hunt, Rational Corporation, 2001.
“JUNIT Test Patterns in Rational XDE”, Frank Hagenson, IP Sentry, pp. 1-19, 2003.
“Apache Module mod_setenvit”, Appache HTTP Server Version 2.0, IBM website No Date.
“Validation of Turandot, a Fast Processor Model for Microarchitecture Exploration”, Mayan Moudgill et al, IBM, pp. 1-16, Feb. 11, 1999.
The XML Handbook, C. Goldfarb et al, pp. 1-18, 1998.
I. Gronau et al., “A Methodology and Architecture for Automated Software Testing”, IBM Research Laboratory in Haifa Technical Report, 17 pages, Oct. 2000, Haifa, Israel.
“Murphi Description Language and Verifier”, previously overviewed in “Protocol Verification as a Hardware Design Aid”, by D.L. Dill et al.,1992 IEEE International Conference on Computer Design: VSLI in Computers and Processors, IEEE Computer Society, pp. 522-525, and last updated May 1996, 5 pages. (http://sprout.stanford.edu/dill/murphi/html).
Ilan Gronau, et al., “Methodology and architecture for automated software testing”, Jan. 11, 2000. (http://www.geocities.com/model_based_testing//online_papers.htm).
Brian Marick, “The craft of software testing”, 1995, Chap. 5, p. 132.
Boris Beizer, “Software testing techniques”, Second Edition, 1990, pp. 23-24.
R. Burke, “Black-box regression testing—an automated approach”, Fifth International Conference on Testing Computer Software, Washington, DC, Jun. 1988 (pp. 455, 481 in Boris Beizer's Book “Software testing techniques”, Second Edition, 1990.

Affiliated with

Also associated with

Rating

Technique using persistent foci for finite state machine... does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Technique using persistent foci for finite state machine..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Technique using persistent foci for finite state machine... will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3429422