US Patent No: 7,587,636
Number of patents in Portfolio can not be more than 2000
Unit test generalization
Stats
-
Sep 8, 2009
Issued date -
Dec 30, 2005
filing date -
11/323,032
serial no -
In Force
status
Importance
Loading Importance Indicators...
Abstract
A computer system provides a test program and one or more unit tests, such as a traditional unit test and or a parameterized unit test. The system also includes a constraint solver, a theorem prover, an implementation under test, a symbolic executor, a generalizor, and generated test cases. The generalizor receives a traditional unit tests as input, and modifies the traditional unit test into a parameterized unit test. The modification includes replacing plural concrete values in the traditional unit test with symbols, and exporting the symbols into a signature of the parameterized unit test. A symbolic executor identifies constraints while symbolically executing the created parameterized unit test of the implementation under test. A constraint solver and or theorem prover generates a set of test cases by solving for values that satisfy the series of constraints. The test program executes the automatically generated test cases.
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 |
|---|---|---|---|
|
|
|||
| 2003/0097,650 Method and apparatus for testing software | 45 | 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 | Mar 8, 2013 |
| 7.5 Year Payment | $3600.00 | $1800.00 | $900.00 | Mar 8, 2017 |
| 11.5 Year Payment | $7400.00 | $3700.00 | $1850.00 | Mar 8, 2021 |
| 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 |