Method and system for forming skeletons for generating verification systems
Number of patents in Portfolio can not be more than 2000
United States of America Patent
Stats
-
May 24, 2005
Grant Date -
N/A
app pub date -
Sep 15, 2000
filing date -
Sep 17, 1999
priority date (Note) -
Expired
status (Latency Note)
Importance
Abstract
A verification system for a procedure interface is generated by using formal specifications of the procedure interface and generating test suites. The test suites are generated from the formal specifications and templates or skeletons which are used to generate an element of a verification system. The skeletons are generated based on decomposition of test suits.
First Claim
Family
International Classification(s)
Cited Art Landscape
Patent Citation Ranking
Advertisement
Advertisement
Advertisement
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