Universidad Complutense de Madrid
E-Prints Complutense

Modelling and validation of cloud systems using model driven engineering, metamorphic and mutation testing
Modelado y validación de sistemas cloud utilizando ingeniería dirigida por modelos, testing metamórfico y de mutación

Downloads

Downloads per month over past year

62842

Impacto

Downloads

Downloads per month over past year



Cerro Cañizares, Pablo (2020) Modelling and validation of cloud systems using model driven engineering, metamorphic and mutation testing. [Thesis]

[thumbnail of T41995.pdf]
Preview
PDF
14MB


Abstract

Cloud systems are supported by complex infrastructures, which consist of a wide diversity of subsystems and components like storage, virtualisation and networking. The heterogeneous nature of these systems, their size, the high number of users that concurrently request services, and the virtualisation used to give the illusion of using dedicated machines, among other factors, hamper their validationa. Unfortunately, it is not feasible to use conventional testing methods for cheking the correctness of cloud systems.The main goal of this thesis is to design methodologies and techniques for modelling and testing cloud systems. For this, the thesis combines two orthogonal techniques, Testing and Model Driven Engineering (in short, MDE) to model, validate and optimise cloud systems...

Resumen (otros idiomas)

Los sistemas cloud están formados por infraestructuras complejas, donde existe una gran diversidad de subsistemas y componentes, tales como el almacenamiento, la virtualización y las redes. La heterogeneidad de estos sistemas, su amplitud, elevado número de ususarios que solicitan servicios de forma simultánea y la virtualización utilizada para ofrecer la ilusión de utilizar máquinas dedicadas, entre otros factores, dificultan su validación. Desafortunademente, utilizar métodos de Testing convencionales para comprobar la corrección de los sistemas cloud no es factible.El objetivo principal de esta tesis es diseñar metodologías y técnicas para modelar y testear sistemas cloud. Para ello, esta tesis combina dos líneas ortogonales - Ingeniería Dirigida por Modelos o MDE (por las siglas de Model Driven Engineeering) y Testing - Apoyadas sobre una base formal, para desarrollar metodologías y técnicas que permitan optimizar sistemas cloud...

Item Type:Thesis
Additional Information:

Tesis de la Universidad Complutense de Madrid, Facultad de Informática, leída el 13-02-2020

Directors:
Directors
Núñez Covarrubias, Alberto
Lara Jaramillo, Juan de
Uncontrolled Keywords:Computer systems, artificial intelligence, Cloud Computing,Genetic algorithms
Palabras clave (otros idiomas):Sistemas de ordenadores, inteligencia artificial, programación en la nube, algoritmos genéticos
Subjects:Sciences > Computer science > Artificial intelligence
ID Code:62842
Deposited On:28 Oct 2020 08:57
Last Modified:28 Oct 2020 11:08

Origin of downloads

Repository Staff Only: item control page