Memorias de investigación
Communications at congresses:
Estudio de la Efectividad de Tres Técnicas de Evaluación de Código: Resultados de una Serie de Experimentos
Year:2011
Research Areas
  • Information technology and adata processing
Information
Abstract
Hasta la fecha se han evaluado distintas técnicas de verificación y validación teórica y empíricamente. La mayoría de las evaluaciones empíricas se han llevado a cabo sin sujetos, abstrayendo el efecto del sujeto sobre la técnica a la hora de aplicarla. Hemos evaluado mediante un experimento con sujetos la efectividad de tres técnicas de verificación y validación de código: partición en clases de equivalencia, cobertura de decisión y lectura de código mediante abstracciones sucesivas, estudiando la capacidad de las técnicas para la detección de fallos en tres programas distintos. Hemos replicado el experimento ocho veces en cuatro entornos distintos. Los resultados arrojan diferencias entre las técnicas y señalan variables contextuales del proyecto software que deberían considerarse cuando se quiera elegir o aplicar una técnica de verificación y validación.
International
No
Congress
JISBD - Jornadas de Ingeniería del Software y Bases de Datos
960
Place
A Coruña, España.
Reviewers
Si
ISBN/ISSN
978-84-9749-486-1
Start Date
05/09/2012
End Date
07/09/2012
From page
347
To page
360
Actas de las XVI Jornadas de Ingeniería del Software y Bases de Datos
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