Memorias de investigación
Communications at congresses:
Comparing the Effectiveness of Equivalence Partitioning, Branch Testing and Code Reading by Stepwise Abstraction Applied by Subjects
Year:2012
Research Areas
  • Information technology and adata processing
Information
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.
International
Si
Congress
International Conference on Software Testing, Verification and Validation
960
Place
Montreal, QC
Reviewers
Si
ISBN/ISSN
978-1-4577-1906-6
10.1109/ICST.2012.113
Start Date
17/04/2012
End Date
21/04/2012
From page
330
To page
339
Software Testing, Verification and Validation (ICST), 2012 IEEE Fifth International Conference on
Participants
  • Autor: Natalia Juristo Juzgado UPM
  • Autor: Sira Vegas Hernandez UPM
  • Autor: Martin Solari Universidad ORT Uruguay
  • Autor: Silvia Abrahao Universidad Politécnica de Valencia
  • Autor: Isabel Ramos Universidad de Sevilla
Research Group, Departaments and Institutes related
  • Creador: Grupo de Investigación: Ingeniería del Software