On detecting faults for Boolean expressions

  • Authors:

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

  • Affiliations:

  • Swinburne University of Technology, Hawthorn, Australia;Swinburne University of Technology, Hawthorn, Australia;Swinburne University of Technology, Kuching, Malaysia;Beijing JiaoTong University, Beijing, China

  • Venue:
  • Software Quality Control
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

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.