Publication:
MuTomVo: Mutation Testing framework for omnet-based simulated enVironments

Loading...
Thumbnail Image
Official URL
Full text at PDC
Publication Date
2015
Advisors (or tutors)
Editors
Journal Title
Journal ISSN
Volume Title
Publisher
Citations
Google Scholar
Research Projects
Organizational Units
Journal Issue
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.
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.
Description
Máster en Investigación en Informática, Facultad de Informática, Departamento de Sistemas Informáticos y Computación, curso 2014-2015
Keywords
Citation