loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Rui Abreu ; Alberto González ; Peter Zoeteweij and Arjan J. C. van Gemund

Affiliation: Faculty of Electrical Engineering, Mathematics, and Computer Science, Delft University of Technology, Netherlands

Keyword(s): Error detection, program invariants, analytic model, fault localization, program spectra.

Related Ontology Subjects/Areas/Topics: Service-Oriented Software Engineering and Management ; Software and Systems Development Methodologies ; Software Engineering ; Software Process Improvement

Abstract: Fault screeners are simple software (or hardware) constructs that detect variable value errors based on unary invariant checking. In this paper we evaluate and compare the performance of two low-cost screeners (Bloom filter, and range screener) that can be automatically integrated within a program, while being automatically trained during the testing phase. While the Bloom filter has the capacity of retaining virtually all variable values associated with proper program execution, this property comes with a much higher false positive rate per unit training effort, compared to the more simple range screener, that compresses all value information in terms of a single lower and upper bound. We present a novel analytic model that predicts the false positive and false negative rate for both type of screeners. We show that the model agrees with our empirical findings. Furthermore, we describe the application of both screeners, where the screener output is used as input to a fault localizati on process that provides automatic feedback on the location of residual program defects during deployment in the field. (More)

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 54.224.100.102

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Abreu, R.; González, A.; Zoeteweij, P. and J. C. van Gemund, A. (2008). ON THE PERFORMANCE OF FAULT SCREENERS IN SOFTWARE DEVELOPMENT AND DEPLOYMENT. In Proceedings of the Third International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE; ISBN 978-989-8111-28-9; ISSN 2184-4895, SciTePress, pages 123-130. DOI: 10.5220/0001764601230130

@conference{enase08,
author={Rui Abreu. and Alberto González. and Peter Zoeteweij. and Arjan {J. C. van Gemund}.},
title={ON THE PERFORMANCE OF FAULT SCREENERS IN SOFTWARE DEVELOPMENT AND DEPLOYMENT},
booktitle={Proceedings of the Third International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE},
year={2008},
pages={123-130},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001764601230130},
isbn={978-989-8111-28-9},
issn={2184-4895},
}

TY - CONF

JO - Proceedings of the Third International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE
TI - ON THE PERFORMANCE OF FAULT SCREENERS IN SOFTWARE DEVELOPMENT AND DEPLOYMENT
SN - 978-989-8111-28-9
IS - 2184-4895
AU - Abreu, R.
AU - González, A.
AU - Zoeteweij, P.
AU - J. C. van Gemund, A.
PY - 2008
SP - 123
EP - 130
DO - 10.5220/0001764601230130
PB - SciTePress