MuTomVo: Mutation Testing framework for omnet-based simulated enVironments
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ómi...
| Autor: | |
|---|---|
| Tipo de recurso: | tesis de maestría |
| Fecha de publicación: | 2015 |
| País: | España |
| Institución: | Universidad Complutense de Madrid (UCM) |
| Repositorio: | Docta Complutense |
| Idioma: | inglés |
| OAI Identifier: | oai:docta.ucm.es:20.500.14352/36496 |
| Acceso en línea: | https://hdl.handle.net/20.500.14352/36496 |
| Access Level: | acceso abierto |
| Palabra clave: | 519.87:004(043.3) 004.4.032.24(043.3) 004.4:658.56(043.3) Modelado Simulación Sistemas distribuidos Herramientas de testing Mutation testing Modelling Simulation Distributed systems Testing tools Sistemas expertos Software 3304.16 Diseño Lógico |
| Sumario: | 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. |
|---|