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

Title

An empirical evaluation and analysis of the fault-detection capability of MUMCUT for general Boolean expressions

Author(s)

Chen, Tsong Y.;  Sim, Kwan Y.;  Sun, Chang-Ai;  Tse, Tsun H.

Abstract

Boolean expressions are extensively used in software specifications. It is important to generate a small-sized test set for Boolean expressions without sacrificing the fault-detection capability. MUMCUT is an efficient test case generation strategy for Boolean expressions in Irreducible Disjointed Normal Form (IDNF). In the real world, however, Boolean expressions written by a software designer or programmer are not normally in IDNF. In this paper, we apply MUMCUT to generate test cases for general Boolean expressions and develop a mutation-based empirical evaluation on the effectiveness of this application. The experimental data show that MUMCUT can still detect single seeded faults in up to 98.20% of general Boolean expressions. We also analyze patterns where test cases generated by MUMCUT cannot detect the seeded faults.

Publication type

Conference paper

Research centre

Swinburne University of Technology. Faculty of Information and Communication Technologies

Source

2004 International Computer Symposium (ICS), Taipei, Taiwan, 15-17 December 2004

Publication year

2004

Publisher

TTU CSE Extenics and Fuzzy System Laboratory

Publisher URL

http://www.cs.hku.hk/~tse/Papers/smumcutICS.html

Peer reviewed