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

Title

On detecting faults for Boolean expressions

Author(s)

Chen, T. Y.;  Lau, M. F.;  Sim, K. Y.;  Sun, C. A.

Abstract

Fault based testing aims at detecting hypothesized faults based on specifications or program source. There are some fault based techniques for testing Boolean expressions which are commonly used to model conditions in specifications as well as logical decisions in program source. The MUMCUT strategy has been proposed to generate test cases from Boolean expressions. Moreover, it detects eight common types of hypothesized faults provided that the original expression is in irredundant disjunctive normal form, IDNF. Software practitioners are more likely to write the conditions and logical decisions in general form rather than IDNF. Hence, it is interesting to investigate the fault detecting capability of the MUMCUT strategy with respect to general form Boolean expressions. In this article, we perform empirical studies to investigate the fault detection capability of the MUMCUT strategy with respect to general form Boolean expressions as well as mutated expressions. A mutated expression can be obtained from the original given Boolean expression by making a syntactic change based on a particular type of fault.

Publication type

Journal article

Research centre

Swinburne University of Technology

Research centre

Swinburne University of Technology. Sarawak Campus

Source

Software Quality Journal, Vol. 17, no. 3 (Sep 2009), pp. 245-261

Publication year

2009

FOR Code(s)

080309 Software Engineering

Keyword(s)

Black-box testing;  Boolean specification;  Fault based testing;  Fault detection;  MUMCUT strategy;  Software testing;  Specification based testing

Publisher

Springer

ISSN

0963-9314

Publisher URL

http://dx.doi.org/10.1007/s11219-008-9064-5

Copyright

Copyright © 2008 Springer Science+Business Media, LLC.

Peer reviewed