Lightweight Automatic Error Detection by Monitoring Collar Variables

Abstract : Although proven to be an effective way for detecting errors, generic program invariants (also known as fault screeners) entail a considerable runtime overhead, rendering them not useful in practice. This paper studies the impact of using simple variable patterns to detect the so-called system’s collar variables to reduce the number of variables to be monitored (instrumented). Two different patterns were investigated to determine which variables to monitor. The first pattern finds variables whose value increase or decrease at regular intervals and deems them not important to monitor. The other pattern verifies the range of a variable per (successful) execution. If the range is constant across executions, then the variable is not monitored. Experiments were conducted on three different real-world applications to evaluate the reduction achieved on the number of variables monitored and determine the quality of the error detection. Results show a reduction of 52.04% on average in the number of monitored variables, while still maintaining a good detection rate with only 3.21% of executions detecting non-existing errors (false positives) and 5.26% not detecting an existing error (false negatives).
Type de document :
Communication dans un congrès
Brian Nielsen; Carsten Weise. 24th International Conference on Testing Software and Systems (ICTSS), Nov 2012, Aalborg, Denmark. Springer, Lecture Notes in Computer Science, LNCS-7641, pp.215-230, 2012, Testing Software and Systems. 〈10.1007/978-3-642-34691-0_16〉
Liste complète des métadonnées

Littérature citée [17 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01482403
Contributeur : Hal Ifip <>
Soumis le : vendredi 3 mars 2017 - 15:17:22
Dernière modification le : vendredi 3 mars 2017 - 15:25:07
Document(s) archivé(s) le : mardi 6 juin 2017 - 12:05:38

Fichier

978-3-642-34691-0_16_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

João Santos, Rui Abreu. Lightweight Automatic Error Detection by Monitoring Collar Variables. Brian Nielsen; Carsten Weise. 24th International Conference on Testing Software and Systems (ICTSS), Nov 2012, Aalborg, Denmark. Springer, Lecture Notes in Computer Science, LNCS-7641, pp.215-230, 2012, Testing Software and Systems. 〈10.1007/978-3-642-34691-0_16〉. 〈hal-01482403〉

Partager

Métriques

Consultations de la notice

45

Téléchargements de fichiers

15