Submitted by Israel Vieira Neto (israel.vieiraneto@ufpe.br) on 2015-03-06T14:25:29Z No. of bitstreams: 2 DISSERTAÇÃO Guilherme Botler.pdf: 712800 bytes, checksum: 40bef38a8f895d681374b06730c55617 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Made available in DSpace on 2015-03-06T14:25:29Z (GMT). No. of bitstreams: 2 DISSERTAÇÃO Guilherme Botler.pdf: 712800 bytes, checksum: 40bef38a8f895d681374b06730c55617 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2013-03-08 / A cachaça é um bem com características peculiares quanto à informação: sua qualidade pode não ser de fácil avaliação para o consumidor comum, mesmo após seu consumo. Portanto, torna-se necessário fazer um levantamento de tal característica desse bem, dentro da literatura pertinente. Realizamos um experimento controlado em campo para categorizar a cachaça nessa literatura. Após esse esforço, dentro da abordagem de propaganda, levantamos uma série de conjecturas capazes de melhor direcionar a explicação do porquê de as cachaças especiais terem um preço diferenciado no mercado. Dentre as cachaças especiais, elegemos a cachaça orgânica Sanhaçu, monopólio da marca local de Pernambuco, para reelaborar um modelo de certificação, a fim de quebrar a assimetria de informação existente para esse tipo de bem. Ao supor que nesse mercado os custos marginais crescem com a qualidade, sugerimos no presente artigo condições para que o selo orgânico, além de certificar o processo, possa promover o equilíbrio onde o produtor, que se diz orgânico, utiliza realmente processo orgânico e produz um bem de alta qualidade.

Submitted by Natalia de Souza Gonçalves (natalia.goncalves@ufpe.br) on 2015-05-25T15:16:54Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Dissertação Jéssyka Vilela.pdf: 3958193 bytes, checksum: 154c564f050ed8568309e62b4ac5c7f2 (MD5) / Made available in DSpace on 2015-05-25T15:16:54Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Dissertação Jéssyka Vilela.pdf: 3958193 bytes, checksum: 154c564f050ed8568309e62b4ac5c7f2 (MD5) Previous issue date: 2015-02-26 / FACEPE / Context: Context-sensitive systems use context in order to adapt to the user’s current needs or requirements failure. Therefore, they need to dynamically adapt their behavior. It is of paramount importance to specify and analyze the intended behavior of these systems before they are fully implemented. The behavioral specification can be used for requirements validation in order to verify if these systems will be able to achieve their goals. Moreover, the reasoning about properties of these systems, such as deadlocks, reachability, completeness and correctness of the system, can be supported. Therefore, the dynamic behavior of the context-sensitive systems requires an approach to specify it from their requirements. Objective: In this work, we propose the GOals to Statecharts (GO2S) process to systematically derive the behavior of context-sensitive systems, expressed as statecharts, from requirements models, described as goal models. The process takes into consideration the impact of non-functional requirements of these systems through their operationalization and prioritization of alternatives to be used at runtime (variants). Method: The research presented in this dissertation followed the engineering approach to define the GO2S (GOals to Statecharts) process and its suitability was empirically evaluated. Results: The GO2S process addresses the specification of the tasks required for monitoring of the requirements satisfaction as well as the system adaptation according to the context, the operationalization of non-functional requirements and prioritization of variants. This is an iterative process centered on the incremental refinement of a goal model, obtaining different views of the system (design, contextual, behavioral). Furthermore, we conducted a controlled experiment to evaluate the statecharts produced following the GO2S (experimental group) in relation to the ones elaborated by not using it (control group). Conclusions: The experiment results show that the structural complexity of the statecharts of the group that used the GO2S approach was lower in relation to the control group. Moreover, the average of functionalities whose behavior was modeled according to the specification and the time spent to produce the models of the experimental group were higher in relation to the control group. Besides, the subjects agreed that the GO2S process is easy to use. / Contexto: Sistemas sensíveis ao contexto utilizam contexto com o intuito de se adaptar as necessidades atuais dos usuários ou falha de requisitos. Portanto, eles necessitam adaptar seu comportamento dinamicamente. É de suma importância especificar e analisar o comportamento desejado desses sistemas antes de serem totalmente implementados. A especificação do comportamento pode ser utilizada para validação dos requisitos de forma a verificar se estes sistemas serão capazes de alcançar os seus objetivos. Além disso, o raciocínio sobre propriedades desses sistemas, tais como deadlocks, alcançabilidade, completude e corretude do sistema, pode ser apoiado. Portanto, o comportamento dinâmico dos sistemas sensíveis ao contexto exige uma abordagem para sua especificação a partir de seus requisitos. Objetivo: Nesse trabalho é proposto o processo GO2S (Goals to Statecharts) para derivar sistematicamente o comportamento de sistemas sensíveis a contexto, expresso em statecharts, a partir de modelos de requisitos, descritos em modelo de objetivos. O processo considera o impacto dos requisitos não-funcionais desses sistemas através da sua operacionalização e priorização de alternativas a serem utilizadas em tempo de execução (variantes). Método: A pesquisa apresentada nessa dissertação seguiu a abordagem de engenharia para definir o processo GO2S e sua adequabilidade foi avaliada empiricamente. Resultados: O processo GO2S aborda a especificação das tarefas necessárias para o monitoramento da satisfação dos requisitos bem como a adaptação do sistema de acordo com o contexto, a operacionalização dos requisitos não-funcionais e priorização de variantes. Este é um processo iterativo centrado no refinamento incremental de um modelo de objetivo, obtendo diferentes visões do sistema (design, contextual, comportamental). Além disso, foi realizado um experimento controlado para avaliar os statecharts produzidos seguindo o GO2S (grupo experimental) com aqueles elaborados sem utilizá-lo (grupo de controle). Conclusões: Os resultados do experimento mostraram que a complexidade estrutural dos statecharts do grupo que usou a abordagem GO2S foi inferior ao grupo de controle. Além disso, a média do número de funcionalidades cujo comportamento foi modelado de acordo com a especificação e o tempo gasto para produzir os modelos do grupo experimental foram maiores em relação ao grupo de controle. Finalmente, os participantes concordaram que o processo GO2S é fácil de usar.

O processo de automatização de teste de software possui alto custo envolvido em sistemas de larga escala, pois exigem cenários de teste complexos e tempos de execução extremamente longos. Além disso, cada etapa do processo de teste requer recursos computacionais e um tempo considerável para a execução de muitos casos de teste, tornando-se um gargalo para as empresas de Tecnologia da Informação (TI). Neste contexto, os benefícios e oportunidades oferecidos pela combinação da computação em nuvem com o Teste como Serviço (Testing as a Service, TaaS), que é considerado um novo modelo de negócio e de serviço atraente e promissor, podem proporcionar um impacto positivo na redução do tempo de execução dos testes de maneira custo-efetiva e aumentar o retorno sobre o investimento ou Return on investment (ROI). Todavia, existe o problema de vendor lock-in, que é o aprisionamento do usuário à plataforma de um fornecedor específico ou serviço de teste, ocasionado pela dificuldade de migrar de um fornecedor TaaS para outro, limitando a utilização dessas novas tecnologias de maneira efetiva e eficiente, impedindo assim, a ampla adoção do TaaS. Como os estudos existentes não são rigorosos ou conclusivos e, principalmente, devido à falta de evidência empírica na área de serviço de teste, muitas questões devem ser investigadas na perspectiva da migração entre os provedores de TaaS. O objetivo deste trabalho é reduzir o impacto ocasionado pelo problema de vendor lock-in no processo de automatização de testes na computação em nuvem, na escrita, configuração, execução e gerenciamento dos resultados de testes automatizados. Neste contexto, foi desenvolvido o protótipo da abordagem intitulada Multi-TaaS por meio de uma biblioteca Java como prova de conceito. A abordagem Multi-TaaS é uma camada de abstração e a sua arquitetura permite abstrair e flexibilizar a troca de fornecedores de TaaS de forma portável, pois permite encapsular toda a complexidade da implementação do engenheiro de software ao desacoplar o teste automatizado de qual plataforma TaaS ele será executado, bem como abstrair os aspectos da comunicação e integração entre as APIs REST proprietárias dos diferentes fornecedores de TaaS. Além disso, a abordagem Multi-TaaS possibilita também sumarizar os resultados dos testes automatizados de forma independente das tecnologias da plataforma TaaS subjacente. Foram realizadas avaliações comparativas da eficiência, efetividade, dificuldade e do esforço de migração entre as abordagens Multi-TaaS e abordagem convencional, por meio de experimentos controlados. Os resultados deste trabalho indicam que a nova abordagem permite facilitar a troca do serviço de teste, melhorar a eficiência e, principalmente, reduzir o esforço e os custos de manutenção na migração entre fornecedores de TaaS. Os estudos realizados no experimento controlado são promissores e podem auxiliar os engenheiros de software na tomada de decisão quanto aos riscos associados ao vendor lock-in no TaaS. Por fim, a abordagem Multi-TaaS contribui, principalmente, para a portabilidade dos testes automatizados na nuvem e da sumarização dos resultados dos testes e, consequentemente, possibilita que o modelo de serviço TaaS na computação em nuvem seja amplamente adotado, de forma consciente, no futuro. / The automation of software testing involves high costs in large-scale systems, since it requires complex test scenarios and extremely long execution times. Moreover, each of its steps demands computational resources and considerable time for running many test cases, which makes it a bottleneck for Information Technology (IT) companies. The benefits and opportunities offered by the combination of cloud computing and Testing as a Service (TaaS), considered a new business and service model, can reduce the execution time of tests in a cost-effective way and improve Return on Investment (ROI). However, the lock-in problem, i.e., the imprisonment of the user in the platform of a specific vendor or test service caused by the difficult migration from one TaaS provider to another limits the effective use of such new technologies and prevents the widespread adoption of TaaS. As studies conducted are neither rigorous, nor conclusive, and mainly due to the lack of empirical evidence, many issues must be investigated from the perspective of migration among TaaS providers. This research aims at reductions in the impact of the vendor lock-in problem on the automation process of testing in cloud computing, writing, configuration, execution and management of automated test results. The prototype of the Multi- TaaS approach was developed through a Java library as a proof of concept. The Multi-TaaS approach is an abstraction layer and its architecture enables the abstraction and flexibilization of the exchange of TaaS providers in a portable way, once the complexity of the software engineers implementation can be encapsulated. The two main advantages of Multi-TaaS are the decoupling of the automated test from the TaaS platform on which it will be executed and the abstraction of the communication and integration aspects among the proprietary REST APIs of the different TaaS providers. The approach also enables the summarization of automated test results independently of the underlying TaaS platform technologies. A comparative evaluation between Multi-TaaS and conventional migration approaches regarding the difficulty, efficiency, effectiveness and effort of migration among TaaS providers was conducted through controlled experiments.The results show the approach facilitates the exchange of test service, improves efficiency and reduces the effort and maintenance costs of migration among TaaS providers. The studies conducted in the controlled experiment are promising and can assist software engineers in decision-making regarding the risks associated with vendor lock-in in TaaS. The Multi-TaaS approach contributes mainly to the portability of automated tests in the cloud and summarization of their results. Finally, this research enables also the widespread adoption of the TaaS service model in cloud computing, consciously, in the future.

Neste trabalho foi realizado um levantamento GPR 4D em laboratório no qual foi simulado o vazamento de óleo de uma ETD - Estação de Transmissão e Distribuição de Energia Elétrica. Os estudos consistiram em derramar 15 litros de óleo em três experimentos: tanque contendo areia seca, tanque contendo areia úmida mais gradiente hidráulico e tanque contendo areia úmida. Em todos os experimentos o objetivo foi detectar a pluma de contaminação e avaliar a migração desse óleo com o tempo. Os dados GPR 4D foram adquiridos utilizando-se uma antena blindada de 400 MHz modelo SIR-3000 equipamento da GSSI. O monitoramento no tempo de aquisição dos dados variou de 2 minutos até 12 dias. No experimento com o tanque preenchido com areia seca não foi possível determinar a pluma de contaminação devido ao baixo contraste entre as propriedades físicas do meio e a pluma contaminante. No experimento em que o tanque foi preenchido com areia úmida e havia a presença de um gradiente hidráulico, foi possível determinar a migração da pluma de contaminação a partir do 5º dia. Para finalizar, o 3º experimento onde o tanque estava cheio de areia úmida também não foi possível identificar a pluma, devido ao baixo contraste entre as propriedades físicas. Nesta pesquisa também foram realizadas modelagens numéricas 2D utilizando o método FDTD, onde foram simulados os três experimentos, considerando posições intermediárias da pluma de contaminação em função do tempo. Os resultados das modelagens foram concordantes com os resultados obtidos com dados reais e ajudaram a definir o padrão de reflexão da pluma contaminante. Os promissores resultados indicam que a determinação efetiva da pluma contaminante de óleo numa ETD é possível desde o meio que esteja saturado com água. Portanto, para garantir o sucesso das pesquisas GPR para fins de mapeamento e delineamento de plumas de contaminação em ETDs recomenda-se que a aquisição dos dados seja feita após um período de chuvas. / In this work a 4D GPR survey was accomplished in a laboratory in which a oil leak from a ETD Estação de Transmissão e Distribuição of electric energy was simulated. The studies consisted in an oil spill (15 liters) in three different experiments: i) tank containing dry sand, ii) tank containing wet sand with a hydraulic gradient and iii) tank containing wet sand. In all experiments the objective was detect the contamination plume and evaluate the migration of the oil with the time. The 4D GPR data was acquired using a shielded antenna of 400 MHz model SIR-3000 of the GSSI equipment. The time monitoring of the data acquisition ranged from 2 minutes up to 12 days. In the experiment-1 with the tank filled with dry sand wasnt possible to determine the plume contamination due to the low contrast of the physical properties between the environment and the plume. In the experiment-2 where the tank filled with the dry sand in the presence of a hydraulic gradient, was possible to determine the migration of the plume from the fifth day. Finally, the experiment-3 where the tank was filled with wet sand wasnt possible to identify the plume, due to the low contrast between the physical properties. This research also conducted 2D numerical modeling using the FDTD method, where the three experiments were simulated, considering intermediary positions of the contamination plume with respect with time. The results of the modeling were consistent with the results obtained with real data and helped to define a pattern of reflection of the contamination plume. The promising results indicate that the effective determination of the contaminating plume of oil in an ETD is possible provided that the environment be saturated with water. Therefore, to guarantee the success of researches with GPR for mapping and delineation of contamination plumes in ETDs its recommended that the data acquisition be realized in the rainy season.

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2016-02-29T21:40:50Z No. of bitstreams: 1 CarlosAlbertoNunesMachado_TESE.pdf: 4383936 bytes, checksum: f242b77bd956f24ec3818296ce30b852 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2016-03-01T19:53:18Z (GMT) No. of bitstreams: 1 CarlosAlbertoNunesMachado_TESE.pdf: 4383936 bytes, checksum: f242b77bd956f24ec3818296ce30b852 (MD5) / Made available in DSpace on 2016-03-01T19:53:18Z (GMT). No. of bitstreams: 1 CarlosAlbertoNunesMachado_TESE.pdf: 4383936 bytes, checksum: f242b77bd956f24ec3818296ce30b852 (MD5) Previous issue date: 2015-01-29 / A computa??o ub?qua ? um paradigma no qual dispositivos com capacidade de processamento e comunica??o s?o embutidos nos elementos comuns de nossas vidas (casas, carros, m?quinas fotogr?ficas, telefones, escolas, museus, etc), provendo servi?os com um alto grau de mobilidade e transpar?ncia. O desenvolvimento de sistemas ub?quos ? uma tarefa complexa, uma vez que envolve v?rias ?reas da computa??o, como Engenharia de Software, Intelig?ncia Artificial e Sistemas Distribu?dos. Essa tarefa torna-se ainda mais complexa pela aus?ncia de uma arquitetura de refer?ncia para guiar o desenvolvimento de tais sistemas. Arquiteturas de refer?ncia t?m sido usadas para fornecer uma base comum e dar diretrizes para a constru??o de arquiteturas de softwares para diferentes classes de sistemas. Por outro lado, as linguagens de descri??o arquitetural (ADLs) fornecem uma sintaxe para representa??o estrutural dos elementos arquiteturais, suas restri??es e intera??es, permitindo-se expressar modelo arquitetural de sistemas. Atualmente n?o h?, na literatura, ADLs baseadas em arquiteturas de refer?ncia para o dom?nio de computa??o ub?qua. De forma a permitir a modelagem arquitetural de aplica??es ub?quas, esse trabalho tem como objetivo principal especificar UbiACME, uma linguagem de descri??o arquitetural para aplica??es ub?quas, bem como disponibilizar a ferramenta UbiACME Studio, que permitir? arquitetos de software realizar modelagens usando UbiACME. Para esse fim, inicialmente realizamos uma revis?o sistem?tica, de forma a investigar na literatura relacionada com sistemas ub?quos, os elementos comuns a esses sistemas que devem ser considerados no projeto de UbiACME. Al?m disso, com base na revis?o sistem?tica, definimos uma arquitetura de refer?ncia para sistemas ub?quos, RA-Ubi, que ? a base para a defini??o dos elementos necess?rios para a modelagem arquitetural e, portanto, fornece subs?dios para a defini??o dos elementos de UbiACME. Por fim, de forma a validar a linguagem e a ferramenta, apresentamos um experimento controlado onde arquitetos modelam uma aplica??o ub?qua usando UbiACME Studio e comparam com a modelagem da mesma aplica??o em SySML.

Neste trabalho foi realizado um levantamento GPR 4D em laboratório no qual foi simulado o vazamento de óleo de uma ETD - Estação de Transmissão e Distribuição de Energia Elétrica. Os estudos consistiram em derramar 15 litros de óleo em três experimentos: tanque contendo areia seca, tanque contendo areia úmida mais gradiente hidráulico e tanque contendo areia úmida. Em todos os experimentos o objetivo foi detectar a pluma de contaminação e avaliar a migração desse óleo com o tempo. Os dados GPR 4D foram adquiridos utilizando-se uma antena blindada de 400 MHz modelo SIR-3000 equipamento da GSSI. O monitoramento no tempo de aquisição dos dados variou de 2 minutos até 12 dias. No experimento com o tanque preenchido com areia seca não foi possível determinar a pluma de contaminação devido ao baixo contraste entre as propriedades físicas do meio e a pluma contaminante. No experimento em que o tanque foi preenchido com areia úmida e havia a presença de um gradiente hidráulico, foi possível determinar a migração da pluma de contaminação a partir do 5º dia. Para finalizar, o 3º experimento onde o tanque estava cheio de areia úmida também não foi possível identificar a pluma, devido ao baixo contraste entre as propriedades físicas. Nesta pesquisa também foram realizadas modelagens numéricas 2D utilizando o método FDTD, onde foram simulados os três experimentos, considerando posições intermediárias da pluma de contaminação em função do tempo. Os resultados das modelagens foram concordantes com os resultados obtidos com dados reais e ajudaram a definir o padrão de reflexão da pluma contaminante. Os promissores resultados indicam que a determinação efetiva da pluma contaminante de óleo numa ETD é possível desde o meio que esteja saturado com água. Portanto, para garantir o sucesso das pesquisas GPR para fins de mapeamento e delineamento de plumas de contaminação em ETDs recomenda-se que a aquisição dos dados seja feita após um período de chuvas. / In this work a 4D GPR survey was accomplished in a laboratory in which a oil leak from a ETD Estação de Transmissão e Distribuição of electric energy was simulated. The studies consisted in an oil spill (15 liters) in three different experiments: i) tank containing dry sand, ii) tank containing wet sand with a hydraulic gradient and iii) tank containing wet sand. In all experiments the objective was detect the contamination plume and evaluate the migration of the oil with the time. The 4D GPR data was acquired using a shielded antenna of 400 MHz model SIR-3000 of the GSSI equipment. The time monitoring of the data acquisition ranged from 2 minutes up to 12 days. In the experiment-1 with the tank filled with dry sand wasnt possible to determine the plume contamination due to the low contrast of the physical properties between the environment and the plume. In the experiment-2 where the tank filled with the dry sand in the presence of a hydraulic gradient, was possible to determine the migration of the plume from the fifth day. Finally, the experiment-3 where the tank was filled with wet sand wasnt possible to identify the plume, due to the low contrast between the physical properties. This research also conducted 2D numerical modeling using the FDTD method, where the three experiments were simulated, considering intermediary positions of the contamination plume with respect with time. The results of the modeling were consistent with the results obtained with real data and helped to define a pattern of reflection of the contamination plume. The promising results indicate that the effective determination of the contaminating plume of oil in an ETD is possible provided that the environment be saturated with water. Therefore, to guarantee the success of researches with GPR for mapping and delineation of contamination plumes in ETDs its recommended that the data acquisition be realized in the rainy season.

O processo de automatização de teste de software possui alto custo envolvido em sistemas de larga escala, pois exigem cenários de teste complexos e tempos de execução extremamente longos. Além disso, cada etapa do processo de teste requer recursos computacionais e um tempo considerável para a execução de muitos casos de teste, tornando-se um gargalo para as empresas de Tecnologia da Informação (TI). Neste contexto, os benefícios e oportunidades oferecidos pela combinação da computação em nuvem com o Teste como Serviço (Testing as a Service, TaaS), que é considerado um novo modelo de negócio e de serviço atraente e promissor, podem proporcionar um impacto positivo na redução do tempo de execução dos testes de maneira custo-efetiva e aumentar o retorno sobre o investimento ou Return on investment (ROI). Todavia, existe o problema de vendor lock-in, que é o aprisionamento do usuário à plataforma de um fornecedor específico ou serviço de teste, ocasionado pela dificuldade de migrar de um fornecedor TaaS para outro, limitando a utilização dessas novas tecnologias de maneira efetiva e eficiente, impedindo assim, a ampla adoção do TaaS. Como os estudos existentes não são rigorosos ou conclusivos e, principalmente, devido à falta de evidência empírica na área de serviço de teste, muitas questões devem ser investigadas na perspectiva da migração entre os provedores de TaaS. O objetivo deste trabalho é reduzir o impacto ocasionado pelo problema de vendor lock-in no processo de automatização de testes na computação em nuvem, na escrita, configuração, execução e gerenciamento dos resultados de testes automatizados. Neste contexto, foi desenvolvido o protótipo da abordagem intitulada Multi-TaaS por meio de uma biblioteca Java como prova de conceito. A abordagem Multi-TaaS é uma camada de abstração e a sua arquitetura permite abstrair e flexibilizar a troca de fornecedores de TaaS de forma portável, pois permite encapsular toda a complexidade da implementação do engenheiro de software ao desacoplar o teste automatizado de qual plataforma TaaS ele será executado, bem como abstrair os aspectos da comunicação e integração entre as APIs REST proprietárias dos diferentes fornecedores de TaaS. Além disso, a abordagem Multi-TaaS possibilita também sumarizar os resultados dos testes automatizados de forma independente das tecnologias da plataforma TaaS subjacente. Foram realizadas avaliações comparativas da eficiência, efetividade, dificuldade e do esforço de migração entre as abordagens Multi-TaaS e abordagem convencional, por meio de experimentos controlados. Os resultados deste trabalho indicam que a nova abordagem permite facilitar a troca do serviço de teste, melhorar a eficiência e, principalmente, reduzir o esforço e os custos de manutenção na migração entre fornecedores de TaaS. Os estudos realizados no experimento controlado são promissores e podem auxiliar os engenheiros de software na tomada de decisão quanto aos riscos associados ao vendor lock-in no TaaS. Por fim, a abordagem Multi-TaaS contribui, principalmente, para a portabilidade dos testes automatizados na nuvem e da sumarização dos resultados dos testes e, consequentemente, possibilita que o modelo de serviço TaaS na computação em nuvem seja amplamente adotado, de forma consciente, no futuro. / The automation of software testing involves high costs in large-scale systems, since it requires complex test scenarios and extremely long execution times. Moreover, each of its steps demands computational resources and considerable time for running many test cases, which makes it a bottleneck for Information Technology (IT) companies. The benefits and opportunities offered by the combination of cloud computing and Testing as a Service (TaaS), considered a new business and service model, can reduce the execution time of tests in a cost-effective way and improve Return on Investment (ROI). However, the lock-in problem, i.e., the imprisonment of the user in the platform of a specific vendor or test service caused by the difficult migration from one TaaS provider to another limits the effective use of such new technologies and prevents the widespread adoption of TaaS. As studies conducted are neither rigorous, nor conclusive, and mainly due to the lack of empirical evidence, many issues must be investigated from the perspective of migration among TaaS providers. This research aims at reductions in the impact of the vendor lock-in problem on the automation process of testing in cloud computing, writing, configuration, execution and management of automated test results. The prototype of the Multi- TaaS approach was developed through a Java library as a proof of concept. The Multi-TaaS approach is an abstraction layer and its architecture enables the abstraction and flexibilization of the exchange of TaaS providers in a portable way, once the complexity of the software engineers implementation can be encapsulated. The two main advantages of Multi-TaaS are the decoupling of the automated test from the TaaS platform on which it will be executed and the abstraction of the communication and integration aspects among the proprietary REST APIs of the different TaaS providers. The approach also enables the summarization of automated test results independently of the underlying TaaS platform technologies. A comparative evaluation between Multi-TaaS and conventional migration approaches regarding the difficulty, efficiency, effectiveness and effort of migration among TaaS providers was conducted through controlled experiments.The results show the approach facilitates the exchange of test service, improves efficiency and reduces the effort and maintenance costs of migration among TaaS providers. The studies conducted in the controlled experiment are promising and can assist software engineers in decision-making regarding the risks associated with vendor lock-in in TaaS. The Multi-TaaS approach contributes mainly to the portability of automated tests in the cloud and summarization of their results. Finally, this research enables also the widespread adoption of the TaaS service model in cloud computing, consciously, in the future.

Tesis por compendio / [ES] El Desarrollo Dirigido por Modelos, MDD por sus siglas en inglés (Model Driven Development), es un enfoque de ingeniería del software que centra la creación y evolución de productos software en el modelado. Desde hace casi dos décadas, la comunidad científica ha descrito muchas de las ventajas de MDD frente a otros enfoques, sin embargo, su adopción en el entorno industrial es muy poco frecuente. Con el objetivo de entender por qué MDD no ha reemplazado otros enfoques de ingeniería software, he realizado una investigación empírica a través de tres experimentos controlados. Con el primer experimento pretendo aclarar si los beneficios de MDD frente al Desarrollo centrado en Código, CcD por sus siglas en inglés (Code Centric Development), son fieles a la realidad del desarrollo software actual. En el segundo experimento comparo la valoración que realizan los ingenieros de los modelos que utilizan, con su utilidad para ser utilizados en contextos MDD. En el tercer experimento analizo el desempeño de los profesionales software en tareas de mantenimiento en contextos MDD. Nuestros resultados confirman los beneficios de MDD frente a otros enfoques, pero también, que la intención de uso de MDD no alcanza valores máximos. Los sujetos subestiman el potencial de los modelos que desarrollan y utilizan en contextos MDD. El problema de adopción parece estar ligado a factores humanos, no a factores técnicos. / [CA] El Desenvolupament Dirigit per Models, MDD (Model Driven Development), és un enfocament d'enginyeria del programari que centra la creació i evolució de productes programari en el modelatge. Des de fa quasi dues dècades, la comunitat científica ha descrit moltes dels avantatges de MDD enfront d'altres enfocaments, no obstant això, la seua adopció en l'entorn industrial és molt poc freqüent. Amb l'objectiu d'entendre per què MDD no ha reemplaçat altres enfocaments d'enginyeria programari, he realitzat una investigació empírica a través de tres experiments controlats. Amb el primer experiment pretenc aclarir si els beneficis de MDD enfront d'altres enfocaments, com el Desenvolupament centrat en Codi, CcD (Code Centric Development), són fidels a la realitat del desenvolupament programari actual. En el segon experiment compare la valoració que realitzen els enginyers dels models que utilitzen, amb la seua utilitat per a ser utilitzats en contextos MDD. En el tercer experiment analitze l'acompliment del professional programari en tasques de manteniment en contextos MDD. Els nostres resultats confirmen els beneficis de MDD enfront d'altres enfocaments, però també, que la intenció d'ús de MDD no aconsegueix valors màxims. Els subjectes subestimen el potencial dels models que desenvolupen i utilitzen en contextos MDD. El problema d'adopció sembla estar lligat a factors humans, no a factors tècnics. / [EN] Model Driven Development (MDD) is a software engineering approach in which the code of a software product is generated and evolutionated from conceptual models that abstractly represents the system. For nearly two decades, the scientific community has described many of the advantages of MDD over other approaches. Despite the benefits of MDD, its use in real practical developments is merely anecdotal. To understand why MDD has not replaced other software engineering approaches, I have conducted an empirical investigation through three controlled experiments. The first experiment aims to clarify whether the benefits of MDD compared to code-centric development (CcD) match the reality of development in real environments. In the second experiment, I compare engineers' assessment of the models they develop with the usefulness of these models to be used in MDD contexts. In the third experiment, I analyze the performance of software professionals in maintenance tasks in MDD contexts. Our results confirm the benefits of MDD over other approaches; however, the intention to use MDD does not reach maximum values. Subjects underestimate the potential of the models they develop and use in MDD contexts. The adoption problem seems to be linked to human factors, not to technical factors. / Domingo Montes, MÁ. (2022). Experimentation to Evaluate the Benefits of Model Driven Development [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/185748 / Compendio