Comparing the effectiveness of equivalence partitioning, branch testing and code reading by stepwise abstraction applied by subjects

Juristo Juzgado, Natalia and Vegas Hernandez, Sira and Solari Buela, Martín and Abrahao, Silvia and Ramos, Isabel (2012). Comparing the effectiveness of equivalence partitioning, branch testing and code reading by stepwise abstraction applied by subjects. In: "Software Testing, Verification and Validation (ICST), 2012 IEEE Fifth International Conference on", 17/04/2012 - 21/04/2012, Montreal, QC. ISBN 978-1-4577-1906-6. pp. 330-339. https://doi.org/10.1109/ICST.2012.113.

Description

Title: Comparing the effectiveness of equivalence partitioning, branch testing and code reading by stepwise abstraction applied by subjects
Author/s:
  • Juristo Juzgado, Natalia
  • Vegas Hernandez, Sira
  • Solari Buela, Martín
  • Abrahao, Silvia
  • Ramos, Isabel
Item Type: Presentation at Congress or Conference (Article)
Event Title: Software Testing, Verification and Validation (ICST), 2012 IEEE Fifth International Conference on
Event Dates: 17/04/2012 - 21/04/2012
Event Location: Montreal, QC
Title of Book: 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST)
Date: 2012
ISBN: 978-1-4577-1906-6
Subjects:
Freetext Keywords: Verification and validation, experimentation, combination of experimental results, verificaicón y validación, esperimentacion, combinación de los resultados experimentales.
Faculty: Facultad de Informática (UPM)
Department: Lenguajes y Sistemas Informáticos e Ingeniería del Software
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB)

Abstract

Some verification and validation techniques have been evaluated both theoretically and empirically. Most empirical studies have been conducted without subjects, passing over any effect testers have when they apply the techniques. We have run an experiment with students to evaluate the effectiveness of three verification and validation techniques (equivalence partitioning, branch testing and code reading by stepwise abstraction). We have studied how well able the techniques are to reveal defects in three programs. We have replicated the experiment eight times at different sites. Our results show that equivalence partitioning and branch testing are equally effective and better than code reading by stepwise abstraction. The effectiveness of code reading by stepwise abstraction varies significantly from program to program. Finally, we have identified project contextual variables that should be considered when applying any verification and validation technique or to choose one particular technique.

More information

Item ID: 20727
DC Identifier: http://oa.upm.es/20727/
OAI Identifier: oai:oa.upm.es:20727
DOI: 10.1109/ICST.2012.113
Official URL: http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6200089
Deposited by: Memoria Investigacion
Deposited on: 07 Nov 2013 16:53
Last Modified: 22 Sep 2014 11:21
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM