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.
Citation:
Zhenyu Chen, Baowen Xu, Changhai Nie, "Comparing Fault-based Testing Strategies of General Boolean Specifications," compsac, vol. 1, pp.621-622, 2007 31st Annual International Computer Software and Applications Conference, 2007