Comparing Fault-based Testing Strategies of General Boolean Specifications

Zhenyu Chen,Baowen Xu,Changhai Nie
DOI: https://doi.org/10.1109/COMPSAC.2007.91
2007-01-01
Abstract:Testing Boolean specifications in general form (GF) by the IDNF-oriented approaches always results in superabundant cost and missing detection of some faults. This paper proposes GF-oriented approaches to improve them. The experimental results show that the GF-oriented strategies could enhance the fault detection capability and reduce the sizes of test sets.
What problem does this paper attempt to address?