Please use this identifier to cite or link to this item: http://hdl.handle.net/1959.3/5524

Title

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

Author(s)

Yu, Yuen Tak;  Lau, Man Fai;  Chen, T. Y.

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.

Publication type

Journal article

Research centre

Swinburne University of Technology. Faculty of Information and Communication Technologies

Source

Journal of Systems and Software, Vol. 79, no. 6 (2006), p. 820-840

Publication year

2006

Keyword(s)

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

Publisher

Elsevier

Format

820-840

ISSN

0164-1212

Publisher URL

http://dx.doi.org/10.1016/j.jss.2005.08.016

Copyright

Copyright © 2005 Elsevier Inc. All rights reserved.

Peer reviewed