Automatic generation of test cases from Boolean specifications using the MUMCUT strategy

Research output: Journal Publications and Reviews (RGC: 21, 22, 62)21_Publication in refereed journalpeer-review

32 Scopus Citations
View graph of relations

Author(s)

Related Research Unit(s)

Detail(s)

Original languageEnglish
Pages (from-to)820-840
Journal / PublicationJournal of Systems and Software
Volume79
Issue number6
Publication statusPublished - Jun 2006

Abstract

A recent theoretical study has proved that the MUMCUT testing strategy (1) guarantees to detect seven types of fault in Boolean specifications in irredundant disjunctive normal form, and (2) requires only a subset of the test sets that satisfy the previously proposed MAX-A and MAX-B strategies, which can detect the same types of fault. This paper complements previous work by investigating various methods for the automatic generation of test cases to satisfy the MUMCUT strategy. We evaluate these methods by using several sets of Boolean expressions, including those derived from real airborne software systems. Our results indicate that the greedy CUN and UCN methods are clearly better than others in consistently producing significantly smaller test sets, whose sizes exhibit linear correlation with the length of the Boolean expressions in irredundant disjunctive normal form. This study provides empirical evidences that the MUMCUT strategy is indeed cost-effective for detecting the faults considered in this paper. © 2005 Elsevier Inc. All rights reserved.

Research Area(s)

  • Black-box testing, Boolean specification, Fault-based testing, Specification-based testing, Test case generation

Citation Format(s)

Automatic generation of test cases from Boolean specifications using the MUMCUT strategy. / Yu, Yuen Tak; Lau, Man Fai; Chen, Tsong Yueh.

In: Journal of Systems and Software, Vol. 79, No. 6, 06.2006, p. 820-840.

Research output: Journal Publications and Reviews (RGC: 21, 22, 62)21_Publication in refereed journalpeer-review