Method and system for describing predicates in disjuncts in procedures for test coverage estimation
Number of patents in Portfolio can not be more than 2000
United States of America Patent
Stats
-
Feb 24, 2004
Grant Date -
N/A
app pub date -
Sep 15, 2000
filing date -
Sep 17, 1999
priority date (Note) -
Expired
status (Latency Note)
Importance
Abstract
To estimate test coverage of procedure testing with functional specification of a procedure, predicates in functional branches in the procedure are described as logic expressions. The logic expressions of predicates are added to logic expressions of pre-condition of the procedure. Based on the logic expressions, functions of the functional specification of the procedure are generated and coverage during the procedure testing is estimated. In an embodiment, Disjunct Normal Form (DNF) is generated using short logic which omits calculation of an operand when another operand defines the result of the calculation. In another embodiment, Full Disjunct Normal Form (FDNF) is generated using three-sign logic.
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