MUMCUT: a fault-based strategy for testing Boolean specifications

We study the MUMCUT strategy that integrates the MUTP, MNFP and CUTPNFP strategies previously proposed separately for testing Boolean specifications. The MUMCUT strategy guarantees to detect seven types of faults found in Boolean expressions. We describe an implementation of generating test sets that satisfy the MUMCUT strategy, and empirically evaluate its cost effectiveness. With respect to a previously published set of Boolean expressions derived from a real specification, we find that on average the MUMCUT strategy requires only about one quarter the size of an exhaustive test set. Moreover, the MUMCUT strategy proves to be a substantial improvement to the MAX-A and MAX-B strategies which detect the same types of faults