Error detection/correction and fault detection/recovery – Data processing system error or fault handling – Reliability and availability
Reexamination Certificate
2006-05-30
2006-05-30
Beausoliel, Robert (Department: 2113)
Error detection/correction and fault detection/recovery
Data processing system error or fault handling
Reliability and availability
C714S037000, C717S124000
Reexamination Certificate
active
07055065
ABSTRACT:
The present invention enables the modeling of plural outcomes resulting from a single stimulus, thereby allowing for automated test generation for non-deterministic software. In accordance with the present invention, a method, system, and computer program product are disclosed for testing software having a non-deterministic outcome. In accordance with the present invention, a set of rules is created, each rule having an associated stimulus, a precondition computation, and a computation procedure to produce the set of all valid outcome states. Each valid outcome state models one of several states that may result from applying the stimulus to any state which satisfies the precondition computation. Using these models, a test generation program is executed against the set of rules to recursively expand each path associated with an outcome state of a rule and outputting a list of valid possible outcomes, then selecting sequences of stimuli in accordance with coverage goals set by the test engineer. A test execution engine is then run against the application under test applying the sequences of stimuli to the software and a list of observed states resulting from the application of the stimuli is compiled. Finally, the list of observed states is compared with the list of valid possible outcome states to identify defects (as well as to identify correct outcomes) in the application under test and ensure the attainment of the coverage goals.
REFERENCES:
patent: 5463770 (1995-10-01), Todd
patent: 5708774 (1998-01-01), Boden
patent: 5754760 (1998-05-01), Warfield
patent: 5815654 (1998-09-01), Bieda
patent: 5862364 (1999-01-01), Todd
patent: 5903453 (1999-05-01), Stoddard II
patent: 5913023 (1999-06-01), Szermer
patent: 5918037 (1999-06-01), Tremblay et al.
patent: 5946493 (1999-08-01), Hanson
patent: 5999717 (1999-12-01), Kaufmann et al.
patent: 6074426 (2000-06-01), Baumgartner et al.
patent: 6128759 (2000-10-01), Hansen
patent: 6212675 (2001-04-01), Johnston et al.
patent: 6260065 (2001-07-01), Leiba et al.
patent: 6385741 (2002-05-01), Nakamura
patent: 6601017 (2003-07-01), Kennedy et al.
patent: 2002/0178402 (2002-11-01), Tsai
patent: 2003/0046626 (2003-03-01), Hand et al.
Aegdis—Automated Generation and Execution of Test Suites for Distributed Component Based Software, Project Proposal—Part B, pp. 1-38, printed May 23, 2000.
Aegdis—Automated Generation and Execution of Test Suites for Distributed Component Based Software, Project Proposal—Part C, pp. 1-20, printed May 23, 2000.
Gronau et al., IBM Research Laboratory in Haifa Technical Report, “A Methodology and Architecture for Automated Software Testing,” pp. 1-17, 2000.
“Syntax of GDL Foci, GOTCHA TCBeans,” IBM Haifa Research Laboratory.
“SPIN'2000”, The 7th Intl. SPIN Worskshop on Model Checking of Software, Stanford University, CA, Aug. 30-31, Sep. 1, 2000, pp. 1-4, printed Jun. 6, 2000.
“A Fully Abstract Model for Concurrent Nondeterministic Processes Based on Posets with Non-Actions,” http://www.informatik.uni-hamburg.de/TGI/pnbib/c/cherkasova—12.html, printed Jun. 5, 2000.
SPIN99—Papers from the 5th Intl. SPIN Workshop, http:/
etlib.bell-labs.com
etlib/spin/ws99a/program99.html, printed Jun. 6, 2000.
SCARP, http://icee.cs.umass.edu/SCARP.htm, pp. 1-5, printed Jun. 5, 2000.
“On-the-Fly, LTL Model Checking with SPIN,” http://hetlib.bell-labs.com
etlib/spin/whatispin.html, pp. 1-4, printed Jun. 6, 2000.
Gallardo and Merino, “A Framework for Automatic Construction of Abstract Promela Models,” (no date available).
Dwyer and Pasareanu, “Model Checking Generic Container Implementation,” http://www.cis.ksu.edu/˜dwyer/papers/containermc.t, printed Jun. 6, 2000.
U.S. Appl. No. 09/847,309, “Technique Using Persistent Foci for Finite State Machine-Based Test Generation,” filed May 31, 2001.
Carver & Tai, “Use of sequencing constraints of specification-based testing of concurrent program,” IEEE Transactions of SW Engineering, vol. 24, No. 6, pp. 471-490 (Jun. 1998).
Farchi Eitan
Hartman Alan
Kram Paul
Nagin Kenneth
Beausoliel Robert
Flynn John D.
International Business Machines - Corporation
Synnestvedt & Lechner LLP
Wilson Yolanda L.
LandOfFree
Method, system, and computer program product for automated... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Method, system, and computer program product for automated..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method, system, and computer program product for automated... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3647536