TEST CASE GENERATION USING A CONSTRAINT GRAPH SOLVER
Number of patents in Portfolio can not be more than 2000
United States of America Patent
Stats
-
N/A
Issued Date -
Aug 3, 2017
app pub date -
Jan 29, 2016
filing date -
Jan 29, 2016
priority date (Note) -
Published
status (Latency Note)
Importance
Abstract
The application discloses a computing system to analyze a program to generate a control flow graph representing paths capable of being traversed through the program during execution. The computing system can translate the control flow graph into a constraint graph representation of the program. The computing system can utilize a constraint solver on the constraint graph to identify a set of test values associated with a coverage definition. The set of test values can prompt the program, during execution, to be exercised based on the coverage definition provided to the test program generation tool 300. The computing system can generate a test program configured to provide the set of input variable values to the program.
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