Revisión de resultados experimentales en técnicas de prueba y de educción de conocimientos

La cantidad de experimentos realizados en el ámbito de la ingeniería del software ha ido aumentando considerablemente en los últimos años. Estos experimentos cubren un amplio rango de temas, como por ejemplo, técnicas de pruebas en software, técnicas de educción de conocimientos, lenguajes de programación, etc. Sin embargo, si los experimentos no son tratados como investigaciones controladas, formales y rigurosas, existe un riesgo de obtener conclusiones que carezcan de validez. En este reporte, se analizan 32 experimentos sobre técnicas de prueba y de educción de conocimientos para verificar la correctitud de los mismos. En la sección 2, se describe el estado de la cuestión, donde se exponen nociones de experimentación y técnicas estadísticas. La sección 3, describe el problema a tratar; y la sección 4, la solución propuesta. Los resultados se exponen en la sección 5. En la sección 6, se presentan las conclusiones, seguidas por las futuras líneas de investigación y la bibliografía en las secciones 7 y 8 respectivamente.Eje: Ingeniería de Software y Base de DatosRed de Universidades con Carreras en Informática (RedUNCI

Revisión de resultados experimentales en técnicas de prueba y de educción de conocimientos

La cantidad de experimentos realizados en el ámbito de la ingeniería del software ha ido aumentando considerablemente en los últimos años. Estos experimentos cubren un amplio rango de temas, como por ejemplo, técnicas de pruebas en software, técnicas de educción de conocimientos, lenguajes de programación, etc. Sin embargo, si los experimentos no son tratados como investigaciones controladas, formales y rigurosas, existe un riesgo de obtener conclusiones que carezcan de validez. En este reporte, se analizan 32 experimentos sobre técnicas de prueba y de educción de conocimientos para verificar la correctitud de los mismos. En la sección 2, se describe el estado de la cuestión, donde se exponen nociones de experimentación y técnicas estadísticas. La sección 3, describe el problema a tratar; y la sección 4, la solución propuesta. Los resultados se exponen en la sección 5. En la sección 6, se presentan las conclusiones, seguidas por las futuras líneas de investigación y la bibliografía en las secciones 7 y 8 respectivamente.Eje: Ingeniería de Software y Base de DatosRed de Universidades con Carreras en Informática (RedUNCI

Estudio de la Efectividad de Tres Técnicas de Evaluación de Código: Resultados de una Serie de Experimentos.

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

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

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

Revisión de resultados experimentales sobre performance de técnicas pruebas de software

En el presente trabajo se describe el uso de un test no paramétrico para revalidar los resultados experimentales previos sobre el desempeño de cuatro técnicas de prueba de software. El mismo permite demostrar que, si bien el análisis aislado de los distintos experimentos y la evaluación de los valores a nivel global parecieran indicar que las variantes de la técnica de mutación son más efectivas en la detección de fallas que la técnica de all-uses, no existe evidencia empírica que permita afirmar esta hipótesis.This paper describes experimental results revalidation in software testing techniques using statistical nonparametric test. The obtained results show that meanwhile the isolated analysis of the experimental results shows that mutation based techniques are more effective than all-uses technique for failure detection, the global parameters evaluation shows that there is no evidence to support this difference.III Workshop de Ingeniería de Software y Bases de Datos (WISBD)Red de Universidades con Carreras en Informática (RedUNCI

Revisión de resultados experimentales sobre performance de técnicas pruebas de software

En el presente trabajo se describe el uso de un test no paramétrico para revalidar los resultados experimentales previos sobre el desempeño de cuatro técnicas de prueba de software. El mismo permite demostrar que, si bien el análisis aislado de los distintos experimentos y la evaluación de los valores a nivel global parecieran indicar que las variantes de la técnica de mutación son más efectivas en la detección de fallas que la técnica de all-uses, no existe evidencia empírica que permita afirmar esta hipótesis.This paper describes experimental results revalidation in software testing techniques using statistical nonparametric test. The obtained results show that meanwhile the isolated analysis of the experimental results shows that mutation based techniques are more effective than all-uses technique for failure detection, the global parameters evaluation shows that there is no evidence to support this difference.III Workshop de Ingeniería de Software y Bases de Datos (WISBD)Red de Universidades con Carreras en Informática (RedUNCI

Estudio de la Efectividad de Tres Técnicas de Evaluación de Código: Resultados de una Serie de Experimentos

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.Ministerio de Ciencia e Innovación TIN2008-0055