|
Resumen:
|
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...
|
