Model based test generation for validation of parallel and...

Data processing: software development – installation – and managem – Software program development tool – Testing or debugging

Reexamination Certificate

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Details

C717S128000, C717S126000

Reexamination Certificate

active

07089534

ABSTRACT:
An execution engine synchronizes test suite execution to run multiple independent operations concurrently or in parallel. The execution engine operates by stepping through the test suite. At each step it runs the required number of independent operations and waits for their completion. It then checks the results, and continues to the next step of the test suite. If at any step, the actual results are different from the expected results, then the exact sequence that triggered the fault is known. The sequence can be repeated when a correction is provided for the fault. Furthermore, the execution engine allows the user to interactively step through a test case when debugging a fault. A synchronization pattern generator may be incorporated in the system to generate minimal numbers of repetitions of test cases to guarantee varying degrees of interaction coverage.

REFERENCES:
patent: 5394347 (1995-02-01), Kita et al.
patent: 5708774 (1998-01-01), Boden
patent: 5751941 (1998-05-01), Hinds et al.
patent: 5815654 (1998-09-01), Bieda
patent: 5913023 (1999-06-01), Szermer
patent: 5918037 (1999-06-01), Tremblay et al.
patent: 5974256 (1999-10-01), Matthews et al.
patent: 5991537 (1999-11-01), McKeon et al.
patent: 6161219 (2000-12-01), Ramkumar et al.
patent: 6212672 (2001-04-01), Keller et al.
patent: 6453308 (2002-09-01), Zhao et al.
patent: 6601018 (2003-07-01), Logan
patent: 6662236 (2003-12-01), Apte et al.
patent: 6662312 (2003-12-01), Keller et al.
patent: 6701514 (2004-03-01), Haswell et al.
patent: 6748585 (2004-06-01), Proebsting et al.
patent: 6766481 (2004-07-01), Estep et al.
patent: 6772821 (2004-08-01), Fulton et al.
patent: 6792595 (2004-09-01), Storistenau et al.
patent: 6802059 (2004-10-01), Lyapustina et al.
patent: 6804634 (2004-10-01), Holzmann et al.
patent: 6810364 (2004-10-01), Conan et al.
patent: 6817009 (2004-11-01), Flanagan et al.
patent: 6823445 (2004-11-01), May et al.
patent: 6826752 (2004-11-01), Thornley et al.
“Improving the Maintainability of Automated Test Suites”, Cem Kaner, Quality Week, 1998, pp. 1-17.
“Dictionary of Object Technology”, Donald G. Firesmith et al, Sep. 22, 1995, pp. 56-91, 115, 189-211, 322-328.
“Generating Test Cases from UML Specifications”, Aynur Abdurazik, May 1999, pp. 1-103.
Test Environment Toolkit TETware User Guide Revision 1.2 TET3-UG-1.2, The Open Group, Sep. 18, 1998, pp. 1-116.
Test Environment Toolkit TETware Programmers Guide Revision 1.2 TET3-PG-1.2, The Open Group, Sep. 18, 1998, pp. 1-116.
Using the WFT Development Environment, Template Software, 1998, Whole Manual.
“Automated Computer Performance Model Calibration Method Using Rule Based Interfacing and Generate-And-Test Paradigm”, IBM Technical Bulletin, May 1, 1990, 2 pages.
The Telelogic Tau TTCN Suite, Produced by Telelogic AB, Sweden. (Available at: http://www.telelogic.com/products/tau), 2002, 2 page.
The GOTCHA-TCBeans Software Test Tool Kit, Developed by International Business Machines Corporation, NY. (Available at: http://www.haifa.il.ibm.com/progects/verification/gtcb/), 2002, 2 page.
LoadRunner®, available from Mercury Interactive, Inc. 2002. (Available at: htttp://www-heva.mercuryinteractive.com/products/loadrunner), 2 page.

LandOfFree

Say what you really think

Search LandOfFree.com for the USA inventors and patents. Rate them and share your experience with other people.

Rating

Model based test generation for validation of parallel and... does not yet have a rating. At this time, there are no reviews or comments for this patent.

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

Rate now

     

Profile ID: LFUS-PAI-O-3685256

  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.