作者: Dmitri Galter
DOI:
关键词:
摘要: To estimate test coverage of procedure testing with functional specification a procedure, predicates in branches the are described as logic expressions. The expressions added to pre-condition procedure. Based on expressions, functions generated and during is estimated. In an embodiment, Disjunct Normal Form (DNF) using short which omits calculation operand when another defines result calculation. Full (FDNF) three-sign logic.