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.
Para estimar la cobertura de la prueba del procedimiento que prueba con la especificación funcional de un procedimiento, los predicados en ramas funcionales en el procedimiento se describen como expresiones de la lógica. Las expresiones de la lógica de predicados se agregan a las expresiones de la lógica de la condición previa del procedimiento. De acuerdo con las expresiones de la lógica, las funciones de la especificación funcional del procedimiento se generan y la cobertura durante la prueba del procedimiento se estima. En una encarnación, se genera la forma Normal disjunta (DNF) usando la lógica corta que omite el cálculo de un operando cuando otro operando define el resultado del cálculo. En otra encarnación, se genera la forma Normal disjunta completa (FDNF) usando lógica de la tres-muestra.