Autor:
Estero-Botaro, Antonia

Cargando...
Foto de perfil

E-mails conocidos

antonia.estero@uca.es

Fecha de nacimiento

Proyectos de investigación

Unidades organizativas

Puesto de trabajo

Apellidos

Estero-Botaro

Nombre de pila

Antonia

Nombre

Nombres alternativos

Afiliaciones conocidas

Departamento de Ingeniería Informática, Universidad de Cádiz
Departamento de Ingeniería Informática, Universidad de Cádiz C/Avenida de la Universidad de Cádiz, 10, 11519, Puerto Real, Cádiz, España

Páginas web conocidas

Página completa del ítem
Notificar un error en este autor

Resultados de la búsqueda

Mostrando 1 - 2 de 2
  • Artículo
    Minimización de conjuntos de casos de prueba en la prueba de mutaciones de composiciones BPEL
    Palomo-Lozano, Francisco; Estero-Botaro, Antonia; Medina Bulo, María Inmaculada. Actas de las XXI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2016), 2016-09-13.
    Tanto en la aplicación de prueba de mutaciones a composiciones BPEL como en la realización de estudios experimentales sobre diversas métricas de calidad, surge la necesidad de minimizar conjuntos de casos de prueba manteniendo la máxima cobertura de mutación. La prueba de este tipo de software presenta algunas peculiaridades. Normalmente, las composiciones son relativamente pequeñas cuando se comparan con aplicaciones desarrolladas en lenguajes tradicionales, pues se encargan exclusivamente de la orquestación de los servicios, y no se dispone de un gran número de casos de prueba para ellas. No obstante, su ejecución puede resultar muy costosa, y debe realizarse para un número de mutantes que, normalmente, supera ampliamente al de casos de prueba. Proponemos aquí como técnica de minimización una reducción a programación lineal entera y evaluamos su rendimiento para distintas composiciones.
  • Artículo
    Análisis y determinación del impacto del operador de mutación en la generación genética de casos de prueba para WS-BPEL
    Estero-Botaro, Antonia; Cortijo-García, Álvaro; García Domínguez, Antonio; Palomo-Lozano, Francisco; Domínguez Jiménez, Juan José; Medina Bulo, María Inmaculada. Actas de las XX Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2015), 2015-09-15.
    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.