Maria Fernanda Granda Advisors: Dra. Nelly Condori-Fernández Dra. Tanja EJ Vos Prof. Dr. Óscar ...

383 Pages·2017·10.15 MB·English

PhD Thesis
Maria Fernanda Granda
Advisors:
Dra. Nelly Condori-Fernández
Dra. Tanja E. J. Vos
Prof. Dr. Óscar Pastor López

Testing-Based Conceptual
Schema Validation in a
Model-Driven Environment

María Fernanda Granda Juca

A thesis submitted in partial fulfilment of the requirements for
the Ph.D. degree by the Universitat Politècnica de València

Advisors:
Dra. Nelly Condori-Fernández
Dra. Tanja E. J. Vos
Prof. Dr. Óscar Pastor López

September 2017

This report was prepared by:
María Fernanda Granda
[email protected]
PROS Research Centre
Univèrsitat Politècnica de València
Camino de Vera s/n, Edificio 1F, DISC
46022, Valencia, Spain

Advisors

- Dra. Nelly Condori Fernández, Universidade da Coruña, Spain
and Vrije Universitei Amsterdam, The Netherlands
- Dra. Tanja E. J. Vos, Universitat Politècnica de València, Spain
- Prof. Dr. Óscar Pastor, Universitat Politècnica de València,
Spain

External reviewers of the thesis

- Prof. Javier Dolado Cosin, University of the Basque Country,
Spain
- Prof. Haralambos Mouratidis, University of Brighton, United
Kingdom
- Prof. Jolita Ralyté, University of Geneva, Switzerland

Members of the Thesis committee

- President: Prof. Roel Wieringa, University of Twente, The
Netherlands
- Secretary: Prof. Jolita Ralyté, University of Geneva, Switzerland
- Speaker: Prof. Javier Tuya González, University of Oviedo, Spain

To God and my family,
For their love, care and support in all my experiencies.

ACKNOWLEDGEMENTS
I am grateful for nights that became mornings, friends who became
family and dreams that became true. Anonymous.

This thesis is the result of several years of hard work, during which I
have received the professional and personal support of many people.
My thanks to all of them.
First of all, I would like to thank my thesis supervisors, Nelly
Condori Fernández, Tanja Vos and Oscar Pastor, for giving me the
opportunity to work with and learn from them. To Nelly, my diary
supervisor, thanks for the knowledge imparted on Requirements and
Empirical Evaluation, for the time dedicated to discussing my doubts
and advances, and demanding me to my utmost. To Tanja, for her
guidance and support in the area of Testing, for her enthusiasm at all
times. To Oscar, for believing in me from the beginning and pointing
me in the right direction in the world of Model-driven Development,
for his friendship and constant interest. To all three for their guidance
and support that have allowed me to get here.
Many thanks to all the people who have collaborated directly with
the development of this thesis. Special thanks to Sergio España and
Marcela Ruiz for allowing me to use their Communication Analysis
method and tool. To the Spanish everis company for allowing me to
evaluate and validate my tool using one of their cases. To Ivette Vilar
and Tania González for their time and valuable comments. To Ignacio
Panach for translating the Abstract into the Valencian language.
To all the colleagues of the PROS research group specially José
Reyes, Carlos Iñiguez, Francisco Valverde, Urko Rueda, Didier Bueno,
Raúl Soriano and Ana Cidad. Thank you for all the good moments.
I'm also going to thank all my friends who helped me disconnect
from work and inspired me with the motivation to move on: Sonia
León, Cristina Castillo, Gloria Mora, Sonia Cárdenas, Mauricio
Loachamin, Julio Sandobalín, Alejandro Catalá, Miguel Zúñiga, Priscila
Andrade, Priscila Cedillo, Freddy Serrano and Angel Cuenca.
Special thanks to Patricia Lago and Nelly Condori-Fernández for
allowing me to take part in their Software and Services group (S2) and
for the useful discussions we had during my stay in the Faculty of
Sciences at the Vrije Universiteit in Amsterdam. Also many thanks to
the rest of the people in the group particularly to Mojca, Maryam,
Damian and Giuseppe.
I also want to thank the reviewers of this thesis for agreeing to be a
part of the court and the external reviewers who will read a
preliminary version of the thesis and suggest improvements.
I want to thank my family for their love, prayers and constant
support, my mother, sisters, mother-in-law, father-in-law, sisters-in
law, brothers-in-law and my nieces and nephews. Finally, and very
important to me, many thanks to my husband Otto and our three
children Maria Paula, Luis Felipe and Maria Emilia for their patience
and understanding in hard times, for supporting me and encouraging
me in all the adventures undertaken, but especially for their
unconditional love and company.
This work has been supported by the Universidad de Cuenca,
and SENESCYT (Secretaría Nacional de Educación Superior, Ciencia y
Tecnología) of the Republic of Ecuador.