Method and system for dynamically invoking and/or checking...

Details Method and system for dynamically invoking and/or checking... Method and system for dynamically invoking and/or checking...

2007-09-04

2007-09-04

Dam, Tuan (Department: 2192)

Data processing: software development, installation, and managem

Software program development tool

Testing or debugging

C717S114000, C717S118000, C717S130000

Reexamination Certificate

active

10213684

ABSTRACT:
A method and system for dynamically invoking and/or checking conditions of a computer test program. Test cases that verify class/component functionality are automatically created from the DbC contracts. When the classes/components that contain DbC contracts are added to the system, the invention automatically verifies whether the system uses them correctly. The information in the contract continents is used to generate more comprehensive and better quality test cases.In one embodiment, a code's specification information is analyzed and a class with extra bytecodes that describe how the class is supposed to work and be used is generated. Next, the instrumented class is integrated into the system, and the system is run. The system is monitored as it runs and contract violations are automatically detected.

REFERENCES:
patent: 5761408 (1998-06-01), Kolawa et al.
patent: 5784553 (1998-07-01), Kolawa et al.
patent: 6249882 (2001-06-01), Testardi
patent: 6442750 (2002-08-01), Lopes et al.
patent: 6725399 (2004-04-01), Bowman
patent: 6898784 (2005-05-01), Kossatchev et al.
Reto Kramer, “iContract—The Java Design by Contract Tool, 1998”, IEEE, 13 pages.
Parasoft, “A Major Development in Java Testing Achieved with the Introduction of Parasoft's Jcontract and Jtest 4.0”, Apr. 18, 2001, Product Data Sheet of Parasoft, 2 pages.
Computer Desktop Encyclopedia, “JavaServer Pages”, 2000, 11 pages.
Final Report—Group 2, CS655 Programming Languages course, Spring 2000, University of Virginia, 25 pages. [Online] [Retrieved from] <http://www.cs.virginia.edu/˜yel4j/cs655/project/final—report.html>.
Parasoft, “Parasoft delivers Jtest 3.0, a complete error prevention and error detectin tool for Java development”, Aug. 16, 1999 (2 pages). [Online] [Retrieved at] <www.parasoft.com/jsp/products/ release.jsp?articleld=391&type=1999>.
“Design by Contract and Unit Testing”, Jim Weirich, published 2000 (11 pages). [Online] [Retrieved at] <www.gobosoft.com/eiffel/gobo/getest/see—also.html>.
“Invitation to Eiffel”, B. Meyer, Jul. 2001 (30 pages). Online retrieved at <archive.eiffel.com/doc/online/eiffel50/intro/language/invitation.pdf>.

Affiliated with

Also associated with

Rating

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

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3745867