Fault classes and error detection capability of specification-based testing
- 1 October 1999
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Software Engineering and Methodology
- Vol. 8 (4), 411-424
- https://doi.org/10.1145/322993.322996
Abstract
Some varieties of specification-based testing rely upon methods for generating test cases from predicates in a software specification. These methods derive various test conditions from logic expressions, with the aim of detecting different types of faults. Some authors have presented empirical results on the ability of specification-based test generation methods to detect failures. This article describes a method for cokmputing the conditions that must be covered by a test set for the test set to guarantee detection of the particular fault class. It is shown that there is a coverage hierarchy to fault classes that is consistent with, and may therefore explain, experimental results on fault-based testing. The method is also shown to be effective for computing MCDC-adequate tests.Keywords
This publication has 9 references indexed in Scilit:
- A framework for specification-based testingIEEE Transactions on Software Engineering, 1996
- Automatic test-generation for predicates [software testing]IEEE Transactions on Reliability, 1996
- Automatically generating test data from a Boolean specificationIEEE Transactions on Software Engineering, 1994
- Applicability of modified condition/decision coverage to software testingSoftware Engineering Journal, 1994
- An analysis of test data selection criteria using the RELAY model of fault detectionIEEE Transactions on Software Engineering, 1993
- A Technique for Analyzing the Effects of Changes in Formal SpecificationsThe Computer Journal, 1992
- Boolean ReasoningPublished by Springer Science and Business Media LLC ,1990
- Sensitive test data for logic expressionsACM SIGSOFT Software Engineering Notes, 1984
- On a Theory of Boolean FunctionsJournal of the Society for Industrial and Applied Mathematics, 1959