Error detection/correction and fault detection/recovery – Data processing system error or fault handling – Reliability and availability
Reexamination Certificate
2007-04-24
2007-04-24
Baderman, Scott (Department: 2114)
Error detection/correction and fault detection/recovery
Data processing system error or fault handling
Reliability and availability
C717S124000
Reexamination Certificate
active
10334415
ABSTRACT:
A method for analyzing a test coverage of a software application specification by a test suite is provided. The method includes reading an assertion document for a specification. The assertion document has a corresponding tagged assertion for each assertion in the specification. Each tagged assertion is defined in a markup language. The method also includes reading a static file for defining tests of the test suite. The static file is defined in the markup language. The test suite is divided into tests and each test is divided into test cases. The static file is configured to include an entry for each test case and each entry is configured to include tagged assertions tested by the test case. Also included in the method is correlating each of the tagged assertions in the assertion document with the test cases in the static file so as to determine test coverage of the specification.
REFERENCES:
patent: 6002869 (1999-12-01), Hinckley
patent: 6542845 (2003-04-01), Grucci et al.
patent: 6601020 (2003-07-01), Myers
patent: 6697967 (2004-02-01), Robertson
patent: 6725399 (2004-04-01), Bowman
patent: 6735719 (2004-05-01), Moe et al.
patent: 6826716 (2004-11-01), Mason
patent: 6859922 (2005-02-01), Baker et al.
patent: 6892328 (2005-05-01), Klein et al.
patent: 6898784 (2005-05-01), Kossatchev et al.
patent: 6996517 (2006-02-01), Papaefstathiou
patent: 2003/0003432 (2003-01-01), Kinzhalin et al.
patent: 2003/0159132 (2003-08-01), Barnett et al.
patent: 2003/0196191 (2003-10-01), Hartman et al.
patent: 2004/0015870 (2004-01-01), Arbouzov et al.
patent: 2004/0205563 (2004-10-01), Lee
patent: 2005/0102652 (2005-05-01), Sulm et al.
patent: 2005/0160395 (2005-07-01), Hughes
patent: 2005/0203924 (2005-09-01), Rosenberg
Hwei Yin, James M. Bieman, Improving Software Testability with Assertion Insertion, 1994, pp. 831-839.
Raimondas Lencevicius, Edu Metz, Alexander Ran, Tracing Execution of Software for Design Coverage, 2001, pp. 328-332.
Ernesto Guerrieri, Software Document Reuse with XML.
Arcand Jean-Francois
Mandava Ramesh Babu
Baderman Scott
Martine & Penilla & Gencarella LLP
Sun Microsystems Inc.
Truong Loan
LandOfFree
Method and system for determining computer software test... 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 determining computer software test..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and system for determining computer software test... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3768379