An official website of the United States government
Here’s how you know
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
Secure .gov websites use HTTPS
A lock (
) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.
Fault Classes and Error Detection in Specification Based Testing
Published
Author(s)
David R. Kuhn
Abstract
Specification based testing relies 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 demonstrating their effectiveness of the test generation methods. This paper examines the conditions under which a particular fault class will cause an error for a given predicate. These conditions must be covered by a test set for the test set to guarantee detection of the particular fault class. By deriving the general conditions under which various fault classes cause an error, we show that there is a coverage hierarchy to fault classes. The fault hierarchy is then used to explain experimental results on fault based testing. This work is significant because it provides a method for comparing the effectiveness of test sets designed for various fault models.
Citation
- 6140
Report Number
6140
Pub Type
NIST Pubs
Keywords
fault models, formal methods, formal specification, software testing, test generation
Citation
Kuhn, D.
(1998),
Fault Classes and Error Detection in Specification Based Testing, - 6140, National Institute of Standards and Technology, Gaithersburg, MD
(Accessed June 8, 2023)