Navegación

Búsqueda

Búsqueda avanzada

El autor Inmaculada Medina Bulo ha publicado 11 artículo(s):

1 - Lenguaje específico del dominio para generación de aplicaciones de procesos administrativos

Muchas organizaciones reimplementan una y otra vez el mismo tipo de proceso de negocio «administrativo», en el que un formulario es manipulado por múltiples roles a lo largo de varios estados. Esta reimplementación hace perder un tiempo que se podría haber usado en entender mejor el proceso o cubrir los detalles que sí son específicos del proceso. Por otro lado, las soluciones existentes basadas en motores de procesos de negocio requieren formación e infraestructura específicas y pueden encerrar al usuario en una tecnología concreta. En este trabajo se propone usar un lenguaje de alto nivel para describir el proceso administrativo y producir a partir de él un sitio web en un marco estándar de desarrollo web que sea fácil de mantener por los técnicos de la organización. Se ha implementado el enfoque mediante tecnologías de código abierto, y se ilustra a través de un caso de estudio.

Autores: Antonio García Domínguez / Ismael Jerez Ibañez / Inmaculada Medina Bulo / 
Palabras Clave:

2 - Generación automática de casos de prueba mediante siembra automática para WS-BPEL 2.0

Dada la importancia que en los últimos años están cobrando los servicios web en el ámbito de los procesos de negocio, es imprescindible contar con un soporte de casos de prueba lo suficientemente amplio como para detectar fallos en estos servicios. La automatizacíon de la generación de casos de prueba es importante en este contexto, ya que va a permitir reducir el coste asociado a las tareas de prueba. En este trabajo se aplica por primera vez a composiciones WS-BPEL 2.0 la siembra automática, que combina la generación aleatoria de casos de prueba con información adicional de las constantes del programa. Además, se define una optimizacíon de esta técnica para evitar la generación de conjuntos grandes de casos de prueba.

Autores: Valentín Liñeiro Barea / Antonia Estero Botaro / Antonio García Domínguez / Inmaculada Medina Bulo / 
Palabras Clave: generación automática de casos de prueba - servicios web - siembra automática - WS-BPEL

3 - PTAC: Una herramienta para testing pasivo de sistemas con comunicaciones asíncronas

Resumen Las técnicas de pruebas pasivas nos ofrecen la ventaja de poder testear sistemas con los cuales no es posible la interacción directa. Actualmente, la gran mayoría de las propuestas basadas en este concepto asumen que las trazas analizadas reflejan el comportamiento real del sistema, sin tener en cuenta el canal a través del cual han sido observadas. Si la comunicación es asíncrona, la traza observada puede no corresponderse con la producida durante la ejecución del sistema. La necesidad de considerar este tipo de aspectos, llevó a la propuesta de una nueva metodología de pruebas pasivas centrada en canales asíncronos First Input First Output (FIFO). En este artículo se presenta PTAC, una herramienta software que automatiza la aplicación de esta técnica, permitiendo el análisis del comportamiento de los sistemas, mediante la validacíon de las diferentes propiedades que lo caracterizan a través de trazas reales.

Autores: Ma Azahara Camacho Magriñán / Inmaculada Medina Bulo / Mercedes G. Merayo / 
Palabras Clave: Prueba de software - pruebas pasivas - sistemas asíncronos

4 - Un Método de Generación de Pruebas de Rendimiento para Múltiples Tecnologías desde Modelos UML con Anotaciones MARTE

Obtener el rendimiento esperado de un flujo de trabajo sería más fácil si cada tarea incluyera sus propias especificaciones. Sin embargo, normalmente sólo se dan requisitos globales de rendimiento, obligando a los diseñadores a inferir los requisitos locales a mano. En trabajos anteriores presentamos dos algoritmos que automáticamente inferían restricciones locales de rendimiento a partir de diagramas de actividad Unified Modelling Language anotados mediante el perfil Modelling and Analysis of Real-Time and Embedded Systems. En este trabajo presentamos un método para usar estas anotaciones para generar casos de prueba de rendimiento para múltiples tecnologías, relacionando el modelo de rendimiento con modelos de diseño e implementación. Mostramos cómo se podría aplicar a código Java y a composiciones de servicios mediante tecnologías existentes de código abierto, y estudiamos las tareas a realizar para su implementación y las similitudes y diferencias con otras propuestas.

Autores: Antonio García Domínguez / Inmaculada Medina Bulo / 
Palabras Clave: Ingeniería Dirigida por Modelos - MARTE - rendimiento del software - servicios web - UML

5 - Aplicación de la técnica de pruebas metamórficas a una composicíon de servicios: Metasearch

Debido a que las técnicas de prueba tradicionales no están adaptadas a las características peculiares de los servicios web, se hace necesario el diseño de nuevas técnicas que ayuden en este ámbito. En un trabajo previo se propuso las pruebas metamórficas como una técnica válida para aplicar a composiciones de servicios web en WS-BPEL. En este trabajo se aplica la arquitectura propuesta allí a la composicíon de servicios Metasearch, que por su complejidad requiere un análisis detallado. Se incluye el estudio y especificacíon de las relaciones metamórficas para esta composicíon. Así mismo, se añade una comparativa de otras composiciones estudiadas que muestra resultados prometedores.

Autores: Ma del Carmen de Castro Cabrera / Azahara Camacho Magriñán / Inmaculada Medina Bulo / 
Palabras Clave: pruebas metamórficas - servicios web - WS-BPEL

6 - Detección de Ataques de Seguridad mediante la Integración de CEP y SOA 2.0

La seguridad informática cada día cobra mayor importancia debido al incremento de ataques que se realizan tanto para intentar acceder a los datos críticos como para detener procesos esenciales en los sistemas. Así pues, la detección temprana de estos ataques es fundamental para asegurar la integridad, disponibilidad y confidencialidad de la información. En este artículo desarrollamos un sistema que integra SOA 2.0 junto con un motor de procesamiento de eventos complejos (CEP) y un sistema de detección de intrusiones (IDS) para detectar inmediatamente las amenazas de seguridad que se produzcan en sistemas complejos y heterogéneos, así como ponerlas en conocimiento a los responsables de seguridad. Estos tomarán las medidas oportunas para reducir el impacto de estas situaciones. Los resultados experimentales obtenidos demuestran que nuestro enfoque, que integra SOA 2.0 con CEP e IDS, es una buena alternativa para el campo de la seguridad informática.

Autores: Jose Antonio Dorado Cerón / Juan Boubeta Puig / Guadalupe Ortiz / Inmaculada Medina Bulo / 
Palabras Clave: amenaza - CEP - IDS - seguridad - Snort - SOA 2.0

8 - Operadores de Mutacíon de Cobertura para WS-BPEL 2.0

Dada la importancia que en los últimos años están cobrando los servicios web en el ámbito de los procesos de negocio, es imprescindible contar con un soporte de casos de prueba lo suficientemente amplio como para detectar fallos y hacer que se apliquen criterios de cobertura sobre estos servicios. En este contexto está enmarcada la prueba de mutaciones, una técnica de prueba basada en fallos que requiere la definicíon de un conjunto de operadores de mutacíon para realizar cambios sintácticos en el programa que se desea probar. En este trabajo se define e implementa, por primera vez, un conjunto de operadores de mutacíon de cobertura para WS-BPEL 2.0, que aplican los criterios de cobertura definidos dentro del contexto de las pruebas de caja blanca. Además se muestran los resultados experimentales obtenidos al aplicar dichos operadores a varias composiciones WS-BPEL, viendo la aportacíon de éstos en el proceso de prueba.

Autores: Antonia Estero Botaro / Juan Boubeta Puig / Valentín Liñeiro Barea / Inmaculada Medina Bulo / 
Palabras Clave: criterios de cobertura - operadores de mutación - prueba de mutaciones - servicios web - WS-BPEL

9 - Prueba de mutaciones sobre consultas de procesamiento de eventos en aplicaciones en tiempo real

La prueba de mutaciones es una técnica de prueba de software que ha sido usada con éxito en la prueba de lenguajes de programación clásicos. Sin embargo, no se ha empleado en la prueba de aplicaciones en tiempo real que procesen un gran número de flujos de eventos y en las que se realicen consultas de procesos de eventos. Un error mientras se está diseñando la consulta para procesar un flujo de eventos, puede ocasionar un comportamiento anómalo del sistema. En este trabajo, proponemos la prueba de mutaciones para controlar las consultas en aplicaciones en tiempo real realizadas en el lenguaje EPL de procesamiento de eventos. Se presentan y definen los operadores de mutación para EPL, comparándolos con los operadores de mutación del lenguaje SQL. Definimos los criterios necesarios para matar mutantes en EPL. Finalmente, se presenta una arquitectura para la generación automática de dichos mutantes.

Autores: Lorena Gutiérrez Madroña / Juan José Domínguez Jiménez / Inmaculada Medina Bulo / 
Palabras Clave: Aplicaciones en tiempo real - Casos de prueba adecuados - Lenguaje para el Procesamiento de Eventos - Operadores de mutación para EPL

10 - GAmeraHOM: una herramienta de generación de mutantes de orden superior para WS-BPEL

El desarrollo de técnicas para que la prueba de mutaciones disminuya el tiempo de cómputo y reduzca los mutantes producidos no han ido en paralelo al desarrollo de herramientas generadoras de mutantes que las implementen. Una de las técnicas de optimización propuestas sugiere utilizar mutantes de orden superior, sin embargo apenas existen herramientas que la implementen. En este trabajo se presenta GAmeraHOM, el primer generador de mutantes de orden superior para WS-BPEL, basado en la mutación evolutiva mediante el empleo de un algoritmo genético. Esto conlleva una reducción del número de mutantes generados y ejecutados, seleccionando principalmente los mutantes difíciles de matar y los potencialmente equivalentes. Este conjunto reducido permitirá mejorar la calidad del conjunto de casos de prueba. La herramienta GAmeraHOM provee una configuración fácilmente parametrizable y además permite adaptar el código del generador a otros lenguajes de forma independiente.

Autores: Emma Blanco Muñoz / Antonio García Domínguez / Juan José Domínguez Jiménez / Inmaculada Medina Bulo / 
Palabras Clave: algoritmo genético - composiciones de servicios - generador de mutantes - mutantes de orden superior - prueba de mutaciones - prueba del software - WS-BPEL 2.0

11 - MuBPEL: una Herramienta de Mutación Firme para WS-BPEL 2.0

La prueba de mutaciones evalúa la calidad de un conjunto de casos de prueba realizando cambios en el programa y comprobando si las pruebas los detectan. Se ha aplicado con éxito sobre programas FORTRAN, C y Java, entre otros. Dos problemas comunes son la dificultad de detectar cambios que no modifican el significado del programa, y su alto coste computacional. La mutación firme es una variante de la mutación fuerte tradicional que compara estados intermedios. En este trabajo presentamos MuBPEL, una herramienta de código abierto de mutación firme para composiciones de servicios Web escritas en WS-BPEL 2.0. Los operadores de mutación están implementados en XSLT 2.0 y su organización permite añadir nuevos operadores de forma sencilla. MuBPEL integra el motor ActiveBPEL y la biblioteca de pruebas unitarias BPELUnit de forma transparente y permite paralelizar el trabajo.

Autores: Antonio García Domínguez / Antonia Estero Botaro / Juan José Domínguez Jiménez / Inmaculada Medina Bulo / Francisco Palomo Lozano / 
Palabras Clave: composiciones de servicios - mutación firme - prueba de mutaciones - prueba del software - WS-BPEL 2.0