Papers by Antonia Estero Botaro
Book of abstracts CIVINEDU 2018: 2nd International Virtual Conference on Educational Research and Innovation 24 - 25 October, 2018, 2018, ISBN 978-94-92805-07-2, pág. 34, 2018
La prueba de mutaciones ha sido objeto de multiples trabajos de investigacion durante los ultimos... more La prueba de mutaciones ha sido objeto de multiples trabajos de investigacion durante los ultimos 30 anos; sin embargo, aun hoy dia sigue presentando algunos problemas que no estan resueltos, como la determinacion de los programas semanticamente equivalentes, el coste computacional implicado en la generacion y ejecucion del gran numero de mutantes producidos frente a los casos de prueba, la generacion de casos de prueba, etc. Durante estas tres decadas se han propuesto tecnicas para intentar vencer estos problemas. Esta tesis aborda el problema de la generacion automatica de los casos de prueba, empleando para ello una tecnica evolutiva. Los algoritmos geneticos han sido ampliamente utilizados en la generacion de casos de prueba empleandose principalmente un criterio estructural, pero tambien han sido aplicados a los sistemas de mutaciones. A estos ultimos tambien se han aplicado variantes de los algoritmos geneticos conocidas como algoritmos bacteriologicos y algoritmos inmunologic...
Resumen La prueba basada en búsqueda permite generar casos de prueba automáticamente mediante la ... more Resumen La prueba basada en búsqueda permite generar casos de prueba automáticamente mediante la codificación de un criterio de cobertura como una función de aptitud que guía la búsqueda. Los algoritmos genéticos se han aplicado con éxito a este tipo de prueba utilizando principalmente criterios de cobertura estructural. Este trabajo presenta el análisis realizado para mejorar el comportamiento del generador de casos de prueba Rodan, que emplea un algoritmo genético para generar casos de prueba que matan mutantes producidos a partir de composiciones WS-BPEL. Se presentan los resultados obtenidos sobre un caso de estudio clásico en la literatura de prueba (un clasificador de triángulos) para tres operadores de mutación, con siembra y sin ella, y con distintos tamaños del espacio de búsqueda. Estos resultados se comparan con los obtenidos mediante generación aleatoria de casos de prueba.
adaptation of subjects involves the adoption of active methodologies and systems of continuous as... more adaptation of subjects involves the adoption of active methodologies and systems of continuous assessment. Learning platforms can assist in the implementation of new methodologies and evaluation methods. The paper presents the experience developed in the subject Operating Systems I in degrees Ingeniero Tecnico en Informatica de Gestion and Ingeniero Tecnico en Informatica de Sistemas, describing the new methodology and assessment method used and the role the Moodle system plays in these changes.
Programa: Tema 1: Competencias profesionales del Ingeniero Informatico. Tema 2: Introduccion a la... more Programa: Tema 1: Competencias profesionales del Ingeniero Informatico. Tema 2: Introduccion a la seguridad. Tema 3: Legislacion y normas en materia de seguridad informatica. Tema 4: Seguridad en el entorno. Tema 5: Seguridad de los programas. Tema 6: Seguridad de los sistemas operativos. Tema 7: Seguridad en bases de datos. Tema 8: Criptografia. Tema 9: Seguridad en redes. Tema 10: Metodologias para la verificacion de la seguridad. Trabajo sobre politica y documento de seguridad
Resumen. El EEES supone una oportunidad para introducir un cambio en la mentalidad del profesorad... more Resumen. El EEES supone una oportunidad para introducir un cambio en la mentalidad del profesorado con objeto de poder realizar un cambio en la metodología aplicada. Este trabajo pretende mostrar la experiencia llevada a cabo en dos
Proceedings of the Genetic and Evolutionary Computation Conference
Resumen. El EEES supone una oportunidad para introducir un cambio en la mentalidad del profesorad... more Resumen. El EEES supone una oportunidad para introducir un cambio en la mentalidad del profesorado con objeto de poder realizar un cambio en la metodología aplicada. Este trabajo pretende mostrar la experiencia llevada a cabo en dos
Resumen Se presenta una herramienta que puede ser empleada en la docencia de Sistemas Operativos,... more Resumen Se presenta una herramienta que puede ser empleada en la docencia de Sistemas Operativos, concretamente en el campo de los algoritmos de planificación de la CPU, elaborada como una aplicación Web en Java.
Resumen Se presenta una herramienta que puede ser empleada en la docencia de Sistemas Operativos,... more Resumen Se presenta una herramienta que puede ser empleada en la docencia de Sistemas Operativos, concretamente en el campo de los algoritmos de sustitución de páginas, elaborada como una aplicación Web en Java.
Resumen Se presentan las experiencias y posibilidades docentes que tiene el empleo de dos herrami... more Resumen Se presentan las experiencias y posibilidades docentes que tiene el empleo de dos herramientas creadas para la docencia de Sistemas Operativos. Éstas son dos simuladores, uno de los algoritmos de planificación de la CPU, y otro de los algoritmos de sustitución de páginas, elaborados como aplicaciones Web en Java.
Resumen La prueba de mutaciones es una técnica de prueba basada en fallos computacionalmente cost... more Resumen La prueba de mutaciones es una técnica de prueba basada en fallos computacionalmente costosa. Debido a esto, se han propuesto diferentes técnicas para reducir dicho coste computacional mediante la reducción del número de mutantes generados. La efectividad de estas técnicas se podría medir de acuerdo a la calidad del subconjunto de mutantes generados. Para ello es necesario establecer una métrica que determine la calidad de un mutante frente al conjunto de casos de prueba sobre el que se ejecuta. En este artículo se presenta una métrica de la calidad de los mutantes, así como una métrica de la calidad de los operadores de mutación. Además se muestran los resultados experimentales obtenidos al aplicar dichas métricas a varias composiciones WS-BPEL.
The rise of Web Services and their WS-BPEL compositions in recent years makes it necessary to pay... more The rise of Web Services and their WS-BPEL compositions in recent years makes it necessary to pay special attention to testing in this context. Mutation testing is a white box testing technique that has been applied successfully to programs written in different languages. In order to apply it we need a system for mutant generation. This paper presents a system for automatic mutant generation for WS-BPEL compositions; it is composed by three different elements: an analyzer, a mutant generator and a system that executes and evaluates the mutants. Our system is based in genetic algorithms and tries to minimize the number of mutants generated, independently of the number and type of mutation operators.
Uploads
Papers by Antonia Estero Botaro