Method and system for describing predicates in disjuncts in procedures for test coverage estimation

   
   

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.

 
Web www.patentalert.com

< Accurate positioner suitable for sequential agile tuning of pulse burst and CW lasers

< Isolation of program translation failures

> Falling-film evaporator and corresponding air distillation plants

> Dog assist harness

~ 00102