Autor:
de Castro-Cabrera, M. Carmen

Foto de perfil
E-mails conocidos
maricarmen.decastro@uca.es
Fecha de nacimiento
Proyectos de investigación
Unidades organizativas
Puesto de trabajo
Apellidos
de Castro-Cabrera
Nombre de pila
M. Carmen
Nombre
Nombres alternativos
de Castro-Cabrera, M Carmen
De Castro-Cabrera, M. Carmen
Afiliaciones conocidas
Departamento de Ingeniería Informática, Universidad de Cádiz
Universidad de Cádiz , Spain
Department of Computer Languages and Systems, University of Cadiz, Spain
Departamento de Ingeniería Informática, Universidad de Cádiz, España
Páginas web conocidas
Página completa del ítem
Notificar un error en este autor

Filtros

2016 - 201932020 - 20221
Restablecer filtros

Ajustes

Resultados de la búsqueda

Mostrando 1 - 4 de 4
  • Miniatura
    Artículo
    Automatización de la etapa de análisis para la aplicación de la técnica de prueba metamórfica a composiciones de servicios WS-BPEL
    de Castro-Cabrera, M. Carmen; Valle-Gómez, Kevin J.; Medina Bulo, María Inmaculada. Actas de las XII Jornadas de Ingeniería de Ciencia e Ingeniería de Servicios (JCIS 2016), 2016-07-13.
    La importancia de los servicios web en el mundo actual está en auge, y el impacto social que están teniendo gracias a las nuevas tecnologías desarrolladas, hace necesario el diseño de mejores técnicas de prueba para el software específico de composición de estos servicios web. Una de las técnicas propuestas para las composiciones WS-BPEL es la técnica de prueba metamórfica. En trabajos anteriores se ha presentado una arquitectura para su aplicación y se han aportado algunas ideas para la automatización de la etapa inicial de la misma, que se corresponde con el análisis y obtención de propiedades, pero no se llegaron a desarrollar ni implementar. En este trabajo se presenta el diseño de una solución para automatizar ciertos aspectos de la etapa de análisis y obtención de propiedades, la cual ha sido probada en diferentes casos de prueba obteniéndose buenos resultados.
  • Miniatura
    Artículo
    Cobertura de caminos utilizando MBT y CP
    de Castro-Cabrera, M. Carmen; García Domínguez, Antonio; Medina Bulo, María Inmaculada. Actas de las XXVI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2022), 2022-09-05.
    En la prueba de software basada en modelos es frecuente representar el modelo de la aplicación en forma de diagrama de esta- dos para visualizarlo más claramente, permitiendo tener cobertura de caminos de manera visual. Por otro lado, cada camino del modelo est+AOE definido por una serie de condiciones que se pueden expresar en forma de restricciones (programación de restricciones), lo que permite obtener un conjunto de casos de prueba que cumplan esas restricciones para los caminos definidos. En este trabajo se propone combinar ambas técnicas (pruebas basadas en modelos y pogramación con restricciones) para ob- tener un conjunto de casos de prueba con cobertura de caminos. Para realizar esto, se proponen dos herramientas: GraphWalker (para la repre- sentación del modelo) y MiniZinc (para obtener la cobertura de caminos mediante programación con restricciones).
  • Miniatura
    Artículo
    Analyzer4BPEL: Una herramienta de análisis de composiciones WS-BPEL para su aplicación en la etapa de prueba del software
    Valle-Gómez, Kevin J.; de Castro-Cabrera, M. Carmen; Medina Bulo, María Inmaculada. Actas de las XIII Jornadas de Ingeniería de Ciencia e Ingeniería de Servicios (JCIS 2017), 2017-07-19.
    Toda herramienta de prueba de software requiere en algún momento de su proceso realizar un análisis, o bien como primer paso, para extraer la información necesaria para aplicar una determinada técnica, o bien, una vez procesado el software para estudiar los resultados y evaluarlos. Existen en la actualidad herramientas capaces de analizar la mayoría de los lenguajes de programación. Sin embargo, no abundan los analizadores de lenguajes para composiciones de servicios. En este trabajo se presenta una aplicación que realiza un análisis de composiciones en lenguaje WS-BPEL y de sus casos de prueba para extraer información útil para diversos objetivos. Así mismo, se describe su utilización particular, en una de las etapas de la aplicación de una técnica de prueba de software: la prueba metamórfica.
  • Miniatura
    Artículo
    MRG4BPEL: herramienta para generar relaciones metamórficas candidatas en composiciones WS-BPEL
    de Castro-Cabrera, M. Carmen; Valle-Gómez, Kevin J.; Medina Bulo, María Inmaculada; Tena-Sánchez, Pablo. Actas de las XXIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2018), 2018-09-17.
    En el contexto de la prueba de software, existen diversas técnicas que permiten probar las composiciones de servicios web. Una de ellas, que va adquiriendo importancia y visibilidad en este campo es la Prueba Metamórfica (PM). Dentro los aspectos que esta técnica requiere considerar, está la obtención y generación de Relaciones Metamórficas (RM), parte esencial y la más compleja de automatizar. En este trabajo se abordan las mejoras tanto en la arquitectura inicialmente propuesta (que representa un framework para probar composiciones de servicios web en el lenguaje WS-BPEL), como en los módulos que la componen. Es decir, se describen los avances en la herramienta de análisis (Analyzer4BPEL) y se presenta una nueva aplicación para generar RM candidatas, MRG4BPEL. Se muestra un caso de uso, donde, a partir de una composición, se obtienen y aplican RM utilizando estas herramientas, así como las conclusiones obtenidas.