Política de Cookies

El sitio web de la Universidad de Cádiz utiliza cookies propias y de terceros para realizar análisis de uso y medición del tráfico, así como permitir el correcto funcionamiento en redes sociales, y de este modo poder mejorar su experiencia de navegación.

Si desea configurar las cookies, pulse el botón Personalizar Cookies. También puede acceder a la configuración de cookies en cualquier momento desde el enlace correspondiente en el pie de página.

Para obtener más información sobre las cookies puede consultar la Política de cookies del sitio web de la Universidad de Cádiz.

Personalización de Cookies

El sitio web de la Universidad de Cádiz utiliza cookies propias y de terceros para realizar análisis de uso y medición del tráfico, así como permitir el correcto funcionamiento en redes sociales, y de este modo poder mejorar su experiencia de navegación.

Para obtener más información sobre las cookies puede consultar la Política de cookies del sitio web de la Universidad de Cádiz. También puede acceder a la configuración de cookies en cualquier momento desde el enlace correspondiente en el pie de página.

A continuación podrá configurar las cookies del sitio web según su finalidad:

  • Análisis estadístico

    En este sitio se utilizan cookies de terceros (Google Analytics) que permiten cuantificar el número de usuarios de forma anónima (nunca se obtendrán datos personales que permitan identificar al usuario) y así poder analizar la utilización que hacen los usuarios del nuestro servicio, a fin de mejorar la experiencia de navegación y ofrecer nuestros contenidos de manera óptima.

  • Redes sociales

    En este sitio web se utilizan cookies de terceros que permiten el correcto funcionamiento de algunas redes sociales (principalmente Youtube y Twitter) sin utilizar ningún dato personal del usuario.

UniversidaddeCádiz
Vicerrectorado de Investigación y Transferencia

MuEPL

 

El software MuEPL está desarrollado en Java en el entorno operativo Linux, aunque puede ejecutarse bajo cualquier entorno operativo. Está diseñado para aplicar la técnica “prueba de mutaciones” en el lenguaje de consulta EPL de EsperTech. Esta técnica, basada en fallos, ha sido aplicada a muchos lenguajes de programación y consiste en introducir pequeños cambios sintácticos en el programa a analizar aplicando operadores de mutación. Cada operador de mutación representa un error típico que puede cometer el programador. Hasta el momento esta técnica no había sido aplicada a los sistemas IoT, en concreto a un lenguaje EPL. Tras estudiar los diferentes EPL que existen actualmente, nos decantamos por EPL de EsperTech ya que es uno de los más empleados en cuanto al procesado de eventos.
MuEPL se divide en cuatro componentes:
  1. -El capturador de consultas obtiene las consultas EPL de EsperTech completas tras la ejecución del programa original Java que se esté estudiando.
  2. -El analizador recibe las consultas originales y nos indica qué operadores de mutación pueden aplicarse y su localización.
  3. -Esta información la recibe el generador de mutantes que genera a los mismos.
  4. -Posteriormente, el motor de ejecución ejecuta las consultas originales y los mutantes frente al conjunto de casos de prueba, comparando después sus comportamientos, lo que nos permite determinar si los mutantes han muerto o permanecen vivos.

Para descargar la foto a tamaño completo pulse aquí.