Automatically generating observations of program behavior for code testing purposes
Number of patents in Portfolio can not be more than 2000
United States of America Patent
Stats
-
N/A
Issued Date -
Dec 15, 2005
app pub date -
Jun 1, 2004
filing date -
Jun 1, 2004
priority date (Note) -
Abandoned
status (Latency Note)
Importance
Abstract
One embodiment of the present invention provides a system that automatically generates observations of program behavior for code testing purposes. During operation, the system analyzes the code-under-test to determine a set of test inputs. Next, the system exercises the code-under-test on the set of test inputs to produce a set of test results. Finally, the system analyzes the set of test results to automatically generate observations, wherein the observations are boolean-valued expressions containing variables and/or constants which are consistent with the set of test inputs and the set of test results.
First Claim
Family
International Classification(s)
Cited Art Landscape
Patent Citation Ranking
Recipient Email Address
Recipient Email Address
Comment
Recipient Email Address
Add to Portfolio(s)
To add this patent to one, or more, of your portfolios, simply click the add button.
This Patent is in these Portfolios:
Add to additional portfolios:
Last Refreshed On:
Changes done successfully