US Patent No: 8,046,746
Number of patents in Portfolio can not be more than 2000
Symbolic execution of object oriented programs with axiomatic summaries
Stats
-
Oct 25, 2011
Issued date -
Aug 4, 2005
filing date -
11/197,912
serial no -
In Force
status
Importance
Loading Importance Indicators...
Abstract
Symbolic execution identifies possible execution paths of a computer program or method, each having certain constraints over the input values. The symbolic execution also records updates of memory locations, e.g. updates of the fields of symbolic objects in the heap of an object oriented program, involving a description of the previous heap, the updated symbolic object, a field identification, and a newly assigned symbolic value. The symbolic execution can also record calls to summarized methods, involving a description of previous calls, an identification of the summarized methods, and its symbolic arguments. The behavior of summarized methods can be expressed by axioms. Axioms describe the relationship between summarized methods under certain conditions. Axioms can be generated from parameterized unit tests. A parameterized unit test is a method with parameters which executes a sequence of calls to methods of an implementation under test; it asserts constraints over the inputs and outputs of the calls. A software testing program receives a parameterized unit test of an implementation under test, and symbolically executes the parameterized unit test. It can re-use axioms generated from other parameterized unit tests, and use them to emulate summarized methods.
Loading the Abstract Image...
First Claim
Related Publications
Loading Related Publications...
International Classification(s)
- [Classification Symbol]
- [Patents Count]
Cited Art
| Patent Info | (Count) | # Cites | Year |
|---|---|---|---|
|
|
|||
| 7,797,687 Parameterized unit tests with behavioral purity axioms | 9 | 2005 | |
| 2007/0033,440 Parameterized unit tests | 9 | 2005 | |
| 7,496,791 Mock object generation by symbolic execution | 5 | 2005 | |
| 7,587,636 Unit test generalization | 12 | 2005 | |
|
|
|||
| 2003/0097,650 Method and apparatus for testing software | 46 | 2001 | |
| 7,089,542 Method and apparatus for finding errors in software programs using satisfiability of constraints | 17 | 2002 | |
|
|
|||
| 5,784,553 Method and system for generating a computer program test suite using dynamic symbolic execution of JAVA programs | 129 | 1997 | |
| 2006/0085,156 Method and system for predicting memory leaks from unit testing | 12 | 2004 | |
|
|
|||
| 7,373,636 Automated software testing system and method | 15 | 2003 | |
|
|
|||
| 2004/0243,951 Using symbolic evaluation to validate models that have incomplete information | 5 | 2004 | |
|
|
|||
| 2005/0223,362 Methods and systems for performing unit testing across multiple virtual machines | 14 | 2004 | |
|
|
|||
| 2005/0120,274 Methods and apparatus to minimize debugging and testing time of applications | 6 | 2003 | |
|
|
|||
| 2006/0253,739 Method and apparatus for performing unit testing of software modules with use of directed automated random testing | 16 | 2005 | |
|
|
|||
| 7,389,223 Method and apparatus for testing a software program using mock translation input method editor | 13 | 2003 | |
|
|
|||
| 2005/0204,201 Method and system for testing software development activity | 17 | 2005 | |
Patent Citation Ranking
Maintenance Fees
| Fee | Large entity fee | small entity fee | micro entity fee | due date |
|---|---|---|---|---|
| 3.5 Year Payment | $1600.00 | $800.00 | $400.00 | Apr 25, 2015 |
| 7.5 Year Payment | $3600.00 | $1800.00 | $900.00 | Apr 25, 2019 |
| 11.5 Year Payment | $7400.00 | $3700.00 | $1850.00 | Apr 25, 2023 |
| Fee | Large entity fee | small entity fee | micro entity fee |
|---|---|---|---|
| Surcharge - 3.5 year - Late payment within 6 months | $160.00 | $80.00 | $40.00 |
| Surcharge - 7.5 year - Late payment within 6 months | $160.00 | $80.00 | $40.00 |
| Surcharge - 11.5 year - Late payment within 6 months | $160.00 | $80.00 | $40.00 |
| Surcharge after expiration - Late payment is unavoidable | $700.00 | $350.00 | $175.00 |
| Surcharge after expiration - Late payment is unintentional | $1,640.00 | $820.00 | $410.00 |