Method and system for describing predicates in disjuncts in...

G - Physics – 06 – F

Patent

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Details

G06F 11/36 (2006.01)

Patent

CA 2319725

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.

LandOfFree

Say what you really think

Search LandOfFree.com for Canadian inventors and patents. Rate them and share your experience with other people.

Rating

Method and system for describing predicates in disjuncts in... does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Method and system for describing predicates in disjuncts in..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and system for describing predicates in disjuncts in... will most certainly appreciate the feedback.

Rate now

     

Profile ID: LFCA-PAI-O-2061569

  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.