Specification generation from implementations

Details Specification generation from implementations Specification generation from implementations

2005-12-30

2010-11-30

Kang, Insun (Department: 2193)

Data processing: software development, installation, and managem

Software program development tool

Testing or debugging

C125S011020, C125S011020, C125S011020, C125S011020

Reexamination Certificate

active

07844951

ABSTRACT:
A computerized method receives an implementation comprising a modifier method and an observer method of a class implementing an abstract data type. The method symbolically executes the modifier method to obtain constrained states, and applies the observer method in constrained states to obtain specialized axioms. The method then creates a specification from the obtained specialized axioms based on generalizing, merging and simplifying the specialized axioms.

REFERENCES:
patent: 7089537 (2006-08-01), Das et al.
patent: 2006/0010428 (2006-01-01), Rushby et al.
patent: 2007/0143742 (2007-06-01), Kahlon et al.
Zhang et al., “Path-Oriented Test Data Generation using Symbolic Execution and Constraint Solving Techniques,” IEEE, Feb. 4, 2009.
Artho et al., “Automated Testing using Symbolic Model Checking and Temporal Monitoring,” Theoretical Computer Science, Mar. 16, 2004.
Chen et al., “Discovering Specifications,”Microsoft Research, Technical Report, Oct. 2005, 10 pages.
Ernst et al., “Dynamically Discovering Likely Program Invariants to Support Program Evolution,”IEEE Trans. Softw. Eng., 27(2):99-123, 2001.
Flanagan et al., “Houdini, an Annotation Assistant for ESC/Java,”FME '01: Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity, 2001, pp. 500-517.
Gannod et al., “A Specification Matching Based Approach to Reverse Engineering,”ICSE.'99: Proceedings of the 21st International Conference on Software Engineering, 1999, 10 pages.
Gannod et al., “Strongest Postcondition Semantics as the Formal Basis for Reverse Engineering,”The Journal of Automated Software Engineering, vol. 3, No. 1/2, 1996, pp. 139-164.
Henkel et al., “Discovering Algebraic Specifications from Java Classes,”Proc. 17th European Conference on Object-Oriented Programming, 2003, 25 pages.
Li et al., “PR-Miner: Automatically Extracting Implicit Programming Rules and Detecting Violations in Large Software Code,”13th ACM SIGSOFT Symposium on the Foundations of Software Engineering(FSE '05), Sep. 2005, pp. 306-315.
Logozzo, “Automatic Inference of Class Invariants,”Proceedings of the 5th International Conference on Verification, Model Checking and Abstract Interpretation(VMCAI '04), vol. 2937 of Lectures Notes in Computer Science, Springer-Verlag, Jan. 2004, pp. 211-222.
Sagiv et al., “Parametric Shape Analysis Via 3-Valued Logic,”ACM Trans. Program. Lang. Syst., 24(3):217-298, 2002.
Taghdiri, “Inferring Specifications to Detect Errors in Code,”Automated Software Engineering(ASE), Sep. 20, 2004, 10 pages.
Tillmann et al., “Parameterized Unit Tests,”Technical Report MSR-TR-2005-64, May 2005, 25 pages.
Tillmann et al., “Unit Tests Reloaded: Parameterized Unit Testing with Symbolic Execution,”MSR-TR-2005-153, Nov. 2005, 17 pages.
Xie et al., “Mutually Enhancing Test Generation and Specification Inference,”Proc. 3rd International Workshop on Formal Approaches to Testing of Software, vol. 2931 of LNCS, 2003, pp. 60-69.
Yang et al., “Terracotta: Mining Temporal API Rules From Imperfect Traces,”Mid-Atlantic Programming Language Seminar, Nov. 18, 2005, 10 pages.

Affiliated with

Also associated with

Rating

Specification generation from implementations does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Specification generation from implementations, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Specification generation from implementations will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-4243278