Descripción
|
|
---|---|
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. | |
Internacional
|
No |
Nombre congreso
|
JISBD - Jornadas de Ingeniería del Software y Bases de Datos |
Tipo de participación
|
960 |
Lugar del congreso
|
A Coruña, España. |
Revisores
|
Si |
ISBN o ISSN
|
978-84-9749-486-1 |
DOI
|
|
Fecha inicio congreso
|
05/09/2012 |
Fecha fin congreso
|
07/09/2012 |
Desde la página
|
347 |
Hasta la página
|
360 |
Título de las actas
|
Actas de las XVI Jornadas de Ingeniería del Software y Bases de Datos |