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

MuCPP

 

C++ es uno de los lenguajes más empleados en la industria en todo el mundo, siendo de uso mayoritario en áreas estratégicas como defensa, ingeniería aeroespacial o las telecomunicaciones. En áreas tan críticas como estas, la existencia de errores en los programas desarrollados puede tener graves consecuencias y, por tanto, se hace necesario realizar una prueba tan exhaustiva como sea posible para incrementar la confianza en que los programas desarrollados carecen de errores. La industria requiere por tanto de mecanismos que permitan evaluar y mejorar la calidad de las pruebas diseñadas en la fase de prueba de software.
MuCPP es un sistema que permite aplicar a programas desarrollados en lenguaje C++ una técnica más restrictiva denominada como prueba de mutaciones. Esta técnica tiene como peculiaridad el hecho de que se insertan errores a propósito en el código del programa (lo que se conocen como mutaciones), retando de esta manera al conjunto de pruebas a revelar la existencia de tales errores.
MuCPP está desarrollado en C++ haciendo uso de Clang, un compilador que permite realizar un análisis muy completo del código, y diseñado para ejecutarse en sistemas GNU/Linux. Entre otras innovaciones, se puede destacar que MuCPP implementa un conjunto de operadores de mutación relativos al paradigma de la orientación a objetos, y también es destacable la generación de mutantes dentro de un sistema de control de versiones que permite un manejo eficiente de los mutantes.

 

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