Antonia Estero Botaro

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 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 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 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 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.

ABSTRACT Resumen. Las técnicas de caja blanca y, más precisamente, las técnicas de prueba de mutaciones dependen del lenguaje de programación empleado. El trabajo que se expone presenta un generador de mutantes independiente del lenguaje de programación empleado, mediante el empleo de algoritmos genéticos. Una de las características del generador es que no se necesitan generar todos los mutantes posibles, sino que la heurística aplicada permitirá realizar una selección de los mejores mutantes. El generador es capaz de detectar los posibles mutantes equivalentes. Palabras Clave: Prueba de mutaciones, Generador de mutantes, Algoritmos genéticos. 1 Introducción Las técnicas de caja blanca y, más en concreto, la prueba de mutaciones, tienen un alto grado de dependencia del lenguaje de programación, por lo que no podemos reutilizar herramientas empleadas en otros lenguajes. En este sentido, es necesario el desarrollo de herramientas que, de forma automática, generen mutantes para cualquier lenguaje de programación. Los algoritmos genéticos (AG) han demostrado ser una estrategia de optimización heurística eficaz para optimizar funciones con numerosos óptimos locales. Sin embargo, dentro del ámbito de pruebas del software, su uso se ha limitado a la generación de casos de prueba [8]. Este artículo presenta un generador de mutantes independiente del lenguaje de programación, empleando AG. Nuestro trabajo presenta un uso novedoso de éstos al aplicarlos a la generación de mutantes. El generador será capaz de detectar los posibles mutantes equivalentes. La estructura del artículo es la siguiente: en la sección 2 se resumen brevemente las conceptos teóricos sobre los que subyace el generador; en la sección 3 describimos brevemente la situación actual en la generación automática de mutantes; la sección 4 expone la generación de mutantes propuesta y, finalmente, en la sección 5 se resumen las conclusiones y las futuras líneas de trabajo.

ABSTRACT This work presents a quantitative evaluation of the quality of a set of mutation operators for WS-BPEL 2.0 (Web Services Business Process Execution Language), an OASIS standardized language for the composition of Web Services. A series of experiments is conducted, aiming to determine how selective operators are for the qualification of test cases and, more generally, the quality of the operators themselves. This includes a formalization of mutation testing defining the key concepts and measures employed. Three different compositions are considered and special attention is paid to the properties that suitable test-suites should enjoy.

... Juan José Domınguez-Jiménez, Antonia Estero-Botaro, Antonio Garcıa-Domınguez, Inmaculada ... Ingenierıa Cádiz, Spain Email: {juanjose.dominguez,antonia.estero,antonio.garciadominguez, inmaculada ... The Web Services Business Process Execution Lan-guage [1] (WS-BPEL ...

ABSTRACT Mutation testing is a successful testing technique based on fault injection. However, it can be very costly, and several cost-reduction techniques for reducing the number of mutants have been proposed in the literature. Cost reduction can be aided by an analysis of mutation operators, but this requires the definition of specialized metrics. Several metrics have been proposed before, although their effectiveness and relative merits are not easy to assess. A step ahead in the evaluation of mutation-reduction techniques would be a better metric to determine objectively the quality of a set of mutants with respect to a given test suite. This work introduces such a metric, which is naturally extended to mutation operators and may be used to reduce the number of mutants, particularly of equivalent mutants. Finally, a firm mutation analysis tool for WS-BPEL service compositions is presented, and experimental results obtained by comparing different metrics on several compositions are presented. Copyright © 2014 John Wiley & Sons, Ltd.

ABSTRACT Palabras clave: Enseñanzas técnicas, ECTS, aprendizaje colaborativo, evaluación continua, competencias transversales, planificación de actividades 1. INTRODUCCIÓN La integración en el EEES en el nuevo sistema de créditos ECTS supone establecer una medida del volumen de trabajo que el alumno debe realizar para alcanzar los objetivos educativos. Así, en [1, 2] se define el crédito ECTS como la unidad de valoración de la actividad académica en la que se integran las enseñanzas teóricas y prácticas, así como otras actividades académicamente dirigidas y el volumen de trabajo que el estudiante debe realizar para alcanzar los objetivos educativos. Esto se ha convertido en una oportunidad de transformar de forma significativa los paradigmas de enseñanza y aprendizaje [3], tal y como se indica en el Real Decreto sobre el sistema de créditos ECTS [2]: "Esta medida del haber académico comporta un nuevo modelo educativo que ha de orientar las programaciones y las metodologías docentes centrándolas en el aprendizaje de los estudiantes, no exclusivamente en las horas lectivas." La integración en el EEES y la adopción del crédito ECTS como unidad de medida del trabajo del estudiante nos obliga a cambiar tanto la forma de trabajo del profesor como la de los estudiantes. En el caso del profesor, las actividades tradicionales que se realizan consisten en redactar los objetivos de la asignatura, su programa, impartir las horas de clase de acuerdo con el número de créditos teóricos y prácticos que tiene asignados, esperar que los alumnos acudan a nuestras tutorías, preparar ejercicios, plantear exámenes y corregirlos. Aparte de estas actividades, con el EEES el profesor tendrá que hacer mayor hincapié en la planificación del trabajo que tienen que realizar los estudiantes tanto en clase como fuera de ella. Esta planificación deberá contemplar la realización de ejercicios o trabajos por parte de los estudiantes que les ayuden a conseguir los objetivos de aprendizaje. Se trata de programar un conjunto de actividades a realizar tanto en clase como fuera de ella, de las que no pueda escapar el estudiante sin haber aprendido, y conseguir que las realice [4].

ContextMutation testing is a testing technique that has been applied successfully to several programming languages. However, it is often regarded as computationally expensive, so several refinements have been proposed to reduce its cost. Moreover, WS-BPEL compositions are being widely adopted by developers, but present new challenges for testing, since they can take much longer to run than traditional programs of