Universidad Complutense de Madrid
E-Prints Complutense

MuTomVo: Mutation Testing framework for omnet-based simulated enVironments

Impacto

Downloads

Downloads per month over past year



Cerro Cañizares, Pablo (2015) MuTomVo: Mutation Testing framework for omnet-based simulated enVironments. [Trabajo Fin de Máster]

[img]
Preview
PDF
Creative Commons Attribution Non-commercial.

1MB


Abstract

Actualmente, el testing es una de las técnicas más extendidas para comprobar la validez de sistemas complejos. Su aplicación en software es una parte fundamental del desarrollo de sistemas, sin embargo, existen varias dificultades a la hora de aplicar estas técnicas, tales como el alto coste económico y computacional. Uno de los aspectos más relevantes en
testing es la selección de un conjunto de tests adecuado para aplicarlo sobre el sistema que se desea probar. Esto resulta especialmente complicado cuando el sistema sometido a test es de grandes dimensiones, como es el caso de clusters HPC (High Performance Computing)
o sistemas cloud.
El objetivo principal de este trabajo es proporcionar mecanismos que permitan evaluar la idoneidad de los conjuntos de tests, utilizados para chequear sistemas distribuidos, de forma escalable, económica y eficiente. Para ello se propone MuTomVo, un framework de mutación
de código que integra técnicas de mutation testing con técnicas de simulación. Para realizar el modelado y la simulación de sistemas distribuidos se ha utilizado la plataforma SIMCAN.
MuTomVo se ha construido utilizando una arquitectura modular, a través de la cual, se pueden introducir nuevas técnicas de mutation testing de manera sencilla. Esto permite realizar una comparación entre dichas técnicas para evaluar la adecuación de cada una de ellas sobre el entorno proporcionado. De esta forma, se pretende reunir en un único framework las funcionalidades de diferentes herramientas, tales como simuladores, frameworks de mutación y herramientas de generación de tests.
Además, se ha realizado una fase de experimentación para analizar la idoneidad de distintos conjuntos de tests ejecutados en diferentes aplicaciones distribuidas. Cada una de estas aplicaciones, junto con las arquitecturas donde se han ejecutado, han sido modeladas con SIMCAN. Asimismo, los experimentos se han llevado a cabo aplicando técnicas de mutation testing sobre estos modelos.

Resumen (otros idiomas)

Currently, testing is the most widely used technique to check the validity of complex systems. Its application in software is a critical part in the development of systems. However, there are several difficulties for applying these techniques, such as high economic and computational cost. One of the main difficulties when applying testing techniques is to obtain an appropriate test suite. This is especially difficult when the size of the system under test is large, like HPC clusters or cloud systems. The main goal of this project is to provide mechanisms that allow to evaluate the suitability of test suites to check distributed systems, in an inexpensive and efficient way. In this work, we propose MuTomVo, a framework that integrates mutation testing techniques with simulation techniques. For modelling and simulating distributed systems, the SIMCAN simulation platform has been used. MuTomVo is built on a modular and flexible architecture, where new mutation testing techniques can be easily included. Thus, it is intended to unify, in one framework, functionalities of different tools, such as simulators, mutation frameworks and tools for generating tests. Moreover, this work presents some experiments for analysing the suitability of different test suites over different distributed applications. Each one of these applications has been modelled with SIMCAN, and therefore, these experiments have been carried out by applying mutation testing techniques on these models.

Item Type:Trabajo Fin de Máster
Additional Information:

Máster en Investigación en Informática, Facultad de Informática, Departamento de Sistemas Informáticos y Computación, curso 2014-2015

Directors:
DirectorsDirector email
Núñez Covarrubias, Alberto
Uncontrolled Keywords:Modelado, Simulación, Sistemas distribuidos, Herramientas de testing, Mutation testing
Palabras clave (otros idiomas):Modelling, Simulation, Distributed systems, Testing tools, Mutation testing
Subjects:Sciences > Computer science > Expert systems (Computer science)
Sciences > Computer science > Software
Título del Máster:Trabajo de Fin de Máster en Ingeniería Informática
ID Code:29247
Deposited On:16 Mar 2015 17:18
Last Modified:20 Mar 2020 10:20

Origin of downloads

Repository Staff Only: item control page