METHOD AND SYSTEM FOR DESCRIBING PREDICATES IN DISJUNCTS IN PROCEDURES FOR TEST COVERAGE ESTIMATION

摘要

To estimate test coverage of procedure testing with functional specificati on 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 expression s, functions of the functional specification of the procedure are generated and coverage during the procedure testing is estimated. In an embodiment, Disjun ct Normal Form (DNF) is generated using short logic which omits calculation of an operand when another operand defines the result of the calculation. In anoth er embodiment, Full Disjunct Normal Form (FDNF) is generated using three-sign logic.