首页>
外国专利>
Method and system for describing predicates in disjuncts in procedures for test coverage estimation
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.
展开▼