Comparing Fault-based Testing Strategies of General Boolean Specifications
Zhenyu Chen, Baowen Xu, Changhai Nie · Proceedings - International Computer Software & Applications Conference · 2007
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.