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

作者: 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.

参考文章(36)
William C. Berg, William C. Diss, Paul A. Shupe, Michael E. Ausec, Method and apparatus for estimating fault coverage ,(1988)
Igor Burdonov, Alexander Kossatchev, Alexander Petrenko, Dmitri Galter, KVEST: Automated Generation of Test Suites from Formal Specifications formal methods. pp. 608- 621 ,(1999) , 10.1007/3-540-48119-2_34
Charles D. Garrett, Mikayo Wada, Joseph A. Bank, Richard A. Lethin, Mitsuo Sakurai, Dynamic optimizing object code translator for architecture emulation and dynamic optimizing object code translation method ,(1998)
Keith Andrew Longtin, John Gamwell Almstead, Maheshch Amritlal Morjaria, Remote diagnostic system and method collecting sensor data according to two storage techniques ,(1999)
Thomas H. Baker, Robert W. Proulx, John G. Rohrbaugh, Michael J. Bennett, Mercedes E. Gil, Apparatus and method for displaying wafer test results in real time ,(1992)