Search Swinburne Research Bank
Specification-based testing | Journal article | 280000 Information, Computing and Communication Sciences
Home List of Titles Automatic generation of test cases from Boolean specifications using the MUMCUT strategy
Please use this identifier to cite or link to this item: http://hdl.handle.net/1959.3/5524
- Automatic generation of test cases from Boolean specifications using the MUMCUT strategy
- Yu, Yuen Tak; Lau, Man Fai; Chen, T. Y.
- 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
- Journal of Systems and Software, Vol. 79, no. 6 (2006), p. 820-840
- Publication year
- Black-box testing; Boolean specification; Fault-based testing; Specification-based testing; Test case generation
- Publisher URL
- Copyright © 2005 Elsevier Inc. All rights reserved.
- Peer reviewed