On the relationships of faults for Boolean specification based testing

Research output: Chapters, Conference Papers, Creative and Literary Works (RGC: 12, 32, 41, 45)32_Refereed conference paper (with ISBN/ISSN)peer-review

7 Scopus Citations
View graph of relations

Author(s)

Related Research Unit(s)

Detail(s)

Original languageEnglish
Title of host publicationProceedings of the Australian Software Engineering Conference, ASWEC
PublisherIEEE Computer Society
Pages21-28
Volume2001-January
ISBN (Print)769512542
Publication statusPublished - 2001

Publication series

Name
Volume2001-January

Conference

TitleAustralian Software Engineering Conference, ASWEC 2001
PlaceAustralia
CityCanberra
Period27 - 28 August 2001

Abstract

Various methods of generating test cases based on Boolean specifications have previously been proposed. These methods are fault-based in the sense that test cases are aimed at detecting particular types of faults. Empirical results suggest that these methods are good at detecting particular types of faults. However, there is no information on the ability of these test cases in detecting other types of faults. This paper summarizes the relationships of faults in a Boolean expression in the form of a hierarchy. A test case that detects the faults at the lower level of the hierarchy will always detect the faults at the upper level of the hierarchy. The hierarchy helps us to better understand the relationships of faults in a Boolean expression, and hence to select fault-detecting test cases in a more systematic and efficient manner.

Research Area(s)

  • Boolean expression, Fault class analysis, Specification based testing, Verification

Citation Format(s)

On the relationships of faults for Boolean specification based testing. / Lau, M. F.; Yu, Y. T.

Proceedings of the Australian Software Engineering Conference, ASWEC. Vol. 2001-January IEEE Computer Society, 2001. p. 21-28 948494.

Research output: Chapters, Conference Papers, Creative and Literary Works (RGC: 12, 32, 41, 45)32_Refereed conference paper (with ISBN/ISSN)peer-review