G - Physics – 06 – F
Patent
G - Physics
06
F
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.
Burdonov Igor B.
Galter Dmitri
Kossatchev Alexandre S.
Maximov Andrei V.
Petrenko Alexandre K.
Gowling Lafleur Henderson Llp
Nortel Networks Corporation
LandOfFree
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.
Profile ID: LFCA-PAI-O-2061569