Navegación

Búsqueda

Búsqueda avanzada

Reducción de costes en la Industria 4.0 a través de la prueba del software

La Industria 4.0 está cambiando todos los aspectos de la producción. Este cambio requiere la evolución de los sistemas con una gran rapidez. En este contexto, la validación y verificación de los proyectos software cobra especial importancia. Un defecto en el software podría tener consecuencias catastróficas, por lo que es fundamental que los sistemas funcionen correctamente en producción. En este trabajo se presenta una solución para aliviar el coste de proyectos industriales mediante la automatización de la fase de pruebas del software. Esto se enmarca dentro de una colaboración entre la Universidad de Cádiz y Navantia, una empresa española líder en construcción naval que desarrolla grandes proyectos de software.

Analyzer4BPEL: Una herramienta de análisis de composiciones WS-BPEL para su aplicación en la etapa de prueba del software

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.

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.

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.