发明公开
EP1085419A3 Method and system for describing predicates in disjuncts in procedures for test coverage estimation
审中-公开
的方法和系统不相交的谓词的程序中的描述用于估计Prüfgeltungsbereichen
- 专利标题： Method and system for describing predicates in disjuncts in procedures for test coverage estimation
- 专利标题（中）： 的方法和系统不相交的谓词的程序中的描述用于估计Prüfgeltungsbereichen
-
申请号： EP00308140.3申请日： 2000-09-18
-
公开(公告)号： EP1085419A3公开(公告)日： 2002-12-04
- 发明人: Galter, Dmitri
- 申请人： NORTEL NETWORKS CORPORATION
- 申请人地址： World Trade Center of Montreal 380 St. Antoine Street West 8TH FLOOR Montreal, Quebec H2Y 3Y4 CA
- 专利权人： NORTEL NETWORKS CORPORATION
- 当前专利权人： NORTEL NETWORKS CORPORATION
- 当前专利权人地址： World Trade Center of Montreal 380 St. Antoine Street West 8TH FLOOR Montreal, Quebec H2Y 3Y4 CA
- 代理机构： Loven, Keith James
- 优先权： PCT/RU99/00340 19990917
- 主分类号： G06F11/36
- IPC分类号： G06F11/36
摘要：
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.
公开/授权文献
信息查询
