Method and system for integrating test coverage measurements...

Details Method and system for integrating test coverage measurements... Method and system for integrating test coverage measurements...

2007-09-18

2007-09-18

Wilson, Yolanda L. (Department: 2113)

Error detection/correction and fault detection/recovery

Data processing system error or fault handling

Reliability and availability

C714S037000

Reexamination Certificate

active

09946237

ABSTRACT:
A test coverage tool provides output that identifies differences between the actual coverage provided by a test suite run on a program under test and the coverage criteria (e.g., the coverage criteria required by the test/development team management). The output from the test coverage tool is generated in the same language that was used to write the coverage criteria that are input to an automated test generator to create the test cases which form the test suite. As a result, the output from the coverage tool can be input back into the automated test generator to cause the generator to revise the test cases to correct the inadequacies. This allows iterative refinement of the test suite automatically, enabling automated test generation to be more effectively and efficiently used with more complex software and more complex test generation inputs.In preferred embodiments, test coverage analysis results of several different test suites, some manually generated and others automatically generated, are used to produce a streamlined automatically-generated test suite and/or to add missing elements to an automatically generated test-suite.

REFERENCES:
patent: 5463770 (1995-10-01), Todd
patent: 5708774 (1998-01-01), Boden
patent: 5754760 (1998-05-01), Warfield
patent: 5758061 (1998-05-01), Plum
patent: 5862364 (1999-01-01), Todd
patent: 5913023 (1999-06-01), Szermer
patent: 5918037 (1999-06-01), Tremblay et al.
patent: 5999717 (1999-12-01), Kaufmann et al.
patent: 6002869 (1999-12-01), Hinckley
patent: 6002871 (1999-12-01), Duggan 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: 6243835 (2001-06-01), Enokido et al.
patent: 6279124 (2001-08-01), Brouwer et al.
patent: 6611955 (2003-08-01), Logean et al.
patent: 6654911 (2003-11-01), Miles
patent: 6804634 (2004-10-01), Holzmann et al.
patent: 2003/0135792 (2003-07-01), Chen
patent: 2004/0015861 (2004-01-01), Nagalkar
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 Workshop 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/pnib/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/watispin.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 Implementations,” 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 for specification-based testing of concurrent program,” IEEE Transactions of SW Engineering, vol. 24, No. 6, pp. 471-490 (Jun. 1998).
Hartman et al., “Model Driven Testing—AGEDIS Architecture Interfaces and Tools,”Proceedings of the 1st European Conference on Model Driven Software Engineering,pp. 1-11, Nuremburg (2003).
“Aegdis—Architecture, Interfaces & Tools,” Slide Presentation from1st European Conference on Model Driven Software Engineering,Nuremburg (Dec. 11-12, 2003) [pp. 1-7 only; CD enclosed with complete presentation in .pdf format].

Affiliated with

Also associated with

Rating

Method and system for integrating test coverage measurements... 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 and system for integrating test coverage measurements..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and system for integrating test coverage measurements... will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3795197